std:: is_default_constructible, std:: is_trivially_default_constructible, std:: is_nothrow_default_constructible

만약 T 가 완전한 타입이 아니거나, (cv 한정자가 있을 수 있음) void , 또는 알려지지 않은 경계의 배열인 경우, 동작은 정의되지 않습니다.

템플릿의 인스턴스화가 직접적 또는 간접적으로 불완전한 타입에 의존하고, 해당 타입이 가상적으로 완성되었을 때 인스턴스화 결과가 달라질 수 있는 경우, 그 동작은 정의되지 않습니다.

프로그램이 이 페이지에 설명된 템플릿들 중 어느 하나에 대해 특수화를 추가하는 경우, 동작은 정의되지 않습니다.

헬퍼 변수 템플릿

가능한 구현

template<class T>
struct is_default_constructible : std::is_constructible<T> {};
template<class T>
struct is_trivially_default_constructible : std::is_trivially_constructible<T> {};
template<class T>
struct is_nothrow_default_constructible : std::is_nothrow_constructible<T> {};

참고 사항

많은 구현에서, std::is_nothrow_default_constructible 는 소멸자가 예외를 던지는지 여부도 확인합니다. 이는 사실상 noexcept ( T ( ) ) 와 동일하기 때문입니다. 동일한 사항이 std::is_trivially_default_constructible 에도 적용되며, 이러한 구현에서는 소멸자가 trivial해야 합니다: GCC 버그 51452 , LWG 이슈 2116 .

std :: is_default_constructible < T > 는 T x; 가 컴파일되는지 테스트하지 않습니다; 대신 빈 인수 목록으로 직접 초기화(direct-initialization) 를 시도합니다 ( std::is_constructible 참조). 따라서 std :: is_default_constructible_v < const int > 와 std :: is_default_constructible_v < const int [ 10 ] > 는 true 입니다.

예제

#include <string>
#include <type_traits>
struct S1
{
    std::string str; // 멤버가 trivial하지 않은 기본 생성자를 가짐
};
static_assert(std::is_default_constructible_v<S1> == true);
static_assert(std::is_trivially_default_constructible_v<S1> == false);
struct S2
{
    int n;
    S2() = default; // trivial하고 non-throwing
};
static_assert(std::is_trivially_default_constructible_v<S2> == true);
static_assert(std::is_nothrow_default_constructible_v<S2> == true);
int main() {}

참고 항목