std::is_within_lifetime
De es.cppreference.net
| Definido en el encabezado <type_traits>
|
||
template< class T >
consteval bool is_within_lifetime( const T* ptr ) noexcept;
|
(desde C++26) | |
Determina si el puntero ptr apunta a un objeto que está dentro de su tiempo de vida.
Durante la evaluación de una expresión E como una expresión constante central, una llamada a std::is_within_lifetime está mal formada a menos que ptr apunte a un objeto
- que sea utilizable en expresiones constantes, o
- cuyo objeto completo comenzó su tiempo de vida dentro de
E.
Parámetros
| p | - | puntero a detectar |
Valor de retorno
true si el puntero ptr apunta a un objeto que está dentro de su tiempo de vida; de lo contrario false .
Notas
| Macro de prueba de características | Valor | Estándar | Característica |
|---|---|---|---|
__cpp_lib_is_within_lifetime
|
202306L
|
(C++26) | Verificar si una alternativa de unión está activa |
Ejemplo
std::is_within_lifetime
puede utilizarse para verificar si un miembro de una unión está activo:
Ejecutar este código
#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); }
Véase también
(C++23) |
comprueba si un tipo es un tipo de vida implícita (plantilla de clase) |