types_is_implicit_lifetime

types_is_implicit_lifetime (암묵적 수명 타입 판별)

이 페이지는 C++ 표준 라이브러리의 std::is_implicit_lifetime 타입 특성에 대해 설명해요. 주어진 타입이 암묵적 수명(implicit-lifetime) 타입인지 컴파일 타임에 판별하는 데 사용돼요. C++23부터 사용할 수 있어요.

출처: cppreference

본문

개요

<type_traits> 헤더에 정의되어 있어요.

std::is_implicit_lifetime는 UnaryTypeTrait예요.

T가 암묵적 수명 타입이면 멤버 상수 value가 true가 돼요. 그 외의 모든 타입에 대해서는 value가 false예요.

T가 배열 타입이나 (cv-qualified된) void가 아닌 불완전 타입이면 동작이 정의되지 않아요.

프로그램에서 std::is_implicit_lifetime 또는 std::is_implicit_lifetime_v에 대한 특수화를 추가하면 동작이 정의되지 않아요.

템플릿 매개변수

헬퍼 변수 템플릿

std::integral_constant에서 상속됨

멤버 상수

멤버 함수

멤버 타입

참고 사항

예제

// 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(){}
    ~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() {}

같이 보기

더 알아보기 (Learn more)

cppreference