问个奇怪的拷贝构造函数问题！

zpp71

代码如下：

#include <iostream> using namespace std; &nbsp; class A { &nbsp;&nbsp;&nbsp;&nbsp;private: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int i; &nbsp;&nbsp;&nbsp;&nbsp;public: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A(){} &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A(const A& a){ cout << "copy constructor" << endl; }    /* 构造1 */ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//A(A& a){ cout << "copy constructor" << endl; }        /* 构造2 */ }; &nbsp; int main() { &nbsp;&nbsp;&nbsp;&nbsp;A a; &nbsp;&nbsp;&nbsp;&nbsp;a = A(); &nbsp;&nbsp;&nbsp;&nbsp;return 0; }

如果用构造1，没有问题；如果用构造2，编译报错：
test.cpp: In function `int main()':
test.cpp:17: error: no matching function for call to `A::A(A)'
test.cpp:11: note: candidates are: A::A(A&)

可是a = A()根本就没用到拷贝构造函数啊？

zpp71

咋没人知道啊？

bruceteen

看得我稀里糊涂

首先，a = A();是调用赋值操作，所以和你定义的拷贝构造函数没有关系。
我用VC2005和g++3.4.5试验了一下，一点问题都没有

其次，即使是 A a = A()，也应该没问题，这是C++标准规定的，既不会去调用拷贝构造函数，更不会去调用赋值操作。
我用VC2005和g++3.4.5试验了一下，一点问题都没有

当然，写成 A(A& a) 是很不好的，因为这要求a必须是一个左值，匿名临时对象不可以

zpp71

多谢bruceteen回复！
我是g++ version 3.4.3的。
还是不明白。
既然和“拷贝构造函数没有关系”，那为啥用“构造2 ”会编译不过呢？

haohao06

写成A a = A();会报这个错误。不明白为什么。可能和编译器的分析过程有关

[ 本帖最后由 haohao06 于 2009-7-27 20:00 编辑 ]

aaaaa5aa

应该是编译器的问题，你用别的环境试下

zpp71

查了下，貌似VC6.0是可以的。
而g++在“构造2”下不支持A a=A();和A a; a=A()这种格式。
只是觉得太诡异了，按c++语法来讲，应该没问题啊！

aaaaa5aa

其实 A(const A& a)更安全，建议用

zpp71

其实一直都用A(const A& a)，只是研究下为啥A(A& a)不行。:wink:

dalier149

顶一下，期待高手作答