#include "iostream"
class A{
public:
A(){
std::cout<<"A::A()"<<std::endl;
}
A(const A&){
std::cout<<"A::A(const A&)"<<std::endl;
}
A(int){
std::cout<<"A::A(int)"<<std::endl;
}
};
A test(){
return A::A(1);
}
void main(void)
{
std::cout<<"hello!"<<std::endl;
A c = test();
}
vc6.0下的结果是：
A::A(int)
A::A(const A&)
A::A(const A&)
猜测的编译器vc6处理后的伪码：
//////////////////////////////////////////////////////////////////////////
//test函数会根据返回值为对象初始化的原则进行编译处理
test(A &__result) //返回值初始化
{
A tmp; //编译器处理后，不做初始化
tmp.A::A(1);
__result.A::A(&tmp);
return;
}
//返回值为对象初始化原则：
//1、首先加上一个额外参数，类型为函数的reference。用来放置被“拷贝构造”而得得返回值；
//2、再return指令之前插入一个copy constructor调用操作，将欲传回的对象内容当作上述新增参数的初值；
//main函数中的关键代码被编译后生产的伪代码
{
A c=test(); ->
A tmp; //编译器处理后，不做初始化
test(tmp);
A c;
c.A::A(tmp); //编译器处理后，不做初始化
}
//看了一下vc编译出来得汇编码，可以确定上面的伪码是正确的。vc的做法和C++ object model上描述的共同点在于：
1、返回值初始化的处理是一致的。ps：huhu，总算一致了一盘，真是个麻烦的冬冬。
2、对于返回值为对象的函数可能都做了一个临时对象tmp来处理。否则可以把A c=test();编译成A c; test(c)，这样就可以少一次copy constructor的调用操作了。
//唉唉，看了三天的C++ object model，虽然令我对C++有了深一点点的认识，但一遇到新的内容就没法考虑了
还要好好学习啊。C＋＋，“O，O，O”，这是俺最近的目标。
可以去看看相关的文章：关于拷贝构造函数和赋值运算符
