C++ 具名要求-基本概念-指定该类型对象可以从左值构造

指定该类型对象可以从左值构造

指定该类型的实例可以从左值表达式进行复制构造。

要求

以下情况下，类型 T 满足可复制构造 (CopyConstructible) ：

• 类型 T 满足可移动构造 (MoveConstructible) ，且

给定

• v，为 T 或 const T 类型的左值表达式或 const T 类型的右值表达式
• 任意标识符 u

下列表达式必须合法且拥有其指定的效果

表达式	后条件
T u = v;	u 的值等价于 v 的值。不更改 v 的值。
T(v)	T(v) 的值等价于 v 的值。不更改 v 的值。

表达式 v.~T() 亦必须合法，且对于左值 v，表达式 &v 必须具有 T* 或 const T* 类型，且必须求值为 v 的地址。

(C++11 前)

注解

C++11 前，重载了 operator& 的类并非是可复制构造 (CopyConstructible) ，从而不可用于标准库容器。C++11 开始，标准库在凡是需要对象地址时都使用 std::addressof。

调用示例

#include <iostream>
#include <type_traits>

//编译器生成默认构造函数
struct A
{
};

struct B
{
    std::string str; // 成员拥有非平凡默认构造函数
};

struct C
{
    std::string str; // 成员拥有非平凡默认构造函数
    C() throw (int) //构造函数抛异常
    {
    }
};

struct MyClass
{
    int ma;
    int mb;
    MyClass(): ma(101), mb(102)
    {
        std::cout << this << "  " << __FUNCTION__ << " " << __LINE__
                  << " a:" << ma << " b:" << mb
                  << std::endl;
    }

    MyClass(int a, int b): ma(a), mb(b)
    {
        std::cout << this << "  " << __FUNCTION__ << " " << __LINE__
                  << " a:" << ma << " b:" << mb
                  << std::endl;
    }

    MyClass(const MyClass &obj)
    {
        this->ma = obj.ma;
        this->mb = obj.mb;
        std::cout << this << "  " << __FUNCTION__ << " " << __LINE__
                  << " a:" << ma << " b:" << mb
                  << std::endl;
    }

    MyClass(MyClass &&obj)
    {
        this->ma = obj.ma;
        this->mb = obj.mb;
        std::cout << this << "  " << __FUNCTION__ << " " << __LINE__
                  << " a:" << ma << " b:" << mb
                  << std::endl;
    }
};

int main()
{
    std::cout << std::boolalpha;

    std::cout << "std::is_copy_constructible<int>::value: "
              << std::is_copy_constructible<int>::value << std::endl;
    std::cout << "std::is_trivially_copy_constructible<int>::value: "
              << std::is_trivially_copy_constructible<int>::value << std::endl;
    std::cout << "std::is_nothrow_copy_constructible<int>::value: "
              << std::is_nothrow_copy_constructible<int>::value << std::endl;
    std::cout << std::endl;

    std::cout << "std::is_copy_constructible<A>::value: "
              << std::is_copy_constructible<A>::value << std::endl;
    std::cout << "std::is_trivially_copy_constructible<A>::value: "
              << std::is_trivially_copy_constructible<A>::value << std::endl;
    std::cout << "std::is_nothrow_copy_constructible<A>::value: "
              << std::is_nothrow_copy_constructible<A>::value << std::endl;
    std::cout << std::endl;

    std::cout << "std::is_copy_constructible<B>::value: "
              << std::is_copy_constructible<B>::value << std::endl;
    std::cout << "std::is_trivially_copy_constructible<B>::value: "
              << std::is_trivially_copy_constructible<B>::value << std::endl;
    std::cout << "std::is_nothrow_copy_constructible<B>::value: "
              << std::is_nothrow_copy_constructible<B>::value << std::endl;
    std::cout << std::endl;

    std::cout << "std::is_copy_constructible<C>::value: "
              << std::is_copy_constructible<C>::value << std::endl;
    std::cout << "std::is_trivially_copy_constructible<C>::value: "
              << std::is_trivially_copy_constructible<C>::value << std::endl;
    std::cout << "std::is_nothrow_copy_constructible<C>::value: "
              << std::is_nothrow_copy_constructible<C>::value << std::endl;
    std::cout << std::endl;

    MyClass myClass1 = {101, 102};

    //T u = v; u 的值等价于 v 的值。不更改 v 的值。
    MyClass myClass2 = myClass1;


    //T(v) T(v) 的值等价于 v 的值。不更改 v 的值。
    MyClass myClass3(myClass2);

    return 0;
}

输出

std::is_copy_constructible<int>::value: true
std::is_trivially_copy_constructible<int>::value: true
std::is_nothrow_copy_constructible<int>::value: true

std::is_copy_constructible<A>::value: true
std::is_trivially_copy_constructible<A>::value: true
std::is_nothrow_copy_constructible<A>::value: true

std::is_copy_constructible<B>::value: true
std::is_trivially_copy_constructible<B>::value: false
std::is_nothrow_copy_constructible<B>::value: false

std::is_copy_constructible<C>::value: true
std::is_trivially_copy_constructible<C>::value: false
std::is_nothrow_copy_constructible<C>::value: false

0x61fe88  MyClass a:101 b:102
0x61fe80  MyClass a:101 b:102
0x61fe78  MyClass a:101 b:102