Namespaces
Variants

std:: is_within_lifetime

From cppreference.net
C++
Utilities library
定義済みヘッダー <type_traits>
template < class T >
consteval bool is_within_lifetime ( const T * ptr ) noexcept ;
(C++26以降)

ポインタ ptr が、その lifetime 内にあるオブジェクトを指しているかどうかを判定します。

式 E のコア定数式としての評価中、 std::is_within_lifetime の呼び出しは、 ptr がオブジェクトを指していない限り、不適格である。

  • つまり 定数式で使用可能 であるか、または
  • 完全オブジェクトの生存期間が E 内で開始されたもの。

目次

パラメータ

p - 検出するポインタ

戻り値

true ポインタ ptr が生存期間内のオブジェクトを指している場合；そうでなければ false 。

注記

機能テスト マクロ 値 標準 機能
__cpp_lib_is_within_lifetime 202306L (C++26) 共用体の代替要素がアクティブかどうかのチェック

例

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);
{