C++对象模型（三）：Program Transformation Semantics （程序转换语义学）

本文是Inside The C++ Object Model Chapter 2 部分的读书笔记。是讨论编译器调用拷贝构造函数时的策略(如何优化以提高效率),侯捷称之为"程序转化的语义学"

或者说是是关于编译器对于程序是如何进行有效转化或者说翻译，以实现C++的语法机制。主要来说有以下几种Semantics：

1） 明确的初始化操作(Explicit Initialization)

比如定义： X x0;
那么以下定义： X x1(x0); X x2 = x0; X x3 = X(x0); 都会被转化成： X x1,x2,x3; 在这里编译器并不会做这三个object的初始化，而是调用copy constructor进行初始化：

x1.X::X(x0); x2.X::X(x0); x3.X::X(x0);

2) 参数初始化(Argument Initialization)

C++ Standard （ Section 8.5）说，把一个class  object 当做参数传递给一个函数或者把它作为一个函数的返回值时，相当于以下形式的初始化操作：

X xx = arg;其中xx是形式参数或者返回值，arg代表真正的参数值，因此类似于void foo(X x0);这种调用，将会使得local instance x0以memberwise的形式以实际参数为初始值进行初始化。

一般来说，编译器有两种做法：

a) introduce a temporary object

还是以上文的函数声明 void foo(X x0);

调用进入后，1、编译器生成一个temporary object：X _temp;