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.
原文地址:https://www.jb51.cc/c/112764.html
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。