C++ 直接初始化 vs 拷贝初始化

定义

如果使用等号初始化一个变量，实际上执行的是拷贝初始化（copy initialization），编译器把等号右侧的初始值拷贝到新创建的对象中去。与之相反，如果不使用等号，则执行的是直接初始化（direct initialization）。

除此之外，拷贝初始化在下列情况下也会发生：

• 将一个对象作为实参传递给一个非引用类型的形参
• 从一个返回类型为非引用类型的函数返回一个对象
• 用花括号列表初始化一个数组中的元素或一个聚合类中的成员

举例如下：

string dots(10, '.');                   // 直接初始化
string s(dots);                         // 直接初始化
string s2 = dots;                       // 拷贝初始化
string null_book = "9-999-99999-9";     // 拷贝初始化
string nines = string(1000, '9');       // 拷贝初始化

拷贝构造函数

如果一个构造函数的第一个参数是自身类型的引用，且任何额外参数都有默认值，则此构造函数是拷贝构造函数。

例子：

#include 
using namespace std;

class numbered {
    public:
        int mysn;
        numbered(): mysn(0) { cout << "numbered()" << endl; }	// 默认构造函数
        numbered(const numbered &n): mysn(n.mysn + 1) 
            { cout << "numbered(const numbered &)" << endl; }	// 拷贝构造函数
};                                                                                                                                                                                                                                                                                   

void f(const numbered &s) {
    cout << s.mysn << endl;
}

int main() {
    numbered a, b(a), c = a;
    return 0;
}

输出是：

numbered()
numbered(const numbered &)
numbered(const numbered &)

其中a和b都是直接初始化，而c是拷贝初始化。a使用默认构造函数初始化，b和c都使用拷贝构造函数来初始化。也就是说，直接初始化也可以调用拷贝构造函数来初始化。

explicit

定义：指定构造函数为显式，即它不能用于隐式转换和拷贝初始化。

如果给一个构造函数前面加上explicit，那么它就不能用于隐式地创建该对象。

class Sales_data {
public:
    Sales_data() = default;
    explicit Sales_data(const string &s): bookNo(s) { }
    Sales_data& combine(const Sales_data&);
private:
    string bookNo = 0;
    unsigned price;
};

int main()
{
    Sales_data item;
    string book = "123";
    item.combine(Sales_data(book));
    item.combine(book);                // 错误，因为加了explicit，string不能隐式地转换为Sales_data对象
    // 如果没有explicit，上面这条语句就是正确的
    return 0;
}

如果给一个拷贝构造函数前面加上explicit，那么它就不能用于拷贝初始化。

class A {
public:
    A(string n): name(n) {}
    explicit A(const A &a): name(a.name) {}
private:
    string name;
};

int main()
{
    A a1("yc");
    A a2 = a1;		// 出错，explicit的拷贝构造函数不能用于拷贝初始化
    return 0;
}