const中的复制构造函数

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称为语言规范.

看这个维基条目：

> 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.