std::is_implicit_lifetime
From cppreference.com
| ヘッダ <type_traits> で定義 |
||
| template< class T > struct is_implicit_lifetime; |
(C++23から) | |
std::is_implicit_lifetimeはUnaryTypeTraitです。
Tが暗黙的生存期間型である場合、valueをtrueに等しいメンバ定数として提供します。それ以外の型の場合、valueはfalseです。
Tが配列型、または（cv修飾された可能性がある）void以外の不完全型である場合、動作は未定義です。
プログラムがstd::is_implicit_lifetimeまたはstd::is_implicit_lifetime_vの特殊化を追加した場合、動作は未定義です。
目次 |
[編集] テンプレートパラメータ
| T | - | チェックする型 |
[編集] ヘルパー変数テンプレート
| template< class T > constexpr bool is_implicit_lifetime_v = is_implicit_lifetime<T>::value; |
(C++23から) | |
std::integral_constant から継承
メンバ定数
| value [static] |
Tが暗黙的生存期間型の場合true、それ以外の場合false(公開静的メンバ定数) |
メンバ関数
| operator bool |
オブジェクトを bool に変換し、value を返します。 (public member function) |
| operator() (C++14) |
value を返します。 (public member function) |
メンバ型
| 型 | 定義 |
value_type
|
bool |
type
|
std::integral_constant<bool, value> |
[編集] 備考
| 機能テストマクロ | 値 | 規格 | 機能 |
|---|---|---|---|
__cpp_lib_is_implicit_lifetime |
202302L |
(C++23) | std::is_implicit_lifetime
|
[編集] 例
このコードを実行
// The following types are collectively called implicit-lifetime types: // * scalar types: // * arithmetic types // * enumeration types // * pointer types // * pointer-to-member types // * std::nullptr_t // * implicit-lifetime class types // * is an aggregate whose destructor is not user-provided // * has at least one trivial eligible constructor and a trivial, // non-deleted destructor // * array types // * cv-qualified versions of these types. #include <type_traits> static_assert(std::is_implicit_lifetime_v<int>); // arithmetic type is a scalar type static_assert(std::is_implicit_lifetime_v<const int>); // cv-qualified a scalar type enum E { e }; static_assert(std::is_implicit_lifetime_v<E>); // enumeration type is a scalar type static_assert(std::is_implicit_lifetime_v<int*>); // pointer type is a scalar type static_assert(std::is_implicit_lifetime_v<std::nullptr_t>); // scalar type struct S { int x, y; }; // S is an implicit-lifetime class: an aggregate without user-provided destructor static_assert(std::is_implicit_lifetime_v<S>); static_assert(std::is_implicit_lifetime_v<int S::*>); // pointer-to-member struct X { ~X() = delete; }; // X is not implicit-lifetime class due to deleted destructor static_assert(!std::is_implicit_lifetime_v<X>); static_assert(std::is_implicit_lifetime_v<int[8]>); // array type static_assert(std::is_implicit_lifetime_v<volatile int[8]>); // cv-qualified array type int main() {}
[編集] 関連項目
| (C++11) |
型がスカラ型であるかをチェックする (クラステンプレート) |
| (C++11) |
型が配列型であるかをチェックする (クラステンプレート) |
| (C++17) |
型が集約型であるかをチェックする (クラステンプレート) |
| オブジェクト表現を再利用して、与えられたストレージ内にオブジェクトを暗黙的に作成します (関数テンプレート) |
