深度探索C++对象模型读书笔记-第六章执行期语意学

在函数中，编译器会帮助将析构函数(Destructor) 安插在相应的位置。对于函数中的局部对象，会将析构函数安插在对象的每一个离开点。
例如：
```
   1: void Function(int a) {
```
```
   2:   Object obj;
```
```
   3:   swithch(a) {
```
```
   4:      case 0 ：....;return;
```
```
   5:     case 1 : ....;return;
```
```
   6:     case 2 : ....;return;
```
```
   7:     default : ....;return;
```
```
   8:   }
```
```
   9: }
```
在上面的函数中，在switch的每个分支中，都会安插Object对象的析构函数。
一般而言，我们把Object尽可能放置在使用它的那个程序区段的附近，这么做可以节省非必要的对象产生操作和析构操作。（注：即可能在代码的一些分支逻辑中，根本不会走到使用对象的分支。此时最好把相应对象的创建放在对应的分支逻辑中，以避免无论使用使用都执行对象的产生和析构操作）
例如
```
   1: void Function(int a) {
```
```
   2:   if (a < 0) {
```
```
   3:     return;
```
```
   4:   }
```
```
   5:   Object obj;
```
```
   6:   ....
```
```
   7:   return;
```
```
   8: }
```
在上面的逻辑中，在传入的参数a小于0的时候，是不需要使用Object对象的。因此如果在函数的开始就创建Object的话，就导致无论是否使用都会触发该对象的创建和析构。
new 和delete 运算符
int *pi = new int(5);
new运算符看起来似乎是一个单一运算，实际上由两个步骤完成的：

通过适当的new运算符函数实例，配置所需要的内存: int *pi = __new(sizeof(int))
将配置得带的对象设立初值： *pi = 5

布局new操作符并不支持多态。其行为是未定义的。
C++标准允许编译器对于临时对象的产生有完全的自由度
例如：
```
   1: T operator+(const T&, const T&);
```
```
   2: T a, b;
```
```
   3: T c = a + b;
```
对于上面这段代码可能如下：

编译器产生一个临时对象，保存a+b的结果，然后再使用T的拷贝构造函数，把该临时性对象当做c的初始值
直接以拷贝构造的方式，将a+b的值放到c中。
NRV(name return value)优化，直接在上述c对象中求表达式的结果，避免执行拷贝构造函数和具名对象的destructor

而对于临时对象的摧毁，则规定如下：
临时性对象的被摧毁，应该是对完整表达式求值过程中的最后一个步骤。该完整表达式造成临时对象的产生。
```
   1: ((objA > 1024) && (objB >　1024)) ? objA + objB : foo(objA, objB)
```
对于上面的表达式产生的任何一个临时对象，都是在整条语句执行完之后，才可以摧毁。
例外情况：

表达式用来初始化一个object：
```
   1: bool verbose;
```
```
   2: ...
```
```
   3: string progNameVersion = !verbose ? 0 : progName + progVersion;
```
对于上面这种情况，由于progNameVersion需要使用该对象进行初始化，如果在初始化之前临时对象被析构，那么结果就是错误的。不是我们希望的。
标准要求：凡持有表达式执行结果的临时性对象，应该存留到object的初始化操作完成为止
当一个临时对象被一个reference绑定时：
标准要求：如果一个临时性对象被绑定于一个reference，对象将保留，知道被初始化值reference的生命结束，或直到临时对象的生命scope结束——视哪一种情况先到达。