C++构造与析构(15) - 为何拷贝构造函数必须为const

当用户自定义拷贝构造函数时，通常传入的参数是const引用。

之所以使用const引用，其中一个原因是C++中当不想一个对象被意外修改时，则使用const来修饰。不过除此之外，还有别的原因。

例如，参考下面程序的结果：

注意：要确保编译器已经disable copy elision。否则编译还是可以通过。关闭方法可以参考本人之前的这篇文章。

#include<iostream>
using 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的引用。因为修改一个编译器创建的临时对象是完全没有意义的，这个临时对象随时都会被析构掉。