2008年12月11日

《Inside C++ Object 》阅读笔记(2)，看《Inside C++ Object 》的作用

write by** 九天雁翎(JTianLing) –
blog.csdn.net/vagrxie**

因为你永远也不可能完全弄清楚C++在你背后做了多少工作，所以你永远都会需要sizeof来帮助你确认你的判断。我从刚开始学C++到现在sizeof是用的不断，直到现在读《Inside C++ Object》还是会碰到。简直是无语。呵呵，用了这么多次的sizeof，少说也是有点经验的：）其实还是用宏的奇技淫巧而已，不推荐广泛使用。

《Inside C++ Object》中文版83面的虚继承问题，在我g++版本上跑的结果是

1 ,4,4,4

在VS2005 SP1版本上跑的结果是1,4,4,8。说明g++在编译器的优化上比MS还是走的远一点。。。。MS的优化总是走一些偷懒的奇怪路线：）实打实的东西又不做。。。。。。。从VC5.0到现在好像还是没有进步。。。。（说的严重了，仅仅是这一点吧）

测试代码如下：

#include <stdio.h>
#include <stdlib.h>
#include <iostream>
#include <string>
using namespace std;

class X {};
class Y : public virtual X { };
class Z : public virtual X { };
class A : public virtual Z { };

#define test(_type) TestSize(sizeof(_type), #_type)

void TestSize(int aiSize, string astrType)
{
    cout <<astrType <<"  
: " <<aiSize <<endl;
}


int main(int argc, char* argv[])
{

    test(X);
    test(Y);
    test(Z);
    test(A);

    exit(0);
}

关于类成员指针的问题：

以下是我的测试源代码：

#include <stdio.h>
#include <stdlib.h>
#include <iostream>
using namespace std;

// Plain  
Ol' Data

class CPoint3dPOD
{
public:
    int x;
    int y;
    int z;
};

// Have  
vptr

class CPoint3dVir
{
public:
    virtual ~CPoint3dVir();
    int x;
    int y;
    int z;
};

class CPoint2dSD
{
public:
    ~CPoint2dSD() {}
    int x;
    int y;
};

// single  
Derived

class CPoint3dSD : public CPoint2dSD
{
public:
//  ~CPoint3dSD() {}
    int z;
};

// double

class CPoint1dDD
{
public:
    int x;
};

class CPoint2dDD
{
public:
    int y;
    int z;
};

class CPoint3dDD : public CPoint1dDD,public CPoint2dDD
{

};

class CPoint3dVD : virtual public CPoint1dDD,virtual  
public CPoint2dDD
{

};

#define pt(_t) printf("&CPoint3d"#_t" = %p/n", &CPoint3d##_t)


int main(int , char* argv[])
{
    pt(POD::x);
    pt(POD::y);
    pt(POD::z);

    pt(Vir::x);
    pt(Vir::y);
    pt(Vir::z);

    pt(SD::x);
    pt(SD::y);
    pt(SD::z);

    pt(DD::x);
    pt(DD::y);
    pt(DD::z);

    pt(VD::x);
    pt(VD::y);
    pt(VD::z);

    exit(0);
}

G++中结果如下

&CPoint3dPOD::x  
= (nil)

&CPoint3dPOD::y  
= 0x4

&CPoint3dPOD::z  
= 0x8

&CPoint3dVir::x  
= 0x4

&CPoint3dVir::y  
= 0x8

&CPoint3dVir::z  
= 0xc

&CPoint3dSD::x  
= (nil)

&CPoint3dSD::y  
= 0x4

&CPoint3dSD::z  
= 0x8

&CPoint3dDD::x  
= (nil)

&CPoint3dDD::y  
= (nil)

&CPoint3dDD::z  
= 0x4

&CPoint3dVD::x  
= (nil)

&CPoint3dVD::y  
= (nil)

&CPoint3dVD::z  
= 0x4

结果有些有点意外，其一，单继承时有无虚表竟然不影响。多重继承x，y全为0等和书上不一样。

其实我在VS2005中可以将测试程序做的更简单。。。。好像g++中不支持宏扩展后的再扩展。。。。不知道是不是VS2005超标准了。。。或者说不符合标准

类定义同上，测试代码如下：

#define pt(_x) printf("&"#_x" = %p/n", &##_x)
#define pt3(_x) pt(CPoint3d##_x::x);/
    pt(CPoint3d##_x::y);/
    pt(CPoint3d##_x::z);


int main(int argc, char* argv[])
{

    pt3(POD);
    pt3(Vir);
    pt3(SD);
    pt3(DD);
    pt3(VD);

    exit(0);
}

结果和g++完全一致，这里就不贴图了。。。因为好像不好copy.

最后总结一下看此书的作用，首先的确是对C++有了更多的认识，说到到底是哪些认识可能一下又说不清楚：）

首先这里谈几点以前我忽视了的C++的语法问题吧：

1.
dynamic_cast转换引用的问题，这点我C++ Primer中虽然有，但是其实一直没有注意到。

2.
placement new的语法，以前还真不知道。看了此书后知道了，这点对我很带有帮助。。。因为接下来的工作做内存管理的时候正好碰到了，我一点也没有惊讶：）

3.
直接以类似={a,b,c}的方式为一个类赋初值。。。这个语法我以前一直以为只能在POD的struct下用。。。结果就算这个类有虚函数，也照用不误。

4.
上述的成员对象的指针的问题。。。。

其次，关于几个概念性的知识:

1.
NRV优化：）

2.
POD和trivial constructor,deconstructor,copy constructor等的相关概念，及什么时候它们是trivial的，虽然以前有点肤浅的认识，但是看了此书后认识的更加深刻了，并且，因为侯捷的翻译，说时候，懂了这几个单词。。。对我帮助很大，因为最近正在看的《STL 源码剖析》中的前几章，关于trait机制的部分，没有这些知识，估计都看不下去。

3.
类成员变量，包括继承，多重继承，虚继承等的效率认识

4.
引用的临时变量生命周期，可以一直维持到引用失效。。。这点我一直没有认识到。这也是我见到的唯一一个引用与指针效果有很大差异的地方。

5.
异常机制带来的性能消耗及异常抛出对象是复制过的，重新抛出的也是原有对象。

6.
这点可能对于编程的帮助不是太大，但是确实本书的主题。。。对于C++的对象布局有个整体的认识了。。。呵呵，也许假如可能maybe以后学COM之类的东西有用吧。

write by** 九天雁翎** (JTianLing) –
blog.csdn.net/vagrxie

分类: C++
标签: C++ 《Inside C++ Object 》

Posted By 九天雁翎 at 九天雁翎的博客 on 2008年12月11日

前一篇: 《Inside C++ Object 》阅读笔记(1)， NRV（Named Return Value）后一篇: 《Inside C++ Object 》阅读笔记(3)，实践是检验真理的唯一标准

《Inside C++ Object 》 阅读笔记(2)，看《Inside C++ Object 》的作用

《Inside C++ Object 》阅读笔记(2)，看《Inside C++ Object 》的作用