std::is_within_lifetime

Определён в заголовочном файле `<type_traits>`
template< class T > consteval bool is_within_lifetime( const T* ptr ) noexcept;		(начиная с C++26)

Определяет, указывает ли указатель ptr на объект, время жизни которого ещё не завершилось (время жизни).

При вычислении выражения E в качестве константного выражения ядра вызов std::is_within_lifetime является некорректным, если только ptr не указывает на объект

который можно использовать в константных выражениях, или
время жизни полного объекта которого началось в пределах E.

Параметры

ptr

указатель для проверки

Возвращаемое значение

true, если указатель ptr указывает на объект, время жизни которого ещё не завершилось; в противном случае — false.

Примечания

Макрос проверки поддержки возможностей	Значение	Стандарт	Возможность
`__cpp_lib_is_within_lifetime`	`202306L`	(C++26)	`std::is_within_lifetime` для проверки активности альтернативы объединения
`__cpp_lib_is_within_lifetime`	`202603L`	(C++26)	Расширение `std::is_within_lifetime`

Пример

std::is_within_lifetime можно использовать для проверки активности члена объединения:

#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);
}

См. также

is_implicit_lifetime

(C++23)

проверяет, является ли тип типом с неявным временем жизни
(шаблон класса)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/types/is_within_lifetime