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 ，在这些实现中还需要析构函数是平凡的： GCC bug 51452 ， LWG issue 2116 。

std :: is_default_constructible < T > 并不测试 T x ; 是否能编译通过；它尝试使用空参数列表进行 直接初始化 （参见 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; // 成员具有非平凡默认构造函数
};
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; // 平凡且不抛出异常
};
static_assert(std::is_trivially_default_constructible_v<S2> == true);
static_assert(std::is_nothrow_default_constructible_v<S2> == true);
int main() {}

参见