template <class T>
struct is_nothrow_default_constructible;

std::is_nothrow_default_constructible::value

// C++程序演示
// std::is_nothrow_default_constructible
#include <bits/stdc++.h>
#include <type_traits>
using namespace std;
  
// 声明结构
struct X {
    X(int, float){};
};
  
struct Y {
    Y(const Y&) {}
};
  
struct Z {
    int n;
    Z() = default;
};
  
// 驱动程序
int main()
{
  
    cout << boolalpha;
  
    // 检查是否int不抛出默认构造
    // 或不是可构造
    cout << "int: "
         << is_nothrow_default_constructible<int>::value
         << endl;
  
    // 检查是否struct X不抛出默认构造
    // 或不是可构造
    cout << "struct X: "
         << is_nothrow_default_constructible<X>::value
         << endl;
  
    // 检查是否struct Y不抛出默认构造
    // 或不是可构造
    cout << "struct Y: "
         << is_nothrow_default_constructible<Y>::value
         << endl;
  
    // 检查是否struct Z不抛出默认构造
    // 或不是可构造
    cout << "struct Z: "
         << is_nothrow_default_constructible<Z>::value
         << endl;
  
    // 检查X(int, float)的构造函数是否
    // 不会抛出默认构造异常
    cout << "constructor X(int, float): "
         << is_nothrow_default_constructible<X(int, float)>::value
         << endl;
    return 0;
}

int: true
struct X: false
struct Y: false
struct Z: true
constructor X(int, float): false