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();" 

程序第一眼看上去是正常的，但是却编译失败了。

如果在拷贝构造函数中加上