Namespaces
Variants
Views
Actions

std::is_within_lifetime

From cppreference.com
< cpp‎ | types
 
 
Utilities library
Language support
Type support (basic types, RTTI)
Library feature-test macros (C++20)
Dynamic memory management
Program utilities
Coroutine support (C++20)
Variadic functions
is_within_lifetime
(C++26)
Debugging support
(C++26)
Three-way comparison
(C++20)
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
General utilities
Date and time
Function objects
Formatting library (C++20)
(C++11)
Relational operators (deprecated in C++20)
Integer comparison functions
(C++20)(C++20)(C++20)   
(C++20)
Swap and type operations
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
Common vocabulary types
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
Elementary string conversions
(C++17)
(C++17)

 
Defined in header <type_traits>
template< class T >
consteval bool is_within_lifetime( const T* ptr ) noexcept;
(since C++26)

Determines whether the pointer ptr points to an object that is within its lifetime.

During the evaluation of an expression E as a core constant expression, a call to std::is_within_lifetime is ill-formed unless ptr points to an object

[edit] Parameters

p - pointer to detect

[edit] Return value

true if pointer ptr points to an object that is within its lifetime; otherwise false.

[edit] Example

std::is_within_lifetime can be used to check whether a union member is active:

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