std::is_within_lifetime
Depuis fr.cppreference.net
| Défini dans l'en-tête <type_traits>
|
||
template< class T >
consteval bool is_within_lifetime( const T* ptr ) noexcept;
|
(depuis C++26) | |
Détermine si le pointeur ptr pointe vers un objet qui est dans sa durée de vie.
Lors de l'évaluation d'une expression E en tant qu'expression constante de base, un appel à std::is_within_lifetime est mal formé sauf si ptr pointe vers un objet
- qui est utilisable dans les expressions constantes, ou
- dont la durée de vie de l'objet complet a commencé dans
E.
Paramètres
| p | - | pointeur à détecter |
Valeur de retour
true si le pointeur ptr pointe vers un objet qui est dans sa durée de vie ; sinon false .
Notes
| Macro de test de fonctionnalité | Valeur | Std | Fonctionnalité |
|---|---|---|---|
__cpp_lib_is_within_lifetime
|
202306L
|
(C++26) | Vérifier si une alternative d'union est active |
Exemple
std::is_within_lifetime
peut être utilisé pour vérifier si un membre d'union est actif :
Exécuter ce code
#include <type_traits> // an optional boolean type occupying only one byte, // assuming sizeof(bool) == sizeof(char) struct optional_bool { union { bool b; char c; }; // assuming the value representations for true and false // are distinct from the value representation for 2 constexpr optional_bool() : c(2) {} constexpr optional_bool(bool b) : b(b) {} constexpr auto has_value() const -> bool { if consteval { return std::is_within_lifetime(&b); // during constant evaluation, // cannot read from c } else { return c != 2; // during runtime, must read from c } } constexpr auto operator*() -> bool& { return b; } }; int main() { constexpr optional_bool disengaged; constexpr optional_bool engaged(true); static_assert(!disengaged.has_value()); static_assert(engaged.has_value()); static_assert(*engaged); }
Voir aussi
(C++23) |
vérifie si un type est un type à durée de vie implicite (modèle de classe) |