(1)拷贝构造函数
如果一个构造函数的第一个参数是自身类类型的引用,且任何额外参数都有默认值,则此构造函数是拷贝构造函数。
class
class Foo {
public:
Foo();
Foo(const Foo &); //拷贝构造函数
//...
}
拷贝构造函数的第一个参数必须是一个引用类型。
合成拷贝构造函数
对于某些类,用来拷贝该类类型的对象。
一般情况,合成的构造函数会将其参数的成员逐个拷贝到正在创建的对象中。
每个成员的类型决定了如何拷贝:对类类型的成员,会使用其拷贝构造函数来拷贝:内置成员的类型则直接拷贝。我们不能直接拷贝一个数组,但合成拷贝构造函数会逐元素的拷贝一个数组成员的类类型。
ex
class Sales_data {
std::string bookNo;
unsigned units_sold=0;
double revenue=0.0;
public:
Sales_data(const Sales_data &);
};
Sales_data::Sales_data(const Sales_data & orig) :
bookNo(orig.bookNo), //使用string的拷贝构造函数
units_sold(orig.units_sold), //拷贝orig.units_sold
revenue(orig.revenue){} //...
直接初始化和拷贝初始化
直接初始化:不使用等号,初始化变量,执行的是直接初始化。
拷贝初始化:初始化变量时,使用等号(=)来初始化,编译器把等号右侧的初始值拷贝到新创建的对象中去,如果需要,还要进行类型转换。
ex.
string dots(10,',');
string s(dots); //direct initialization
string s2=dots; //copy initialization
拷贝初始化
拷贝初始化依靠拷贝构造函数或移动构造函数来完成。
拷贝初始化不仅在我们用等号定义变量时会发生,在下列情况下也会发生
1 将一个对象作为实参传递给一个非引用类型的形参。
2 从一个返回类型为非引用类型的函数返回一个对象。
3 用花括号列表初始化一个数组中的元素或一个聚合类中的成员。
参数和返回值
在函数调用过程中,具有非引用类型的参数要进行拷贝初始化。当一个函数具有非引用的返回类型时,返回值会被初始化调用方的结果。
拷贝初始化的限制
explicit构造函数只可用于直接初始化
编译器可以绕过拷贝构造函数
在拷贝构造初始化过程中,编译器可以跳过拷贝、移动构造函数,直接创建对象。即允许
string null_book="9-999-99999-9"; //拷贝初始化
改写为
string null_book("9-999-99999-9"); //编译器略过了拷贝构造函数
即便略过了拷贝构造函数,但拷贝构造函数必须是存在且可访问的(ex. 不能是private的)。