Namespaces
Variants

    std::is_within_lifetime

    ja.cppreference.net より
    < cpp | 型
     
    C++
    コンパイラサポート
    フリースタンディングとホステッド
    言語
    標準ライブラリ
    標準ライブラリヘッダ
    名前付き要件
    機能テストマクロ (C++20)
    言語サポートライブラリ
    コンセプトライブラリ (C++20)
    診断ライブラリ
    メモリ管理ライブラリ
    メタプログラミングライブラリ (C++11)
    汎用ユーティリティライブラリ
    コンテナライブラリ
    イテレータライブラリ
    レンジライブラリ (C++20)
    アルゴリズムライブラリ
    文字列ライブラリ
    テキスト処理ライブラリ
    数値ライブラリ
    日時ライブラリ
    入出力ライブラリ
    ファイルシステムライブラリ (C++17)
    並行処理サポートライブラリ (C++11)
    実行制御ライブラリ (C++26)
    技術仕様書
    シンボル索引
    外部ライブラリ
     
    ユーティリティライブラリ
    言語サポート
    型サポート (基本型、RTTI)
    ライブラリ機能テストマクロ (C++20)
    プログラムユーティリティ
    可変長引数関数
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    コルーチンサポート (C++20)
    契約サポート (C++26)
    三方比較
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    汎用ユーティリティ
    関係演算子 (C++20で非推奨)
    整数比較関数
    (C++20)(C++20)(C++20)    
    (C++20)
    Swap および 型操作
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    共通語彙型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    ヘッダ <type_traits> 
    template< class T >
consteval bool is_within_lifetime( const T* ptr ) noexcept;
    		で定義 (C++26以上)

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

    E をコア定数式として評価する際、std::is_within_lifetime の呼び出しは、ptr が以下のいずれかのオブジェクトを指していない限り、ill-formed です。

    • 定数式で使用可能なオブジェクト
    • その完全オブジェクトの生存期間が 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);
{

    関連項目

    (C++23)
    		 型が暗黙の生存期間型であるかどうかを調べる
    (クラステンプレート)