C/C++ 中的 std::is_trivially_copy_constructible

std::is_trivially_copy_constructible 模板是一种可以从相同类型的值或引用轻易构造出来的类型。这包括标量类型、具有平凡拷贝构造的类和此类类型的数组。该算法旨在测试类型是否可以轻易拷贝构造。它返回一个布尔值。

头文件:

#include <type_traits>

模板类:

template <class T> 
struct is_trivially_copy_constructible;

如果 T 是可平凡复制构造的类型，则它从 true_type 继承；否则从 false_type 继承。

语法:

std::is_trivially_copy_constructible<int>::value
std::is_trivially_copy_constructible<class T>::value

参数: 模板接受一个参数 T(Trait class) 来检查 T 是否可平凡复制构造。

返回值: 此模板作为下面所示的布尔变量返回：

• 真: 类型可平凡复制构造。
• 假: 类型不可平凡复制构造。

下面的程序演示了在 C/C++ 中使用 std::is_trivially_copy_constructible 模板：

Program 1:

// C++ program to illustrate
// is_trivially_copy_constructible
#include <iostream>
#include <type_traits>
using namespace std;
  
// Struct Class
struct A {
};
struct B {
    B(const B&) {}
};
struct C {
    virtual void fn() {}
};
  
// Driver Code
int main()
{
    cout << boolalpha;
    cout << "is_trivially_copy_constructible: "
         << endl;
    cout << "int: " << is_trivially_copy_constructible<int>::value
         << endl;
    cout << "A: " << is_trivially_copy_constructible<A>::value
         << endl;
    cout << "B: " << is_trivially_copy_constructible<B>::value
         << endl;
    cout << "C: " << is_trivially_copy_constructible<C>::value
         << endl;
    return 0;
}

is_trivially_copy_constructible: 
int: true
A: true
B: false
C: false

Program 2:

// C++ program to illustrate
// is_trivially_copy_constructible
#include <iostream>
#include <type_traits>
using namespace std;
  
// Structure
struct Ex1 {
    string str;
};
struct Ex2 {
    int n;
    Ex2(const Ex2&) = default;
};
  
// Driver Code
int main()
{
    cout << boolalpha;
    cout << "Ex1 is copy-constructible吗？ ";
  
    cout << is_copy_constructible<Ex1>::value
         << endl;
  
    cout << "Ex1 是否平凡复制可构造? ";
  
    cout << is_trivially_copy_constructible<Ex1>::value
         << endl;
  
    cout << "Ex2 是否平凡复制可构造? ";
  
    cout << is_trivially_copy_constructible<Ex2>::value
         << endl;
  
    cout << "Ex2 是否无异常复制可构造? ";
  
    cout << is_nothrow_copy_constructible<Ex2>::value
         << endl;
}

Ex1 is copy-constructible? true
Ex1 是否平凡复制可构造? false
Ex2 是否平凡复制可构造? true
Ex2 是否无异常复制可构造? true