C++中的std::is_nothrow_constructible及示例

C++ STL 中的 std::is_nothrow_constructible 模板存在于 < type_traits> 头文件中。 std::is_nothrow_constructible 模板用于检查给定的类型 T 是否可以使用一组参数构造，并且它被不会抛出异常所知。 它返回布尔值 true 如果 T 是可构造类型，则返回false。

头文件：

#include <type_traits>

模板类：

template < class T, class... Args >
struct is_nothrow_constructible;

语法：

std::is_nothrow_constructible< T, Args..>::value

参数： 模板 std::is_nothrow_constructible 接受以下参数：

• T： 它代表一个数据类型。
• Args: 代表数据类型T的列表。

返回值： 模板 std::is_nothrow_constructible 返回一个布尔变量，如下所示：

• True: 如果类型 T 是可从 Args 构造的。
• False: 如果类型 T 不可使用 Args 构造。

以下是演示 std::is_nothrow_constructible 的程序的代码：

程序 1：

//C++中std::is_nothrow_constructible的演示程序
#include <bits/stdc++.h>
#include <type_traits>
using namespace std;
// 声明结构体
struct X {
};
struct Y {
    Y() {}
    Y(X&)
    noexcept {}
};
struct Z {
    int n;
    Z() = default;
};
int main()
{
    cout << boolalpha;
    cout << "int is_nothrow_constructible? "
          << is_nothrow_constructible<int>::value
          << endl;
    cout << "X() is is_nothrow_constructible? "
          << is_nothrow_constructible<X>::value
          << endl;
    cout << "Y(X) is is_nothrow_constructible? "
          << is_nothrow_constructible<Y,X>::value
          << endl;
    cout << "Z() is is_nothrow_constructible? "
          << is_nothrow_constructible<Z>::value
          << endl;
    return 0;
}

int is_nothrow_constructible? true
X() is is_nothrow_constructible? true
Y(X) is is_nothrow_constructible? false
Z() is is_nothrow_constructible? true

程序 2：

// C++程序演示std::is_nothrow_constructible
#include <bits/stdc++.h>
#include <type_traits>

using namespace std;

// GfG类
class GfG {
    int v1;
    float v2;

public:
    GfG(int n)
        : v1(n), v2()
    {
    }
    GfG(int n, double f) noexcept : v1(n), v2(f) {}
};

// 声明结构体

struct X {
    int n;
    X() = default;
};

// 主函数
int main()
{

    cout << boolalpha;

    cout << "GfG是否能从int构造而来? "
          << is_nothrow_constructible<GfG, int>::value
          << '\n';

    cout << "GfG是否能从int和float构造而来? "
          << is_nothrow_constructible<GfG, int, float>::value
          << '\n';

    cout << "GfG是否能从结构体X构造而来? "
          << is_nothrow_constructible<GfG, X>::value
          << '\n';
}

GfG是否能从int构造而来? false
GfG是否能从int和float构造而来? true
GfG是否能从结构体X构造而来? false

参考资料： http://www.cplusplus.com/reference/type_traits/is_nothrow_constructible/