class x
{
int a;
public:
x()
{
cout<<"\n\ndefault constructor";
}
x(x& obj)
{
cout<<"\n\ncopy constructor";
}
x fun()
{
x ob;
return ob;
}
};
int main()
{
x ob1;
x ob2=ob1.fun();
return 0;
}
最初,这个代码给出了一个错误“调用”x :: x(x)“的匹配函数”,
当我将复制构造函数更改为
x(const x& obj)
{
cout<<"\n\ncopy constructor";
}
输出成为
默认构造函数
解决方法
这被编译器所完成的copy-elision称为语言规范.
看这个维基条目：
至于为什么非const版本提供编译错误,因为obj1.fun()返回一个不能绑定到非const引用的临时对象,但它可以绑定到const引用,所以const版本编译正常.一旦使之成为常量引用,它仅用于语义检查,但是编译器优化代码,从而唤醒对复制构造函数的调用.
但是,如果使用GCC的-fno-elide-constructors选项编译它,则将不执行copy-elision,并且将调用复制构造函数. GCC doc说,
-fno-elide-constructors
The C++ standard allows an implementation to omit creating a temporary which is only used to initialize another object of the same type. Specifying this option disables that optimization,and forces G++ to call the copy constructor in all cases.
