奇怪的构造函数的问题(no matching function for call ),请关注

emacsnw

原帖由 OwnWaterloo 于 2009-12-2 04:46 发表
A a,b;
a = b;  "="到底会调用什么？

1. 当A同时有copy constructor和copy assignment operator。
2. 当A只有copy constructor
3. 当A只有copy assignment operator


这个问题我一直没在标准中查到… ...

汗，不敢。
我觉得这种情况当然是调用copy assignment operator，如果没有就会调用隐式生成的copy assignment operator如果可能的话，否则就会报错吧。

OwnWaterloo

起得真早……

那怎么解释1楼的代码呢？

a = tp(); // 这是调用copy assignment？
// 隐式申明这个： A& A:: operaotr=(const A&); ？

那…… 错在哪呢……


报错也很奇怪：
main.cpp:47: error: no matching function for call to `Example:: Example(Example)'
main.cpp:24: note: candidates are: Example::Example(Example& )

会什么匹配的是A::A(A); ？  这根本不是合法的copy constructor签名……

huangwei0413

原帖由 OwnWaterloo 于 2009-12-3 07:56 发表
起得真早……

那怎么解释1楼的代码呢？

a = tp(); // 这是调用copy assignment？
// 隐式申明这个： A& A:: operaotr=(const A&); ？

那…… 错在哪呢……


报错也很奇怪：
main.cpp:47: error: ...

a = tp(); //程序并没有用到拷贝构造函数，用的是默认的赋值运算符。

从反汇编来看，并没有创建临时对象，而是直接用tp中的局部对象b为main中的a调用赋值运算符，完了回到main再析构b，最后析构a。

那为什么还会说找不到合适的拷贝构造函数呢？

emacsnw

原帖由 OwnWaterloo 于 2009-12-2 15:56 发表
起得真早……

那怎么解释1楼的代码呢？

a = tp(); // 这是调用copy assignment？
// 隐式申明这个： A& A:: operaotr=(const A&); ？

那…… 错在哪呢……


报错也很奇怪：
main.cpp:47: error: ...

对，这个都不是copy constructor的合法signature.
我是了一下这个代码在我机器上可以，加上#include <cstring>后-Wall也没问题：g++ 4.4.1.

OwnWaterloo

难道是gcc3的bug……

myworkstation

这个问题实际上应该是由于tp这个函数的引发的。这个函数的反回值会生成临时对象，而这个对象是个rvalue，而明显copy constructor的参数是lvalue(引用)，所以这个转换通不过才报的错，可以编译通过的版本应该是进行了RVO把这个临时对象给消除了所以又可以编译通过了