《深度探索c++对象模型》学习笔记 - 6 执行期语义学

 

1.         如果一个block {} 或函数中有一个以上的return，或者goto，那么每个离开点都会被放置析构函数。所以，提倡下面的内容是正确的：1）一个函数尽量只有一个出口点return；2）尽量推迟变量定义，以避免不必要的构造和析构。

2.         全局对象会被初始化并设初值，局部对象不会。即使对于没有默认构造函数的全局对象，其x.n也会被初始化=0.

3.         全局对象的缺点：1）构造过程不能被try…catch控制；2）跨模块的全局静态变量的初始化顺序没有保证。

4.         Local static对象：即使被调用多次，其构造函数会在第一次执行时执行且只被执行一次。析构也只有一次。

5.         如果对象没有默认构造函数或者没有不需要提供参数就可以执行的构造函数，那么定义其数组将会编译失败。

6.         New A[x]必须用delete []p。VC中可以使用delete[x]p，但是[]中的x会被忽略。

7.         基类指针指向子类对象构成的数组会很有麻烦，因为一般说来sizeof(子类对象) > sizeof(基类对象)，而数组析构的时候，只有基类析构函数被调用，子类析构不会被调用，所以如果子类有特殊资源需要释放的话，肯定不能给释放掉。

8.         对于base* p = new der[10]，语义上的含义：p指向含有10个base的对象，其size是10*sizeof(base)=40。但是实际上，却出现了size是10*sizeof(der)=80的数组，所以语义上有冲突。释放行为由编译器而定：可能不会释放完整。

9.         Placement new一般特指含有一个void*参数的new版本：1）将对象放到void*地址上；2）调用构造函数。

10.     如果有表达式产生了临时对象，那么应该对完整表达式求值结束之后才摧毁这些创建的临时对象。有两个例外：1）该临时对象被refer为另外一个对象的引用；2）该对象作为另一对象的一部分被使用，而另一对象还没有被释放。

 

 

实验代码：

#ifndef ch6_h #define ch6_h #include <new> #pragma warning (disable: 4208) namespace ch6{ // Runtime semantic // p266 // placement new的虚拟行为 namespace PlacementNew{ struct basecls{ public: virtual void f(){ printf("base/n");}; }; struct der: public basecls{ public: void f(){ printf("derived/n");}; }; void test(){ { // 调用f()输出正常：base, derived basecls* b = new basecls(); b->f(); //这里被显式转义，所以肯定是输出正常的 der* d = new (b) der(); d->f(); } { // 调用f()输出正常：base, derived basecls* b = new basecls(); b->f(); //这里虽说没有显式转义，但是由于只放了一个指针，所以输出正常 new (b) der; b->f(); } { // 调用f()输出不正常：base, base basecls b; b.f(); //不正常的原因，应该就是new出来的der对象放到&b的地址时， // 已经被切片为basecls对象（不是指针）了。 new (&b) der; b.f(); // 这里输出不正常 } } } // p262 // 基类、子类对象数组问题 namespace objArray{ class B{int n; public: B():n(1){}; ~B(){int j = 0;};}; class D: public B{int x; public: D():x(2){};~D(){int j = 0;};}; // 这种默认不写返回值的函数定义情况下，返回值是int testReturn(){ return 1; // 但是return空，只是提醒一个warning而已，返回值是一个未确定行为的数据 //return; } void test(){ // 如果testReturn返回空的话，n=乱码 int n = testReturn(); n = sizeof(B); //4 n = sizeof(D); //8 // 虽说arr是一个D对象组成的数据，而且arr里面的数据即含有B::n，也有D::x // 但是在delete[]的时候，只有B::~B被调用，D::~D不会被调用 // 所以，如果~D里面有一些需要释放的资源的话，这样的行为肯定不是用户所预期的 B* arr = new D[10]; n = sizeof(arr); //4 delete []arr; } } // p252 // 数组构造 namespace array{ class complex{ public: complex(int x=0, int y=0){}; int n; }; class derived: public complex{ public: int m; }; class complex2{ public: complex2(int x, int y){}; }; void test(){ complex c; complex carray[10]; complex* p = new complex[3]; p[0].n = 8; p[1].n = 9; p[2].n = 90; // 删除的时候，可以随便指定[]内的数字：它并不会影响到实际delete的内容。 // 也就是说，不论[]中是什么数字：0，1，3，或者什么都没有，都能够正确释放 delete [0]p; complex* p2 = new complex; p2->n = 10; // 下面的两行不能编译： // 数组需要对应的对象有默认构造函数，或者缺省参数值的构造函数 // complex2 c2; //complex2 c2array[10]; } } // p248 // 静态对象的生命周期 // 很奇怪，static（local和global）的变量的值，无法在watch里面看， // 想看到结果的话，必须要输出才行 namespace local_static{ class X{ public: int n; }; void f(){ static X local_static_n; local_static_n.n = 8; } void g(){ static X local_static_m; local_static_m.n = 9; } void test(){ int x = 0; x++; f(); g(); } } // p240 namespace ch6_1{ class Y{ public: Y(){}; ~Y(){}; }; class X { public: X(){}; ~X(){}; }; void test(){ X xx; Y yy; int n = 8; { X x2; if (n == 1) { // 根据汇编代码会看到，这里安插非常多的析构代码 return; } else if ( n == 2) { return; } else if ( n == 3) { return; } else if ( n == 4) { return; } } } } // p242 // 全局对象会被构造为0，局部对象不会 namespace Global_local{ class X{ public: int n; }; /* 全局变量和局部变量的区别主要在于生存周期不同，全局变量在整个程序生成期间可见， 局部变量在自己的作用域内可见。 全局变量的内存分配是静态的，位于PE文件在数据区， 在main()前由C、C++运行期函数初始化，如果没有初值，会被初始化为0。 局部变量的内存分配是动态的，位于线程堆栈中。 如果没有初始化的，初值视当前内存内的值而定，可能是一堆随机数。 */ X ch6_2_x; int ch6_2_n = 8; int ch6_2_m; void test() { int j; X x; j = 9; x.n = 0; } // 全局对象在初始化的时候会设置初始值，局部对象不会 // 即使X x这样的全局对象（X没有默认构造函数），其x.n也会被初始化 int n; ch6::Global_local::X x; } // main test void test(){ printf("ch6 begin/n"); objArray::test(); PlacementNew::test(); array::test(); ch6_1::test(); Global_local::test(); local_static::test(); printf("ch6 end/n"); } } #endif