C++的 std::is_default_constructible 模板及示例

C++ STL 中的 std::is_default_constructible 模板位于 type_traits 头文件中。std::is_default_constructible 模板用于检查是否默认可构造类型 T。默认可构造类型可以在没有参数或初始化值的情况下构造。如果 T 是默认可构造类型，则返回布尔值 true，否则返回 false。

头文件：

#include <type_traits>

模板类：

template <class T>
struct is_default_constructible;

语法：

std::is_default_constructible<class T>::value

参数： 模板 std::is_default_constructible 接受一个参数 T（特质类），用于检查 T 是否为默认可构造类型。

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

• True： 如果类型 T 是默认可构造的。
• False： 如果类型 T 不是默认可构造的。

以下是 C/C++ 中使用 std::is_default_constructible 模板的示例程序：

程序：

// C++ program to illustrate
// std::is_default_constructible
#include <bits/stdc++.h>
#include <type_traits>
using namespace std;
  
// Declare structures
struct A {
};
  
struct B {
    int n;
    B() = default;
};
  
// Class
class classA {
    ~classA() = delete;
};
  
// Inherited class
class classB : classA {
};
  
// Driver Code
int main()
{
    cout << boolalpha;
  
    // Check if int is default constructible?
    cout << "int : "
         << is_default_constructible<int>::value
         << endl;
  
    // Check if struct A is default constructible?
    cout << "struct A: "
         << is_default_constructible<A>::value
         << endl;
  
    // Check if struct B is default constructible?
    cout << "struct B: "
         << is_default_constructible<B>::value
         << endl;
  
    // Check if classA is default constructible?
    cout << "classA: "
         << is_default_constructible<classA>::value
         << endl;
  
    // Check if classB is default constructible?
    cout << "classB: "
         << is_default_constructible<classB>::value
         << endl;
  
    return 0;
}

int : true
struct A: true
struct B: true
classA: false
classB: false