定义
如果使用等号初始化一个变量,实际上执行的是拷贝初始化(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 <iostream>
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;
}