介绍

std::is_copy_constructible 是C++11中的一个模板类，用于在编译时检查一个类型是否可被拷贝构造。如果这个类型可以被拷贝构造，则它的静态成员变量value的值为true，否则为false。

该模板类的定义如下：

template <typename T>
struct is_copy_constructible {
    // 如果T可以被拷贝构造，则value为true；否则为false
    static const bool value = /* ... */;
};

示例

#include <iostream>
#include <type_traits>

class A {
public:
    A() {} // 默认构造函数
    A(const A&) {} // 拷贝构造函数
};

class B {
public:
    B() {} // 默认构造函数
    B(B&&) {} // 移动构造函数，但没有拷贝构造函数
};

int main() {
    std::cout << std::boolalpha << std::is_copy_constructible<A>::value << std::endl; // true
    std::cout << std::boolalpha << std::is_copy_constructible<B>::value << std::endl; // false
    return 0;
}

上述示例中，类A拥有一个拷贝构造函数，因此其可以被拷贝构造，std::is_copy_constructible<A>::value的值为true。

类B没有拷贝构造函数，因此其不能被拷贝构造，std::is_copy_constructible<B>::value的值为false。

应用

在编写泛型代码时，经常需要检查一个类型是否可以拷贝构造。例如，std::vector的拷贝构造函数要求其存储的元素类型必须可以被拷贝构造，否则会导致编译错误。

#include <iostream>
#include <vector>

class A {
public:
    A() {} // 默认构造函数
    A(const A&) {} // 拷贝构造函数
};

class B {
public:
    B() {} // 默认构造函数
    B(B&&) {} // 移动构造函数，但没有拷贝构造函数
};

int main() {
    std::vector<A> vec1{ A(), A(), A() }; // OK
    // std::vector<B> vec2{ B(), B(), B() }; // ERROR: B is not copy constructible
    return 0;
}

在上述示例中，可以使用std::is_copy_constructible来检查类型是否可以拷贝构造，从而在编译期就避免了可能出现的错误。

总之，std::is_copy_constructible是一个非常实用的模板类，可以在泛型编程中帮助我们更好地控制类型的拷贝语义。