一个关于对象返回值初始化的问题

#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＋＋的bt是一个原因，编译器的实现又各不相同，实在是会导致无法预知的结果。最好的办法就是背台笔记本，每次都把调试信息打印出来，那就一切清净了。

还要好好学习啊。C＋＋，“O，O，O”，这是俺最近的目标。

可以去看看相关的文章：关于拷贝构造函数和赋值运算符

本文地址：http://com.8s8s.com/it/it26748.htm