本文共 866 字,大约阅读时间需要 2 分钟。
当用户自定义拷贝构造函数时,通常传入的参数是const引用。
之所以使用const引用,其中一个原因是C++中当不想一个对象被意外修改时,则使用const来修饰。不过除此之外,还有别的原因。
例如,参考下面程序的结果:
注意:要确保编译器已经disable copy elision。否则编译还是可以通过。关闭方法可以参考本人之前的。
#includeusing namespace std; class Test{public: Test(Test &t) { /*使用t来拷贝数据成员*/} Test() { /*初始化数据成员*/ }}; Test fun(){ cout << "fun() Called\n"; Test t; return t;} int main(){ Test t1; Test t2 = fun(); return 0;}
root@shltsh:~$ g++ test.cpp -fno-elide-constructors
编译失败,提示:Compiler Error in line "Test t2 = fun();"程序第一眼看上去是正常的,但是却编译失败了。
如果在拷贝构造函数中加上const,如下面这行代码所示,则编译正常。
Test(const Test &t) { cout << "Copy Constructor Called\n"; } 或者,将这行代码 Test t2 = fun(); 修改为下面的这两行,程序也能编译正常。 Test t2; t2 = fun(); //调用的赋值操作符为什么这样?因为函数fun()是按值传递的,所以在最初的例子中,编译器创建了一个临时对象,并调用拷贝构造函数将其拷贝给t2。
编译失败的原因在于,编译器创建的这个临时对象,不能绑定给non-const的引用。因为修改一个编译器创建的临时对象是完全没有意义的,这个临时对象随时都会被析构掉。转载地址:http://eqeji.baihongyu.com/