在《剑指offer》里面有这样一道面试题,以下代码会出现什么问题。
class A {
private:
int value;
public:
A(int n) {value = n;}
A(A other) {value = other.value};
};
int main(){
A a = 10;
A b = a;
}
答案是编译错误。主要的错误点在于A(A other) {value = other.value}; 。这里具体分析下为什么这个拷贝构造函数参数不能是传值参数。拷贝构造函数有些书会叫复制构造函数,一样的,指的都是用同类的对象去构造新的类。
函数的参数传递
1.值传递
A object1(10);
A object2 = object1;
在值传递当中,形参初始化的机理与变量初始化一样,每次调用函数都会重新创建形参,并用传入的实参对形参进行初始化。以形参这一个类去初始化一个新的类,这就是拷贝构造函数干的活。
A(A other){
A other(bject1);
value = other.value}
}
拷贝构造函数A(A other)传入的参数是A的一个实例object1。为了调用拷贝构造函数,我们必须拷贝它的实参,但为了拷贝实参,我们又需要调用拷贝构造函数,如此无限循环。这就是为什么上面那道题是编译错误的原因。
2.引用传递
如果形参是引用类型,它将绑定到对应的实参上,不会在内部调用拷贝构造函数。而当函数无须修改引用形参的值是,最好使用常量引用。
拷贝构造函数
拷贝构造函数是类的构造函数的一种,其函数名和类名保持一致。如果构造函数的第一个参数是自身类型的引用,则此构造函数是拷贝构造函数。
A(const A& other) {value = other.value};
要分清楚直接初始化和拷贝初始化。
string dots(10,'.');
string s(dots);
string s2 = dots;
string null_book = "999";
string nines = string(100,'9');
拷贝初始化调用的就是拷贝构造函数。当我们使用拷贝初始化时,要求编译器将右侧运算对象拷贝到左侧正在创建的对象中。
拷贝初始化不仅在我们用=定义变量时会发生,在下列情况也会发生。
- 将一个对象作为实参传递给一个非引用类型的形参(这就是前面的值传递)
- 从一个返回类型为非引用类型的函数返回一个对象
- 对于标准库容器(stakc、queue等)使用push是拷贝初始化,用emplace是直接初始化。
拷贝构造函数要与拷贝赋值运算符区分开来。拷贝构造函数是拿一个现有的对象去初始化另外一个对象。拷贝赋值运算符是指对=进行重载,一般使用条件是两个已经构造成功的对象。
A a;
A b = a;
A a, b ;
a = b;
《C++ Primer 中文版》 《剑指OFFER》
|