程序转化语意学

显示的初始化操作

X x0;
void foo_bar()
{
    X x1(x0);
    X x2 = x0;
    X x3 = X(x0);
}

1. 重写每一个定义，其中的初始化操作会被剥除；（“定义”严格来讲是“占用内存”的行为）
2. class 的 copy constructor会被安插进去。

// 可能转换的伪码
void foo_bar()
{
    X x1; //定义重写，初始化操作被剥除
    X X2; //定义重写，初始化操作被剥除
    X x3; //定义重写，初始化操作被剥除
    
    // 编译器安插的 X copy constructor的调用操作
    x1.X::X(x0);
   x2.X::X(x0);
   x3.X::X(x0); 
}

参数的初始化

void foo(X x0);
X xx;
foo(xx); // 要求局部实例x0以memberwise的方式将xx当做初值

一种策略导入临时性对象，并调用copy constructor将它初始化，然后将次临时性对象交给函数。

// 可能转换的伪码
X _temp0;
_temp0.X::X(xx);
foo(_temp0);

其中class X声明了一个析构函数，它会在foo()函数完成之后被调用，对付那个临时性的对象。
返回值的初始化

X bar()
{
    X xx;
    ...
    return xx;
}

返回值如何从局部对象xx中拷贝过来？ 双阶段转化

1. 首先添加一个额外参数，类型是class object 的一个reference。这个参数被用来放置被“拷贝建构”而得的返回值；
2. 在return指令之前安插一个copy constructor调用操作，以便将欲传回之object的内容当做上述新增参数的初值；
   转换如下：

// 可能转换的伪码
void bar(X& _result)
{
    X xx;
    ...
    _result.X::X(xx);
    return ;
}