std:: is_within_lifetime

Détermine si le pointeur ptr pointe vers un objet qui se trouve dans sa durée de vie .

Lors de l'évaluation d'une expression E comme 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

Valeur de retour

true si le pointeur ptr pointe vers un objet qui est dans sa durée de vie ; sinon false .

Notes

Exemple

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