这两天看到了一个问题,看似简单,但是用的知识着实不少,原题如下:
#include "stdafx.h"
class Base
{
public:
Base(){}
virtual ~Base(){}
Base(const Base &other); // 只声明, 没定义
private:
Base &operator=(const Base &other);
} ;
int _tmain(int argc, _TCHAR* argv[])
{
const Base &b = Base() ; // 为什么没有导致链接错误? 应该调用拷贝构造函数才对, 然而我只声明没定义!
return 0;
}
我一开始想到的就是编译器优化了: 推测下编译器应该做了优化: const Base &b = Base() ;这么写的话,按照语义是:
1.调用Base的构造函数
2.调用Base的赋值函数 b=临时对象但是编译器大概认为没必要这么两步走,直接调用了Base的构造函数。。。。
后面经过大侠A的指导,指出问题所在:
Base b = a 的时候, b 还没有构造, 所以需要先对 b 进行构造, 再紧接着进行赋值, 你说 c++ 编译器的设计者, 能不优化一下么? 所以在所有 c++ 规定了这个行为, 即 Base b = a 就是Base b(a)</