亚洲综合久久久,久久久综合香蕉尹人综合网,精品一区二区久久

转：字节寚w��详解

erran — Tue, 16 Oct 2007 14:56:00 GMT

看了�q�篇�Q�http://www.shnenglu.com/Randy/archive/2007/10/15/34288.aspx�Q�关于字节对其的随笔�Q�觉得迷�q�L��p�的�Q�脑袋里只有字节对其�q�个概念�Q�具体都忘的差不多了�Q�又另外找了��细��M��下，�ȝ��理解了�?br />
来源�Q�http://www.yuanma.org/data/2006/0723/article_1213.htm

一.什么是字节寚w��,��Z��么要寚w��?

��C��计算��Z��内存�I�间都是按照byte划分的，从理��Z��讲似乎对��M��c�d��的变量的讉K��可以从�Q何地址开始，但实际情冉|��在访问特定类型变量的时候经常在�? 定的内存地址讉K��Q�这��需要各�U�类型数据按照一定的规则在空间上排列�Q�而不是顺序的一个接一个的排放�Q�这��是寚w��?br /> 寚w��的作用和原因�Q�各个硬件��^台对存储�I�间的处理上有很大的不同。一些��^台对某些特定�c�d��的数据只能从某些特定地址开始存取。比如有些架构的CPU在访�? 一个没有进行对齐的变量的时候会发生错误,那么在这�U�架构下�~�程必须保证字节寚w��.其他�q�_��可能没有�q�种情况�Q�但是最常见的是如果不按照适合其��^台要求对数据存放�q�行寚w��Q�会在存取效率上带来损失。比如有些��^台每�ơ读都是从偶地址开始，如果一个int型（假设�?2位系�l�）如果存放在偶地址开始的地方�Q�那么一个读周期��可以读��32bit�Q�而如果存攑֜�奇地址开始的地方�Q�就需�?个读周期�Q��ƈ对两�ơ读出的�l�果的高低字节进行拼凑才能得到该32bit�? 据。显然在��d��效率上下降很多�?/p>

�?字节寚w��对程序的影响:

    先让我们看几个例子吧(32bit,x86环境,gcc�~�译�?:
讄��构体如下定义�Q?br />struct A
{
    int a;
    char b;
    short c;
};
struct B
{
    char b;
    int a;
    short c;
};
现在已知32位机器上各种数据�c�d��的长度如�?
char:1(有符��h��W�号�?
short:2(有符��h��W�号�?
int:4(有符��h��W�号�?
long:4(有符��h��W�号�?
float:4    double:8
那么上面两个�l�构大小如何�?
�l�果�?
sizeof(strcut A)��gؓ8
sizeof(struct B)的值却�?2

�l�构体A中包含了4字节长度的int一个，1字节长度的char一个和2字节长度的short型数据一�?B也一�?按理说A,B大小应该都是7字节�?br />之所以出��C��面的�l�果是因为编译器要对数据成员在空间上�q�行寚w��。上面是按照�~�译器的默认讄��q�行寚w��的结�?那么我们是不是可以改变编译器的这�U�默认对齐设�|�呢,当然可以.例如:
#pragma pack (2) /*指定�?字节寚w��*/
struct C
{
    char b;
    int a;
    short c;
};
#pragma pack () /*取消指定寚w��Q�恢复缺省对�?/
sizeof(struct C)值是8�?br />修改寚w��gؓ1�Q?br />#pragma pack (1) /*指定�?字节寚w��*/
struct D
{
    char b;
    int a;
    short c;
};
#pragma pack () /*取消指定寚w��Q�恢复缺省对�?/
sizeof(struct D)��gؓ7�?br />后面我们再讲�?pragma pack()的作�?

�?�~�译器是按照什么样的原则进行对齐的?

    先让我们看四个重要的基本概念�Q?br />1.数据�c�d��自��n的对齐��|��
对于char型数据，其自�w�对齐��gؓ1�Q�对于short型�ؓ2�Q�对于int,float,double�c�d��Q�其自��n寚w��gؓ4�Q�单位字节�?br />2.�l�构体或者类的自�w�对齐��|��其成员中自��n寚w��值最大的那个倹{�?br />3.指定寚w��?/font>�Q?pragma pack (value)时的指定寚w��值value�?br />4.数据成员、结构体和类的有效对齐��|��自��n寚w��值和指定寚w��g��的那个倹{�?br />�? 了这些��|��我们��可以很方便的来讨论具体数据�l�构的成员和其自�w�的寚w��方式。有效对齐值N是最�l�用来决定数据存攑֜�址方式的��|��最重要。有效对齐N�Q�就�? 表示“对齐在N上”，也就是说该数据的"存放起始地址%N=0".而数据结构中的数据变量都是按定义的先后顺序来排放的。第一个数据变量的起始地址��是�? 据结构的起始地址。结构体的成员变量要寚w��排放�Q�结构体本��n也要�Ҏ��自��n的有效对齐值圆�?��是�l�构体成员变量占用总长度需要是对结构体有效寚w��值的整数倍，�l�合下面例子理解)。这样就不能理解上面的几个例子的��g��?br />例子分析�Q?br />分析例子B�Q?br />struct B
{
    char b;
    int a;
    short c;
};
�? 设B从地址�I�间0x0000开始排放。该例子中没有定义指定对齐��|��在笔者环境下�Q�该值默认�ؓ4。第一个成员变量b的自�w�对齐值是1�Q�比指定或者默认指�? 寚w��?��，所以其有效寚w��gؓ1�Q�所以其存放地址0x0000�W�合0x0000%1=0.�W�二个成员变量a�Q�其自��n寚w��gؓ4�Q�所以有效对齐��g��?�Q? 所以只能存攑֜�起始地址�?x0004�?x0007�q�四个连�l�的字节�I�间中，复核0x0004%4=0,且紧靠第一个变量。第三个变量c,自��n寚w��gؓ 2�Q�所以有效对齐��g��?�Q�可以存攑֜�0x0008�?x0009�q�两个字节空间中�Q�符�?x0008%2=0。所以从0x0000�?x0009存放�? 都是B内容。再看数据结构B的自�w�对齐��gؓ其变量中最大对齐�?�q�里是b�Q�所以就�?�Q�所以结构体的有效对齐��g��?。根据结构体圆整的要求， 0x0009�?x0000=10字节�Q�（10�Q?�Q�％4�Q?。所�?x0000A�?x000B也�ؓ�l�构体B所占用。故B�?x0000�?x000B 共有12个字�?sizeof(struct B)=12;其实如果��p��一个就来说它已��满��_��节对齐了, 因�ؓ它的起始地址�?,因此肯定是对齐的,之所以在后面补充2个字�?是因为编译器��Z��实现�l�构数组的存取效�?试想如果我们定义了一个结构B的数�l?�? 么第一个结构�v始地址�?没有问题,但是�W�二个结构呢?按照数组的定�?数组中所有元素都是紧挨着�?如果我们不把�l�构的大��补充�ؓ4的整数�?那么下一个结构的起始地址��是0x0000A,�q�显然不能满��结构的地址寚w��?因此我们要把�l�构补充成有效对齐大��的整数�?其实诸如:对于char型数据，�? 自��n寚w��gؓ1�Q�对于short型�ؓ2�Q�对于int,float,double�c�d��Q�其自��n寚w��gؓ4�Q�这些已有类型的自��n寚w��g��是基于数�l�考虑�?�? 是因��些类型的长度已知�?所以他们的自��n寚w��g��已知了.
同理,分析上面例子C�Q?br />#pragma pack (2) /*指定�?字节寚w��*/
struct C
{
    char b;
    int a;
    short c;
};
#pragma pack () /*取消指定寚w��Q�恢复缺省对�?/
�W? 一个变量b的自�w�对齐��gؓ1�Q�指定对齐��gؓ2�Q�所以，其有效对齐��gؓ1�Q�假设C�?x0000开始，那么b存放�?x0000�Q�符�?x0000%1= 0;�W�二个变量，自��n寚w��gؓ4�Q�指定对齐��gؓ2�Q�所以有效对齐��gؓ2�Q�所以顺序存攑֜�0x0002�?x0003�?x0004�?x0005四个�q�箋字节中，�W�合0x0002%2=0。第三个变量c的自�w�对齐��gؓ2�Q�所以有效对齐��gؓ2�Q�顺序存�?br />�?x0006�?x0007中，�W�合 0x0006%2=0。所以从0x0000�?x00007共八字节存放的是C的变量。又C的自�w�对齐��gؓ4�Q�所以C的有效对齐��gؓ2。又8%2=0,C 只占�?x0000�?x0007的八个字节。所以sizeof(struct C)=8.

�?如何修改�~�译器的默认寚w��?

1.在VC IDE中，可以�q�样修改�Q�[Project]|[Settings],c/c++选项卡Category的Code Generation选项的Struct Member Alignment中修改，默认�?字节�?br />2.在编码时�Q�可以这样动态修改：#pragma pack .注意:是pragma而不是progma.

�?针对字节寚w��,我们在编�E�中如何考虑?

    如果在编�E�的时候要考虑节约�I�间的话,那么我们只需要假定结构的首地址�?,然后各个变量按照上面的原则进行排列即�?基本的原则就是把�l�构中的变量按照 �c�d��大小从小到大声明,��量减少中间的填补空�?�q�有一�U�就是�ؓ了以�I�间换取旉��的效�?我们昄��的进行填补空间进行对�?比如:有一�U��用空间换旉��? 法是昑ּ�的插入reserved成员�Q?br />         struct A{
           char a;
           char reserved[3];//使用�I�间换时�?br />           int b;
}

reserved成员�Ҏ��们的�E�序没有什么意�?它只是�v到填补空间以辑ֈ�字节寚w��的目�?当然即��不加�q�个成员通常�~�译器也会给我们自动填补寚w��,我们自己加上它只是�v到显式的提醒作用.

�?字节寚w��可能带来的隐�?

代码中关于对齐的隐患�Q�很多是隐式的。比如在强制�c�d��转换的时候。例如：
unsigned int i = 0x12345678;
unsigned char *p=NULL;
unsigned short *p1=NULL;

p=&i;
*p=0x00;
p1=(unsigned short *)(p+1);
*p1=0x0000;
最后两句代码，从奇数边界去讉K��unsignedshort型变量，昄��不符合对齐的规定�?br />在x86上，�c�M��的操作只会媄响效率，但是在MIPS或者sparc上，可能��是一个error,因�ؓ它们要求必须字节寚w��.

�?如何查找与字节对齐方面的问题:

如果出现寚w��或者赋值问题首先查�?br />1. �~�译器的big little端设�|?br />2. 看这�U�体�p�L��w�是否支持非寚w��讉K��
3. 如果支持看设�|�了寚w��与否,如果没有则看讉K��旉��要加某些�Ҏ��的修饰来标志其特�D�访问操作�?/p>

ARM下的寚w��处理
from DUI0067D_ADS1_2_CompLib

3.13 type qulifiers

有部分摘自ARM�~�译器文档对齐部�?/p>

寚w��的��?
1.__align(num)
   �q�个用于修改最高��别对象的字节边界。在汇编中��用LDRD或者STRD�?br />   ��p��用到此命令__align(8)�q�行修饰限制。来保证数据对象是相应对齐�?br />   �q�个修饰对象的命令最大是8个字节限�?可以�?字节的对象进�?字节
   寚w��,但是不能�?字节的对�?字节寚w��?br />   __align是存储类修改,他只修饰最高��c�d��对象不能用于�l�构或者函数对象�?br />
2.__packed
__packed是进行一字节寚w��
1.不能对packed的对象进行对�?br /> 2.所有对象的��d��讉K��都进行非寚w��讉K��
3.float及包含float的结构联合及未用__packed的对象将不能字节寚w��
4.__packed对局部整形变量无影响
5.强制由unpacked对象向packed对象转化是未定义,整�Ş指针可以合法�?br /> 义�ؓpacked�?br />     __packed int* p; //__packed int 则没有意�?br /> 6.寚w��或非寚w��d��讉K��带来问题
__packed struct STRUCT_TEST
{
char a;
int b;
char c;
} ;    //定义如下�l�构此时b的�v始地址一定是不对齐的
         //在栈中访问b可能有问�?因�ؓ栈上数据肯定是对齐访问[from CL]
//��下面变量定义成全局静态不在栈�?
static char* p;
static struct STRUCT_TEST a;
void Main()
{
__packed int* q; //此时定义成__packed来修饰当前q指向为非寚w��的数据地址下面的访问则可以

p = (char*)&a;
q = (int*)(p+1);

*q = 0x87654321;
/*
得到赋值的汇编指��o很清�?br />ldr      r5,0x20001590 ; = #0x12345678
[0xe1a00005]   mov      r0,r5
[0xeb0000b0]   bl       __rt_uwrite4 //在此处调用一个写4byte的操作函�?

[0xe5c10000]   strb     r0,[r1,#0]   //函数�q�行4�ơstrb操作然后�q�回保证了数据正��的讉K��
[0xe1a02420]   mov      r2,r0,lsr #8
[0xe5c12001]   strb     r2,[r1,#1]
[0xe1a02820]   mov      r2,r0,lsr #16
[0xe5c12002]   strb     r2,[r1,#2]
[0xe1a02c20]   mov      r2,r0,lsr #24
[0xe5c12003]   strb     r2,[r1,#3]
[0xe1a0f00e]   mov      pc,r14
*/

/*
如果q没有加__packed修饰则汇�~�出来指令是�q�样直接会导致奇地址处访问失�?br />[0xe59f2018] ldr r2,0x20001594 ; = #0x87654321
[0xe5812000] str r2,[r1,#0]
*/

//�q�样可以很清楚的看到非对齐访问是如何产生错误�?br />//以及如何消除非对齐访问带来问�?br />//也可以看到非寚w��讉K��和对齐访问的指��o差异��D��效率问题
}

erran 2007-10-16 22:56 发表评论

转：C++对象内存布局

erran — Sat, 13 Oct 2007 16:37:00 GMT

引用�Q�http://www.shnenglu.com/stdyh/archive/2007/01/08/17442.html

C++对象内存布局

写这个文章完全是因�ؓ惌��搞清�?vc 怎么布局每个 c++ 对象,以及怎样完成指针的�{换的�q�程.
　　先问一个问�?两个不同�c�d��的指针相互�{换以�?他们在数��g��是一��L��?比如:

　　　　int nValue = 10;
　　　　int *pInt = &nValue;
　　　　void *pVoid = pInt;
　　　　char *pChar = (char*)pInt;

　　�q�些指针的�?不是说指针指向的内存的内�?是一��L��? 如果你的回答�? yes,那如果是一个类的��承体�p�d��?在��承类向基�c��{换的�q�程�?指针的数��D��是不变化的么?如果你的回答�?不一定会变化,要看�cȝ��体系是怎么设计�? "的话,那恭喜你,不用看下��M��.如果你还不确定究竟变�q�是不变,�I�竟哪些�?哪些不变,�I�竟��Z��么要变�ؓ什么不变的�?接着看下�?

　　c++ 标准不规�?c++ 实现的时候的对象的具体的内存布局,除了在某些方面有��的限制以外,c++ 对象在内存里面的布局完全是由�~�译器自行决�?�q�里我也只是讨论 vc++ .net 2003 build 7.1.3091 的实现方�?我�ƈ没有�?vc5 vc6 vc.net 2002 以及其他�?2003 build 上面做过��试,�l�论也许不适合那些�~�译�q�_��.�q�些属于�~�译器具体实�?ms 保留有在不通知你我的情况下作出更改的权�?废话�q�么�?马上开�?

　　对于 c 的内建指针的转换,�l�果是不用多讨论�?我们只是讨论 c++ 的对�?从最��单的开�?

　　　　class CBase
　　　　{
　　　　public:
　　　　　　int m_nBaseValue;
　　　　};

　　�q�样的一个类在内存里攄��是非常简单的,他占�?�?bytes 的空�?不用多说,我们从他�z��一个类出来.

　　　　class CDerive1 : public CBase
　　　　{
　　　　public:
　　　　　　int m_nDerive1Value;
　　　　};

　　CDerive1 的对象在内存里面是怎么攄��? 也很��?占有8�?bytes 的空�?�?�?bytes 属于 CBase �c?后四�? bytes 属于自己.一个CDerive1 的指针�{换成一�?CBase 的指�?�l�果是一��L��.下面我们加上多重�l�承看看.

　　　　class CFinal : public CDerive,public CBase // �q�里�?CDerive 是一个和 CBase 差不多的基类
　　　　{
　　　　public:
　　　　　　int m_nFinalValue;
　　　　};

　　CFinal 的对象在内存里面的布局�E�微复杂一�?但是也很�Ҏ��惌��,他占�?12 �?bytes 的空�?�?个属�? CDerive,中间4个属�?CBase,后面4个才是自��q��.那一�?CFinal 的指针�{换成一�?CDerive 指针,数��g��变么? 转换成一�?CBase 指针�?又会变化�?�{�案�?前一个不�?后一个要变化,道理非常的明�?CFinal 对象的开头刚好是一�? CDerive 对象,�?CBase 对象却在 CFinal 对象的中�?自然是要变化的了,具体怎么变化�? �?4 ��? ok(自然要检查是否是�I�指�?.

　　　　CBase *pBase = pFinal ? (CBase*)((char*)pFinal + sizeof(CDerive)) : 0;// 当你写下 pBase = pFinal 的时�?其实是这��L��

　　�q�种不带 virtual 的��承就�q�么��?只是加上一�?offset 而已.下面我们看看如果加上 virtual function 的时候是什么样子的�?
�q�是从简单类开�?

　　　　class CBase
　　　　{
　　　　public:
　　　　　　virtual void VirtualBaseFunction(){}
　　　　　　int m_nBaseValue;
　　　　};

　　�q�里��L��没有使用 virtual destructor,因�ؓ�q�个函数�E�微有些不同.�q�是同样的问�?CBase �c�d��内存上占多大的空�?�q�是 4 bytes �? �{�案�?no, 在我的编译器上面�?8 bytes,多出来的 4 bytes �?__vfptr(watch �H�口看见的名�?,他是一个指�?指向了类�?vtable,那什么是 vtable �?他是用来�q�什么的�? vtable 是用来支�? virtual function 机制�?他其实是一个函数指针数�l?�q�不�{�同于c/c++语言里面的指针数�l?因�ؓ他们的类型�ƈ不一定是一��L��.)他的每一个元素都指向了一个你定义�? virtual function,�q�样通过一个中间层来到辑֊�态连�~�的效果,�q�些指针是在�E�序�q�行的时候准备妥当的,而不是在�~�译的时候准备妥当的,�q�个��是动态联�~�的目的,具体是由谁来讄��q�些指针的呢?constructor/destructor/copy constructor/assignment operator他们完成�?不用奇�?�~�译器会在你写的�q�些函数里面安插些必要的代码用来讄�� vtable 的�?如果你没有写�q�些函数,�~�译器会在适当的时候帮你生成这些函�?明白一�? vtable 是用来支�?virtual function 机制�?而需�?virtual 机制的类基本上都会由一�?__vfptr 指向他自��q�� vtable.在调�?virtual function的时�?�~�译器这样完�?

　　　pBase->VirtualBaseFunction(); => pBase->__vfptr[0]();// 0 是你的virtual function �?vtable 中的 slot number,�~�译器决�?/font>

　　现在应该很想�?CBase 的大��了�?那这�?__vfptr 是放��C��么位�|�的�? �?m_nBaseValue 之前�q�是之后�? 在我的编译器上看�?是在之前,��Z��么要攑ֈ�之前,是因为在通过指向�c�L��员函数的指针调用 virtual function 的时候能��些代码(指汇�~�代�?,�q�个原因�q�里��׃��深入讨论�?有兴��的同学可以看看 inside the c++ object model 一�?
　　接下�?我们加上�l�承来看�?

　　　　class CDerive1 : public CBase
　　　　{
　　　　public:
　　　　　　virtual void VirtualDerive1Function();
　　　　};

　　�q�个时候你也许要说,内存布局跟没�?virtual 是一��L��,只不�q�每个类多了一�?__vfptr 而已,�?..�q�个是不对的,在我的编译器上面两个�c�d��享同一�?__vfptr, vtable 里面放有两个指针,一个是两个�c�d��享的,一个只属于 CDerive1 �c?调用的时候如何呢?

　　　pDerive1->VirtualDerive1Function() => pDerive1->__vfptr[1]();
　　　pDerive1->VirtualBaseFunction() => pDerive1->__vfptr[0]();

　　至于指针的相互�{�?数��D��是没有变化的(也正是追求这�U�效�?所以把 __vfptr 攑ֈ��cȝ��开�?因�ؓ调整 this 指针也是要占有运行时的时间的).

　　现在加上多重�l�承瞧瞧,代码我不写上来了,��p��上面�?CFinal, CDerive, CBase 体系一�?只是每个�c�d��一个VirtualxxxFunction出来,�q�个时候的指针调整�q�是没有什么变�?所以我们只是看�?vtable 的情�?你会�?CDerive �?CFinal �׃�n一�?__vfptr,�?CBase 有一个自��q�� __vfptr,�?CFinal �? __vfptr �?2 个slot,�q�个�l�论是正��的. 同时你也会说通过 CFinal �c�调�?CBase 的函数是要进行指针调整的,yes you'r right,不仅仅是 this 指针调整(�?this 指针会成�?function 的一个参�?,�q�要调整 vtable 的�?

　　　pFinal->VirtualBaseFunction() => (CBase*)((char*)pFinal + sizeof(CDerive))->__vfptr[0]();

　　　转换�?asm 的代码大�U�是�q�样�?

　　　mov eax,[pFinal] ; pFinal is a local object,pFinal will be epb - xx
　　　add eax,8 ; 8 = sizeof(CDerive)
　　　mov ecx,eax ; ecx is this pointer
　　　mov edx,[eax] ; edx = vtable address
　　　call [edx] ; call vtable[0]

　　写到�q�里也就明白this指针是怎么调整�?�?virtual function 的��承也不复�?this指针调整也是很简单的,下面看最复杂的部�?virtual inheritance.

　　我的�~�译器支持虚拟��承的方式和虚函数的方式差不多,都是通过一�?table 完成,只是�q�个��q��不到 vc 赋予的名字了,我们叫他 vbtable �?�~�译器同样在�c�里面加入一个指�?vbtable 的指�?我们叫他 __vbptr �?�q�个指针指向�?vbtable ,�? vbtable 里面的每一��对应了一个基�c?vbtable 记录了每个基�cȝ��某一个偏�U�量,通过�q�个偏移量就能计��出具体�cȝ��指针的位�|?看个��单的例子:

　　　class CBase
　　　{
　　　public:
　　　　　virtual ~CBase(){}
　　　};

　　　class CMid1 : public virtual CBase
　　　{
　　　public:
　　　　　virtual ~CMid1(){}
　　　　　int m_nMid1;
　　　};

　　　class CMid2 : public virtual CBase
　　　{
　　　public:
　　　　　virtual ~CMid2(){}
　　　　　int m_nMid2;
　　　};

　　　class CFinal : public CMid1,public CMid2
　　　{
　　　public:
　　　　　virtual ~CFinal(){}
　　　　　int m_nFinal;
　　　};

　　　CFinal final;
　　　CFinal *pFinal = &final; // pFinal = 0x0012feb4;
　　　CBase *pBase = pFinal; // pBase = 0x0012fec8 = pFinal + 0x14;
　　　CMid1 *pMid1 = pFinal; // pMid1 = 0x0012feb4 = pFinal;
　　　CMid2 *pMid2 = pFinal; // pMid2 = 0x004210b4 = pFinal;

　　�l�果让你吃惊�? 最奇怪的地方居然�?CMid2 �?CMid1 的地址居然是一��L��,�q�个是因�?vc �?vbtable 攑ֈ��? CFinal �cȝ��开头的原因,而CMid1 �?CMid2 也同栯��使用�q�个 vbtable, 所�?�q�个三个的地址也就必须相同�?�? CBase 的地址是怎么出来的呢? �?..刚刚我们说了 vbtable 攑ֈ�了CFinal 的开�?vc 一定会攑֜�开头吗?�{�案是不一�?�q�个�E�后解释).在我的机器上�?final 对应内存的第一�?dword �? 0x00426030,查看�q�个地址,�W�一个dword �?0 ,�W�二个就�?0x14,刚好�?pBase 的偏�Uȝ��?�q�个只是巧合,也许你换个类的��承体�p�d��完全不同�?但是我只是想说明一�?基类的偏�U�计��是�?vbtable 的值相兌��?下面我们��来看看 vc 是怎么计算�q�些偏移�?
　　vc 在分析我们的代码的时�?生成了一份类的��承体�p�M��?其中有一个叫 thisDisplacement 的_PMD�l�构:

　　　　struct _PMD // total undocumented
　　　　{
　　　　　　int mdisp; // i think the meaning is Multiinheritance DISPlacement
　　　　　　int pdisp; // Pointer to vbtable DISPlacement
　　　　　　int vdisp; // Vbtable DISPlacement
　　　　};

　　�l�构的名字和成员变量的名字确��实实是 vc 的名�?�?watch �H�口输入 (_PMD*)0 ��p��看到�q�个�l�构的详�l�信�?,每个字段的含义却是我自己猜测出来�?mdisp 大概用来表示多重�l�承(包括单一�l�承)的时候的偏移�?pdisp 表示 vbtable 的偏�U�量,�?vdisp 表示�c�d�� vbtable 里面的下�?那么有了�q�个�l�构怎样才能完成指针的�{换呢?假如我们有一个派生类指针 pFinal,要�{换成一个特定的基础�c?我们首先要知道和�q�个基类对应�?_PMD �l�构的信�?�q�个信息的获�?我暂时没有找��C��个非常方便的�Ҏ��,现在我��用的�Ҏ��下面会有描述),有了�q�个信息以后,转换��方便了.首先扑ֈ� vbtabel 的地址 *(pFinal + pdisp),然后扑ֈ�基类的偏�U?*(*(pFinal + pdisp) + vdisp) �q�个偏移值是相对vbtable�?所以还要加�?vbtable的偏�U?最后加�?mdisp的偏�U?如下:

　　char *pFinal = xxx; // need a init value
　　char *pBase; // we must calc
　　pBase = pFinal + mdisp + *(int *)(*(int *)(pFinal + pdisp) + vdisp) + pdisp;

　　注意: �?pdisp < 0 的时候就表示�q�个�c�L��?vbtable 直接使用 pFinal + mdisp ��得到结果了.
　　所以这个结构是一个通用的结�?专门用作�c�d��转换,不管是有无虚�l�承都能使用�q�个�l�构�q�行�c�d��转换.
　　通过�q�个�l�构,我们也能看到 vc 是怎样布局�q�个 object �?

　　看到�q�里,也许你要大呼一口气,妈妈呀,一个类型�{换要�q�么的麻烦吗?我直接写 pBase = pFinal 不就可以了吗? 恭喜你还没有被我忽悠得晕头�{�?哈哈.其实你写下那行语句的时�?�~�译器在帮你做这个�{�?大约生成下面的代�?br />
　　　　mov eax,[pFinal] ;final address
　　　　mov ecx,[eax] ; vbtable address *(int *)(pFinal + pdisp)
　　　　mov edx,eax ; save to edx
　　　　add edx,[ecx + 4] ; ecx + 4 is (*(int *)(pFinal + pdisp) + vdisp)
　　　　mov [pBase],edx ; edx = pFinal + mdisp + *(int *)(*(int *)(pFinal + pdisp) + vdisp) + pdisp;
　　　　; here mdisp = 0, pdisp = 0, vdisp = 4

　　也许你要说了,我要�q�些东西来干什�?要�{换的时候直接�{换就好了,�~�译器会帮做,的确,大多数的时候确实是�q�样,但是,在某些时候却�q�不如此,现在�? 要实��C��个功�?输入一个指�?输入一�?_PMD �l�构,你要实现一个AdjustPointer 的函数来生成另一个指�?�q�个时候你也只能这样完成了,因�ؓ我没有给你两个指针的名字,��q��l�了你字�W�串形式的名字也没有�?�?...你也�怼��?办法是有�?的确是有,模板��p��实现�q�种功能,�?.�q�个我们暂时不讨论具体的实现�l�节.也许你要问了,�I�竟什么时候会��d��现这�U�听都没有听�q�的功能,其实�q? 个函数是真正存在�?只不�q�不是由你来实现�?而是 ms 的�h实现�?你只用写一�?带有 c++ 异常的程�?使用 ida 反汇�~?然后查找函数,��p��扑ֈ��q�个函数�?他用来在异常处理时创�?catch 所需要的 object.至于�q�个详细的信�?��h��?我会最快速度写出关于 vc 是怎样实现 c++ 异常的文章来.

　　最后了,说说那个 _PMD �l�构的获取方�?看的时候不要吃�?�Ҏ��比较的麻�?比如我想知道�?CFinal �cȝ��关的 _PMD 信息,先新建工�?写下 throw pFinal �q�样的语�?�~�译,在这个语句的地方讄��断点,�q�行,转到反汇�~?�q�入 __CxxThrowException@8 函数,�q�个时候不出意外你能看��C��个叫 pThrowInfo 的东�?如果看不�?��h��开"昄��W�号�?选项),�?watch �H�口里面输入pThrowInfo,展开�?看到一个pCatchableTypeArray,记录下他�? nCacthableTypes的�?然后�?watch 里面输入
pThrowInfo->pCatchableTypeArray->arrayOfCatchableTypes[0] �?pThrowInfo->pCatchableTypeArray->arrayOfCatchableTypes[n], n ��是你刚刚记录的值减1,再展开他们,你就能看��C��?thisDisplacement 的数�?�l�箋展开��是 mdisp �{�等�?很是�ȝ��?�?.你已�l�猜��C��,�q�个是和异常有关�pȝ��.

　　后记: �q�段旉��,我一直在��M��反汇�~�之后的代码,也颇有些心得,所以才有想法写一些文�?探讨 vc �~�译器鲜��Z�h�?太过狂妄�?的秘�?�q�个斚w��的文章也有�h写过,那些文章也给我不��的启发,我不认�ؓ自己是第一个发现这些秘密的�?但是臛_��我自��q��? �?我是�W�一个把�q�些东西写出来的�?文章里面作墨多的部分都是自己发现�?��p��个文章里面的内容来说,inside the c++ object model 是有比较详细的描�?但是他�ƈ不是转换针对 vc �q�个�~�译器的实现,�?_PMD �q�个�l�构我也没有在什么地方见有�h描述�q?只是�? windows develop network �?002�q?2月的杂志上看有�h提到�q�这个结�?可惜他却没有了解(臛_��他在他发表文章的时候是如是说的)�q�个�l�构的用�?正是因�ؓ�q�个原因,我才有写 �q�个文章以及后箋文章的冲�?.所�?�q�个文章也算是我自己的原创吧.�q�个文�g虽然和游戏制造没有太大的关系,但是��?T 自视清高,不愿意自��q��文章被一帮不懂的��h��评�h�ȝ��,所以也没有发到那些著名�?xxx �|�站,只发 goldpoint.转蝲��h��明出�?��?T 对自��q��W�一个原创文章比较珍�?比较重视,谢谢).

erran 2007-10-14 00:37 发表评论

erran — Sat, 13 Oct 2007 16:33:00 GMT

引用�Q�http://www.shnenglu.com/oosky/archive/2007/01/08/17422.html

函数调用规范

当高�U�语�a�函数被编译成机器码时�Q�有一个问题就必须解决�Q�因为CPU没有办法知道一个函数调用需要多��个、什么样的参数。即计算��Z��知道怎么�l�这个函��C��递参敎ͼ�传递参数的工作必须由函数调用者和函数本��n来协�?/font>。�ؓ此，计算机提供了一�U�被�U�Cؓ栈的数据�l�构来支持参��C��递�?

函数调用�Ӟ��调用者依�ơ把参数压栈�Q�然后调用函敎ͼ�函数被调用以后，在堆栈中取得数据�Q��ƈ�q�行计算。函数计��结束以后，或者调用者、或者函数本�w�修改堆栈，使堆栈恢复原装。在参数传递中�Q�有两个很重要的问题必须得到明确说明�Q?/p>

1) 当参��C��数多于一个时�Q�按照什么顺序把参数压入堆栈�Q?br />2) 函数调用后，��p��来把堆栈恢复原装�?br />3�Q�函数的�q�回值放在什么地�?/font>

在高�U�语�a�中，通过函数调用规范(Calling Conventions)来说明这两个问题。常见的调用规范有：

stdcall
cdecl
fastcall
thiscall
naked call

stdcall调用规范

stdcall 很多时候被�U�Cؓpascal调用规范�Q�因为pascal是早期很常见的一�U�教学用计算机程序设计语�a��Q�其语法严�}�Q��用的函数调用�U�定是stdcall�? 在Microsoft C++�p�d��的C/C++�~�译器中�Q�常常用PASCAL宏来声明�q�个调用�U�定�Q�类似的宏还有WINAPI和CALLBACK�?

stdcall调用规范声明的语法�ؓ�Q?/p>

int __stdcall function(int a,int b)

stdcall的调用约定意味着�Q?

 1�Q�参��C��叛_��左压入堆栈；
 2�Q�函数自�w�修改堆栈；
 3) 函数名自动加前导的下划线�Q�后面紧跟一个@�W�号�Q�其后紧跟着参数的尺寸�?/font>

以上�q�这个函��Cؓ例，参数b首先被压栈，然后是参数a�Q�函数调用function(1,2)调用处翻译成汇编语言��变成：

  push 2          �W�二个参数入�?br />              push 1          �W�一个参数入�?br />              call function   调用参数�Q�注意此时自动把cs:eip入栈

而对于函数自�w�，则可以翻译�ؓ�Q?

      push  ebp               保存ebp寄存器，该寄存器���用来保存堆栈的栈顶指针�Q�可以在函数退出时恢复
              mov   ebp,esp           保存堆栈指针
              mov   eax,[ebp + 8H]    堆栈中ebp指向位置之前依次保存有ebp,cs:eip,a,b,ebp +8指向a
              add   eax,[ebp + 0CH]   堆栈中ebp + 12处保存了b
              mov   esp,ebp           恢复esp
              pop   ebp
              ret   8

而在�~�译�Ӟ��q�个函数的名字被��译成_function@8

注意不同�~�译器会插入自己的汇�~�代码以提供�~�译的通用性，但是大体代码如此。其中在函数开始处保留esp到ebp中，在函数结束恢复是�~�译器常用的�Ҏ��?

从函数调用看�Q?�?依次被push�q�堆栈，而在函数中又通过相对于ebp(卛_��q�函数时的堆栈指针）的偏�U�量存取参数。函数结束后�Q�ret 8表示清理8个字节的堆栈�Q�函数自己恢复了堆栈�?

cdecl调用规范

cdecl调用�U�定又称为C调用�U�定�Q�是C语言�~�省的调用约定，它的定义语法是：

              int function (int a ,int b)           // 不加修饰���是C调用�U�定
              int __cdecl function(int a,int b)     // 明确指出C调用�U�定

cdecl调用�U�定的参数压栈顺序是和stdcall是一��L��Q�参数首先由有向左压入堆栈。所不同的是�Q�函数本�w�不清理堆栈�Q�调用者负责清理堆栈。由于这 �U�变化，C调用�U�定允许函数的参数的个数是不固定的，�q�也是C语言的一大特艌Ӏ�对于前面的function函数�Q��用cdecl后的汇编码变成：

调用�?br />              push   1
              push   2
              call   function
              add    esp,8              注意�Q�这里调用者在恢复堆栈
              被调用函数_function�?br />              push   ebp                保存ebp寄存器，该寄存器���用来保存堆栈的栈顶指针�Q�可以在函数退出时恢复
              mov    ebp,esp            保存堆栈指针
              mov    eax,[ebp + 8H]     堆栈中ebp指向位置之前依次保存有ebp,cs:eip,a,b,ebp +8指向a
              add    eax,[ebp + 0CH]    堆栈中ebp + 12处保存了b
              mov    esp,ebp            恢复esp
              pop    ebp
              ret                       注意�Q�这里没有修改堆�?/font>

MSDN中说�Q�该修饰自动在函数名前加前导的下划线�Q�因此函数名在符可��中被记录为_function�?

�׃��参数按照从右向左��序压栈�Q�因此最开始的参数在最接近栈顶的位�|�，因此当采用不定个数参数时�Q�第一个参数在栈中的位�|�肯定能知道�Q�只要不定的参数个数能够�Ҏ��W�一个后者后�l�的明确的参数确定下来，��可以��用不定参敎ͼ�例如对于sprintf函数�Q�定义�ؓ�Q?/p>

int sprintf(char* buffer,constchar* format,...)

�׃��所有的不定参数都可以通过format��定�Q�因此��用不定个数的参数是没有问题的�?

fastcall调用规范

fastcall调用�U�定和stdcall�c�M��Q�它意味着�Q?

            1) 函数的第一个和�W�二个DWORD参数�Q�或者尺寸更���的�Q�通过ecx和edx传递，其他参数通过从右向左的顺序压栈；
            2) 被调用函数清理堆栈；
            3) 函数名修改规则同stdcall�?/font>

其声明语法�ؓ�Q�int __fastcall function(int a,int b)

thiscall调用规范

thiscall是唯一一个不能明��指明的函数修饰�Q�因为thiscall不是关键字。它是C++�c�L��员函数缺省的调用�U�定。由于成员函数调用还有一个this指针�Q�因此必��ȝ��D�处理，thiscall意味着�Q?

            1) 参数从右向左入栈�Q?br />            2) 如果参数个数���定�Q�this指针通过ecx传递给被调用者；如果参数个数不确定，this指针在所有参数压栈后被压入堆栈；
            3) 对参��C����C��定的�Q�调用者清理堆栈，否则函数自己清理堆栈�?/font>

��Z��说明�q�个调用�U�定�Q�定义如下类和��用代码：


class A
            {
public:
int function1(int a,int b);
int function2(int a,...);
            };
int A::function1 (int a,int b)
            {
return a+b;
            }
int A::function2(int a,...)
            {
va_list ap;
            va_start(ap,a);
int i;
int result = 0;
for(i = 0 ; i < a ; i ++)
            {
            result += va_arg(ap,int);
            }
return result;
            }
void callee()
            {
            A a;
            a.function1(1,2);
            a.function2(3,1,2,3);
            }

callee函数被翻译成汇编后就变成�Q?

// 函数function1调用
              0401C1D    push        2
              00401C1F   push        1
              00401C21   lea         ecx,[ebp-8]
              00401C24   call   function1             注意�Q�这里this没有被入�?br />              // 函数function2调用
              00401C29   push        3
              00401C2B   push        2
              00401C2D   push        1
              00401C2F   push        3
              00401C31   lea         eax,[ebp-8]      �q�里引入this指针
              00401C34   push        eax
              00401C35   call   function2
              00401C3A   add         esp,14h

可见�Q�对于参��C��数固定情况下�Q�它�c�M��于stdcall�Q�不定时则类似cdecl

naked call调用规范

�q�是一个很��见的调用约定，一般程序设计者徏议不要��用。编译器不会�l�这�U�函数增加初始化和清理代码，更特�D�的是，不能用return�q�回�q�回��|��只能用插入汇�~�返回结果。这一般用于实模式驱动�E�序设计�Q�假讑֮�义一个求和的加法�E�序�Q�可以定义�ؓ�Q?

 __declspec(naked) int  add(int a,int b)
               {
                   __asm mov eax,a
                   __asm add eax,b
                   __asm ret
               }

注意�Q�这个函数没有显式的return�q�回��|��q�回通过修改eax寄存器实玎ͼ�而且�q�退出函数的ret指��o都必��L��式插入。上面代码被��译成汇�~�以后变成：

   mov    eax,[ebp+8]
   add    eax,[ebp+12]
   ret    8

注意�q�个修饰是和__stdcall及cdecl�l�合使用的，前面是它和cdecl�l�合使用的代码，对于和stdcall�l�合的代码，则变成：

 __declspec(naked) int __stdcall function(int a,int b)
               {
                   __asm mov eax,a
                   __asm add eax,b
                   __asm ret 8//注意后面�?
               }

至于�q�种函数被调用，则和普通的cdecl及stdcall调用函数一致�?

函数调用�U�定��D��的常见问�?/font>

如果定义的约定和使用的约定不一��_��则将��D��堆栈被破坏，��D��严重问题�Q�下面是两种常见的问题：

1) 函数原型声明和函��C��定义不一�?br />            2) DLL导入函数时声明了不同的函数约�?/font>

erran 2007-10-14 00:33 发表评论

erran — Sat, 13 Oct 2007 16:14:00 GMT

C++资源之不完全导引�Q�完整版�Q?/font>

C++资源之不完全导引�Q�完整版�Q?/p>

来源�Q?a >www.csdn.net

撰文�Q�曾毅、陶�?/p>

声明�Q�本�?004�q?月首发于《CSDN开发高手》，版权归该杂志与《程序员》杂志社
所有�?/p>

------------------------------------------------------------------------
--------

　　1�Q�前�a�

　　无数�ơ听到“我要开始学习C++!”的呐喊�Q�无数次听到“C++太复杂了�Q�我真的
学不会”的无奈。Stan Lippman先生曑֜�《C++ Primer》一书中指出“C++是最为难
学的高��E�序设计语言之一”，��Z��常将“之一”去掉以表达自己对C++的敬畏。诚
�Ӟ��C++�E�序设计语言对于学习者的��有很多难以逾越的�`沟，体系�l�构的庞大，�?br />接不暇�ƈ不断扩充的特性……除此之外，参考资料之多与冗杂使它的学习者望而却
步，�Ʋ求深入者苦不堪�a�。希望这一份不完全导引能够成�ؓ您C++学习之�\上的引�\
灯�?/p>

　　撰写本文的初衷�ƈ不打��带领大家体验古老的C++历史�Q�如果你想了解C++的历
史与其前期发展中诸多技术的演变�Q�你应当��d��考Bjarne的《The Design and Evo
lution of C++》。当然也不打��给大家一个无所不包的宝典（�q��不想�Q�其一是因
水��^有限�Q�其二无奈C++之博大精深）�Q�所�l�出的仅仅是一些我们认为对于想学习C
++的广大读者来说最重要�q�且触手可及的开发与学习资源�?/p>

　　本文介绍�q�分析了一些编译器�Q�开发环境，库，��量的书�c�以及参考网站，�q?br />且尽可能��试着�l�出一个利用这些资源的导引�Q�望对如同我们一��L��初学者能够有
所裨益�?/p>

------------------------------------------------------------------------
--------

　　2�Q�编译器

　　在C++之外的�Q何语�a�中，�~�译器都从来没有受到�q�如此之重视。因为C++是一
门相当复杂的语言�Q�所以编译器也难于构建。直到最�q�我们才开始能够��用上完全
�W�合C++标准的编译器�Q�哦�Q�你可能会责怪那些编译器厂商不能��早的提供符合标�?br />的编译器�Q�这只能怪他们各自维�pȝ��自��n的一套别��Z��愿接受的标准�Q�。什么？�?br />说这无关紧要�Q�哦�Q�不�Q�你所需要的是和标准化C++高度兼容的编译环境。长�q�来�?br />�Q�只有这��L��~�译器对C++开发�h员来说才是最有意义的工具�Q�尤其是对于�E�序设计
语言的学习者。一��x��让代码具备可移植性，�q�让一门语�a�及其库的应用更�ؓ�q�泛
。嗯�Q�是的，我们�q�里只打��介�l�一些公认的优秀�~�译器�?/p>

　　2.1 Borland C++

　　�q�个是Borland C++ Builder和Borland C++ Builder X�q�两�U�开发环境的后台
�~�译器。（哦，我之所以将之分��Z��U�开发环境你应当能明白�ؓ什么，正如Delphi
7到Delphi8的�{变，是革命性的两代。）Borland C++��p��牌开发工具厂商Borland
們֊�打造。该公司的编译器素以速度快，�I�间效率高著�U�ͼ�Borland C++ �p�d��~�译
器秉承了�q�个传统�Q�属于非�怼�质的�~�译器。标准化斚w��早在5.5版本的编译器中对
标准化C++的兼容就辑ֈ��?2.73%。目前最新版本是Borland C++ Builder X中的6.
0版本�Q�官方称100%�W�合ANSI/ISO的C++标准以及C99标准。嗯…这正是我前面所指的
“完全符合C++标准的编译器”�?/p>

　　2.2 Visual C++

　　�q�个正是我们熟知的Visual Studio �?Visual Studio.net 2002, 2003以及2
005 Whidbey中带的C++�~�译器。由Microsoft公司研制。在Visual Studio 6.0中，
因�ؓ�~�译器有太多地方不能与后来出现的C++标准相吻合而饱受批评（��x��你在使用
STL的时候编译时报出的那些��o人厌恶的error和warning吧）。VC++6.0�Ҏ��准化C+
+的兼容只�?3.43%。但是随着C++�~�译器设计大师Stanley Lippman以及诸多C++�C?br />��达人的加盟�Q�在Visual Studio.NET 2003中，Visual C++�~�译器已�l�成��Z��个非
常成熟可靠的C++�~�译器了。Dr.Dobb's Journal的评��显�C�Visual C++7.1�Ҏ��准C
++的兼�Ҏ��高�?8.22%�Q�一度成为CBX之前兼容性最好的�~�译器。结合强大的Visua
l Studio.NET开发环境，是一个非�怸�错的选择。至于Whidbey时代的Visual C++,
��g��微��Y所最��x��的是C++/CLI……我们不惌��论微软下一代的C++�~�译器对标准�?br />兼容如何�Q�但他确实越来越适合.NET (其实你和我的感觉可能是一��L��Q�微软不�?br />当把标准C++�q�块肥肉丢给Borland,然而微软可能�ƈ不这栯��?�?/p>

　　2.3 GNU C++

　　著名的开源C++�~�译器。是�c�Unix操作�pȝ��下编写C++�E�序的首选。特�Ҏ��有非
常好的移植性，你可以在非常�q�泛的��^��C��使用它，同时也是�~�写跨��^収ͼ�嵌入�?br />�E�序很好的选择。另外在�W�合标准�q�个斚w��一直都非常好，GCC3.3大概能够辑ֈ�96
.15%。但是由于其跨��^台的�Ҏ��，在代码尺寔R��度�{�优化上略微差一炏V�?/p>

　　��Z��GNU C++的编译器有很多，比如�Q?/p>

　　(1) Mingw

　　http://www.mingw.org/

　　GCC的一个Windows的移植版本（Dev-C++的后収ͼ�

　　(2) Cygwin

　　http://sources.redhat.com/cygwin/

　　GCC的另外一个Windows�U�L��版本是Cygwin的一部分�Q�Cygwin是Windows下的一�?br />Unix仿真环境。严格的说是模拟GNU的环境，�q�也��是"Gnu's Not Unix"要表辄��?br />思，噢，扯远了，�q��ƈ不是我们在这里关心的实质内容�?/p>

　　(3) Djgpp

　　http://www.delorie.com/djgpp/

　　�q�是GCC的DOS�U�L��版本�?/p>

　　(4) RSXNT

　　http://www.mathematik.uni-bielefeld.de/~rainer/

　　�q�是GCC的DOS和Windows�U�L��版本�?/p>

　　(5) Intel C++

　　著名CPU刉��厂商Intel出品的编译器�Q�Special Design for Intel x86�Q�对�?br />Intel x86�l�构的CPU�l�过特别的优化。在有些应用情况下，特别是数��D��等高�?br />能应用，仅仅采用Intel的编译器�~�译��p��大幅度的提高性能�?/p>

　　(6) Digital Mars C++

　　�|�络上提供免费下载，Zortech/Symantec C++的��承者，其前�w�在当年惨烈�?br />C++四国战中也是主角之一�?/p>

------------------------------------------------------------------------
--------

　　3�Q�开发环�?/p>

　　开发环境对于程序员的作用不�a�而喻。选择自己朝夕相处的环境也不是�Ҏ��?br />事情�Q�特别是在IDE如此丰富的情况下。下面就是我们推荐的一些常见的C++开发环
境，�q�没有包括一些小型的�Q�罕见的IDE。其中�Q何一��N��是功能丰富，可以用作�?br />常开发��用的。对于不同层面的开发者，请参见内文关于适用对象的描�q��?/p>

　　3.1 Visual Studio 6.0

　　�q�个虽然是Microsoft公司的老版本的开发环境，但是鉴于其后�l�版本Visual
Studio.NET的庞大��n�w�，以及初学者�ƈ不那么高的功能要求，所以推荐这个开发环
境给C++的初学者，供其学习C++的最基本的部分，比如C的那部分子集�Q�当然你别指
望他能够支持最新的C99标准。在日常的开发中�Q�仍然有很多公司使用�q�个�l�典�E�_��
的环境，比如�W�者就看曾亲见有些公司��其�~�译器替换�ؓGCC做手机开发之用�?/p>

　　3.2 Visual Studio.NET 2003

　　作�ؓMicrosoft公司官方正式发布的最新版本开发环境，其中有太多激动�h心的
功能。结合其最新的C++�~�译器。对于机器配�|�比较好的开发�h员来��_��使用�q�个开
发环境将能满��_��大部分的要求。这里不打算单独说Visual Studio Whidbey,虽然
Visual Studio .NET 2005 - Whidbey�C�֌�预览版已�l�推出，但暂不是很稳定，读�?br />可以亲��n��M��验�?/p>

　　3.3 Borland C++ Builder 6

　　�q�个�q�不是Borland的C++开发环境的最新版本。选择它的原因是它不是用Java
写的IDE�Q�速度比较快。它有一个很完善的GUI�H�体设计器，和Delphi��q��一个VCL�?br />�׃��q�些特点�Q�比较适合初学者上手。但是由于其GUI的中心位�|�，可能不利于对�?br />C++语言的学习。而且其�ؓ了支持VCL�q�个Object Pascal写的库也对C++�q�行了一�?br />�U�有的扩充。��得�h们有一个不得不接受的事实：“Borland C++ Builder 6的高�?br />几乎都是Delphi高手”�?/p>

　　3.4 Borland C++ Builder X

　　正如前文所�q�ͼ�虽然版本号上和前面那个IDE非常相象�Q�但是其实它们是完全�?br />同的两个集成开发环境。C++Builder更多的是一个和Delphi同步的C++版本的开发环
境，C++BuilderX则是完全从C++的角度思考得出的一个功能丰富的IDE。其最大的�?br />�Ҏ��跨��^収ͼ�跨编译器�Q�多�U�Framework的集成，�q�且有一个WxWindows为基��的GU
I设计器。尤其是采用了纯C++来重写了整个Framework,摒弃了以前��o人无奈的版本
。对于C++的开发来��_��从编译器�Q�到库，到功能集成都是非常理想的。可以预见，
Borland C++ Builder X 2.0很值得C++爱好者期待。唯一令�h隑֠�之处是作��Z��?br />C++的开发工��P��其IDE是用Java写的�Q�在配置不够理想的机器上��h��重考虑再安�?br />�?/p>

　　3.5 Emacs + GCC

　　前面讲的大部分是Windows环境下的集成开发环境。Linux上的开发者更們֐��?br />使用Emacs来编辑C++的文�Ӟ��用Makefile来命令GCC做编译。虽然看上去比较松散�Q?br />但是�q�些东西�l�合��h��q�是一个开0发环境。如果你能够娴熟的��用这��L��环境写程
序，你的水��^应该��_��指导我们来写�q�篇陋文了�?/p>

　　3.6 Dev C++

　　GCC是一个很好的�~�译器。在Windows上的C++�~�译器一直和标准有着一�D�距��ȝ��
时候，GCC��是一个让Windows下开发者流口水的编译器。Dev-C++��是能够让GCC�?br />在Windows下的工具�Q�作为集成开发环境，�q�提供了同专业IDE相媲��的语法高亮�Q?br />代码提示�Q�调试等功能。由于��用Delphi开发，占用内存��，速度很快�Q�比较适合
轻量�U�的学习和��用�?/p>

　　3.7 Eclipse + CDT

　　Eclipse可是�q�来大名鼎鼎的开发工兗��最��C��期的Jolt大奖��颁�l�了�q�个杰出
的神物。说其神奇是因�ؓ�Q�它本��n是用Java写的�Q�但是拥有比一般Java写的�E�序�?br />得多的速度。而且因�ؓ其基于插件组装一切的原则�Q��得能够有CDT�q�样的插件把E
clipse变成一个C/C++的开发环境。如果你一直用Eclipse写Java的程序，不妨用它
体验一下C++开发的乐趣�?/p>

------------------------------------------------------------------------
--------

　　4�Q�工�?/p>

　　C++的辅助工��L��多，我们分门别类的�ؓ大家作介�l�：

　　4.1 文档�c?/p>

　　(1) Doxygen

　　参考站点：http://www.doxygen.org

　　Doxygen是一�U�适合C风格语言�Q�如C++、C、IDL、Java甚至包括C#和PHP�Q�的�?br />开放源码的、基于命令行的文档��生器�?/p>

　　(2) C++2HTML

　　参考站点：http://www.bedaux.net/cpp2html/

　　把C++代码变成语法高亮的HTML

　　(3) CodeColorizer

　　参考站点：http://www.chami.com/colorizer/

　　它能把好几种语言的源代码着色�ؓHTML

　　(4) Doc-O-Matic

　　参考站点：http://www.doc-o-matic.com/

　　Doc-O_Matic��Z��的C/C++�Q�C++.net�Q�Delphi/Pascal, VB.NET�Q�C#和Java�E�序
或者组件��生准��的文档。Doc-O-Matic使用源代码中的符号和注释以及外部的文�?br />文�g创徏与流行的文档样式一致的文档�?/p>

　　(5) DocVizor

　　参考站点：http://www.ucancode.net/Products/DocBuilder/Features.htm

　　DocVizor满��了面向对象��Y件开发者的基本要求——它让我们能够看到C++工程
中的�c�d��ơ结构。DocVizor快速地产生完整可供打印的类层次�l�构图，包括从第�?br />方库中来的那些类�Q�除此之外DocVizor�q�能从类信息中��生HTML文�g�?/p>

　　(6) SourcePublisher C++

　　参考站点：http://www.scitools.com/sourcepublisher_c.html

　　�l�源代码产生提供快速直观的HTML报表�Q�包括代码，�c�d��ơ结构，调用和被�?br />用树�Q�包含和被包含树。支持多�U�操作系�l��?/p>

　　(7) Understand

　　参考站点：http://www.scitools.com/ucpp.html

　　分析��M��规模的C或者C++工程�Q�帮助我们更好的理解以及�~�写文档�?/p>

　　4.2 代码�c?/p>

　　(1) CC-Rider

　　参考站点：http://www.cc-rider.com

　　CC-Rider是用于C/C++�E�序强大的代码可视化工具�Q�通过交互式浏览、编辑及�?br />动文件来促进�E�序的维持和发展�?/p>

　　(2) CodeInspect

　　参考站点：http://www.yokasoft.com/

　　一�U�新的C/C++代码分析工具。它��查我们的源代码找出非标准的，可能的，�?br />及普通的错误代码�?/p>

　　(3) CodeWizard

　　参考站点：http://www.parasoft.com

　　先进的C/C++源代码分析工��P��使用��过500个编码规范自动化地标明危险的�Q?br />但是�~�译器不能检查到的代码结构�?/p>

　　(4) C++ Validation Test Suites

　　参考站点：http://www.plumhall.com/suites.html

　　一�l�用于测试编译器和库对于标准��d��E�度的代码库�?/p>

　　(5) CppRefactory

　　参考站点：http://cpptool.sourceforge.net/

　　CPPRefactory是一个��得开发者能够重构他们的C++代码的程序。目的是使得C
++代码的重构能够尽可能的有效率和简单�?/p>

　　(6) Lzz

　　参考站点：http://www.lazycplusplus.com/

　　Lzz是一个自动化许多C++�~�程中的体力�zȝ��工具。它能够节省我们许多事�g�q?br />且��得编码更加有乐趣。给��Z��p�d��的声明，Lzz会给我们创徏头文件和源文件�?/p>

　　(7) QA C++ Generation 2000

　　参考站点：http://www.programmingresearch.com/solutions/qacpp.htm

　　它关注面向对象的C++源代码，�Ҏ��关于设计�Q�效率，可靠性，可维护性的部分
提出警告信息�?/p>

　　(8) s-mail project - Java to C++DOL

　　参考站点：http://sadlocha.strefa.pl/s-mail/ja2dol.html

　　把Java源代码翻译�ؓ相应的C++源代码的命��o行工兗��?/p>

　　(9) SNIP from Cleanscape Software International

　　参考站点：http://www.cleanscape.net/stdprod/snip/index.html

　　一个填�q�编码和设计之间沟壑的易于��用的C++开发工��P��节省大量�~�辑和调�?br />的事�Ӟ��它还使得开发者能够指定设计模式作为对象模型，自动从对象模型中产生
C++的类�?/p>

　　(10) SourceStyler C++

　　参考站点：http://www.ochresoftware.com/

　　对C/C++源代码提供完整的格式化和排版控制的工兗��提供多�?5个的格式化�?br />��以及完全支持ANSI C++�?/p>

　　4.3 �~�译�c?/p>

　　(1) Compilercache

　　参考站点：http://www.erikyyy.de/compilercache/

　　Compilercache是一个对你的C和C++�~�译器的��装脚本。每�ơ我们进行编译，��?br />装脚本，把编译的�l�果攑օ��~�存�Q�一旦编译相同的东西�Q�结果将从缓存中取出而不
是再�ơ编译�?/p>

　　(2) Ccache

　　参考站点：http://ccache.samba.org/

　　Ccache是一个编译器�~�存。它使用��h��像C/C++�~�译器的�~�存预处理器�Q�编�?br />速度通常能提高普通编译过�E�的5~10倍�?/p>

　　(3) Cmm (C++ with MultiMethods)

　　参考站点：http://www.op59.net/cmm/cmm-0.28/users.html

　　�q�是一�U�C++语言的扩展。读入Cmm源代码输出C++的源代码�Q�功能是对C++语言
��d��了对multimethod的支持�?/p>

　　(4) The Frost Project

　　参考站点：http://frost.flewid.de/

　　Forst使得你能够在C++�E�序中像原生的C++�Ҏ��一样��用multimethod以及虚函
数参数。它是一个编译器的外壟�?/p>

　　4.4 ��试和调试类

　　(1) CPPUnit

　　CppUnit 是个��Z�� LGPL 的开源项目，最初版本移植自 JUnit�Q�是一个非�怼�
�U�的开源测试框架。CppUnit �?JUnit 一样主要思想来源于极限编�E�。主要功能就
是对单元��试�q�行��理�Q��ƈ可进行自动化��试�?/p>

　　(2) C++Test

　　参考站点：http://www.parasoft.com/

　　C++ Test是一个单元测试工��P��它自动化了C和C++�c�，函数或者组件的��试�?/p>

　　(3) Cantata++

　　参考站点：http://www.iplbath.com/products/tools/pt400.shtml

　　设计的目的是��Z��满��在合理的�l�济开销下��用这个工具可以让开发工�E�师开
展单元测试和集成��试的需�?

　　(4) Purify

　　参考站点：http://www-900.ibm.com/cn/software/rational/products/purif
yplus/index.shtml

　　IBM Rational PurifyPlus是一套完整的�q�行时分析工��P��旨在提高应用�E�序�?br />可靠性和性能。PurifyPlus��内存错误和泄漏��、应用程序性能描述、代码覆�?br />分析�{�功能组合在一个单一、完整的工具包中�?/p>

　　(5) BoundsChecker

　　BoundsChecker是一个C++�q�行旉��误检��和调试工具。它通过在Visual Studi
o内自动化调试�q�程加速开发�ƈ且羃短上市的周期。BoundsChecker提供清楚�Q�详�l?br />的程序错误分析，许多是对C++独有的�ƈ且在static�Q�stack和heap内存中检��和�?br />断错误，以及发现内存和资源的泄漏。　　(6) Insure++

　　参考站点：http://www.parasoft.com/

　　一个自动化的运行时�E�序��试工具�Q�检查难以察觉的错误,如内存覆盖，内存�?br />漏，内存分配错误�Q�变量初始化错误�Q�变量定义冲�H�，指针错误�Q�库错误�Q�逻辑�?br />误和��法错误�{��?/p>

　　(7) GlowCode

　　参考站点：http://www.glowcode.com/

　　GlowCode包括内存泄漏��查，code profiler�Q�函数调用跟�t�等功能。给C++开
发者提供完整的错误诊断�Q�和�q�行时性能分析工具包�?/p>

　　(8) Stack Spy

　　参考站点：http://www.imperioustech.com/

　　它能捕捉stack corruption, stack over run, stack overflow�{�有��x��的错
误�?/p>

------------------------------------------------------------------------
--------

　　5�Q�库

　　在C++中，库的��C��是非帔R��的。C++之父 Bjarne Stroustrup先生多次表示�?br />设计库来扩充功能要好�q�设计更多的语法的言论。现实中�Q�C++的库门类�J�多�Q�解�?br />的问题也是极其广泛，库从轻量�U�到重量�U�的都有。不��都是让人眼界大开�Q�亦�?br />是望而生叹的思维��C��。由于库的数量非常庞大，而且限于�W�者水�q�I��其中很多�q?br />不了解。所以文中所提的一些库都是比较著名的大型库�?/p>

　　5.1 标准�?/p>

　　标准库中提供了C++�E�序的基本设施。虽然C++标准库随着C++标准折腾了许多年
�Q�直到标准的出台才正式定型，但是在标准库的实��C��却很令�h�ƣ慰得看到多�U�实
玎ͼ��q�且已被实践证明为有工业�U�别强度的佳作�?/p>

　　(1) Dinkumware C++ Library

　　参考站点：http://www.dinkumware.com/

　　P.J. Plauger�~�写的高品质的标准库。P.J. Plauger博士是Dr. Dobb's�E�序�?br />计杰出奖的获得者。其�~�写的库长期被Microsoft采用�Q��ƈ且最�q�Borland也取得了
其OEM的license�Q�在其C/C++的��品中采用Dinkumware的库�?/p>

　　(2) RogueWave Standard C++ Library

　　参考站点：http://www.roguewave.com/

　　�q�个库在Borland C++ Builder的早期版本中曄��被采用，后来被其他的库给�?br />换了。笔者不推荐使用�?/p>

　　(3) SGI STL

　　参考站点：http://www.roguewave.com/

　　SGI公司的C++标准模版库�?/p>

　　(4) STLport

　　参考站点：http://www.stlport.org/

　　SGI STL库的跨��^台可�U�L��版本�?/p>

　　5.2 “准”标准库 - Boost

　　参考站点：http://www.boost.org

　　国内镜像�Q?a >http://www.c-view.org/tech/lib/boost/index.htm

　　Boost库是一个经�q�千锤百点{��可�U�L��、提供源代码的C++库，作�ؓ标准库的�?br />备，是C++标准化进�E�的发动��Z��一�?Boost库由C++标准委员会库工作�l�成员发�?br />�Q�在C++�C�֌�中媄响甚大，其成员已�q?000人�?Boost库�ؓ我们带来了最新、最酗��?br />最实用的技术，是不折不扣的“准”标准库�?/p>

　　Boost中比较有名气的有�q�么几个库：

　　Regex

　　正则表达式库

　　Spirit

　　LL parser framework�Q�用C++代码直接表达EBNF

　　Graph

　　囄��件和��法

　　Lambda

　　在调用的地方定义短小匿名的函数对象，很实用的functional功能

　　concept check

　　��查泛型编�E�中的concept

　　Mpl

　　用模板实现的元编�E�框�?/p>

　　Thread

　　可移植的C++多线�E�库

　　Python

　　把C++�c�d��函数映射到Python之中

　　Pool

　　内存池管�?/p>

　　smart_ptr

　　5个智能指针，学习��指针必读�Q�一份不错的参考是来自CUJ的文章：

　　Smart Pointers in Boost�Q�哦�Q�这��文章可以查刎ͼ�CUJ是提供在�U�浏览的�?br />中文版见�W�者在《Dr. Dobb's Journal软�g研发杂志》第7辑上的译文�?/p>

　　Boost��M��来说是实用�h值很高，质量很高的库。�ƈ且由于其对跨�q�_��的强调，
�Ҏ��准C++的强调，是编写��^台无养I��C��C++的开发者必备的工具。但是Boost中也
有很多是实验性质的东西，在实际的开发中实用需要�}慎。�ƈ且很多Boost中的库功
能堪�U�对语言功能的扩展，其构造用��精巧的手法�Q�不要��N然的��p��旉��研读。Bo
ost另外一面，比如Graph�q�样的库则是��h��工业强度�Q�结构良好，非常值得研读�?br />�_�֓�代码�Q��ƈ且也可以攑ֿ�的在产品代码中多多利用�?/p>

　　5.3 GUI

　　在众多C++的库中，GUI部分的库��是比较�J�荣�Q�也比较引�h注目的。在实际开
发中�Q�GUI库的选择也是非常重要的一件事情，下面我们�l�D��一下可选择的GUI库，
各自的特点以及相兛_��L��支持�?/p>

　　(1) MFC

　　大名鼎鼎的微软基��c�d��Q�Microsoft Foundation Class�Q�。大凡学�q�VC++�?br />人都应该知道�q�个库。虽然从技术角度讲�Q�MFC是不大漂亮的�Q�但是它构徏于Windo
ws API 之上�Q�能够�ɽE�序员的工作更容�?�~�程效率高，减少了大量在建立 Windo
ws �E�序时必��ȝ��写的代码�Q�同时它�q�提供了所有一�?C++ �~�程的优点，例如�l�承
和封装。MFC �~�写的程序在各个版本的Windows操作�pȝ��上是可移植的�Q�例如，�?br />Windows 3.1下编写的代码可以很容易地�U�L��?Windows NT �?Windows 95 上。但
是在最�q�发展以及官�Ҏ��持上日渐势微�?/p>

　　(2) QT

　　参考网站：http://www.trolltech.com/

　　Qt是Trolltech公司的一个多�q�_��的C++囑�Ş用户界面应用�E�序框架。它提供�l?br />应用�E�序开发者徏立艺术��的图形用��L��面所需的所用功能。Qt是完全面向对象的
很容易扩展，�q�且允许真正地组件编�E�。自�?996�q�早些时候，Qt�q�入商业领域�Q?br />它已�l�成为全世界范围内数千种成功的应用程序的基础。Qt也是��行的Linux桌面�?br />境KDE 的基��Q�同时它�q�支持Windows、Macintosh、Unix/X11�{�多�U��^台�?/p>

　　(3) WxWindows

　　参考网站：http://www.wxwindows.org/

　　跨��^台的GUI库。因为其�c�d��ơ极像MFC�Q�所以有文章介绍从MFC到WxWindows�?br />代码�U�L��以实现跨�q�_��的功能。通过多年的开发也是一个日��完善的GUI库，支持�?br />样不�׃��前面两个库。�ƈ且是完全开放源代码的。新�q�的C++ Builder X的GUI设计
器就是基于这个库的�?/p>

　　(4) Fox

　　参考网站：http://www.fox-toolkit.org/

　　开放源代码的GUI库。作者从自己亲��n的开发经验中得出了一个理想的GUI库应
该是什么样子的感受出发�Q�从而开始了对这个库的开发。有兴趣的可以尝试一下�?/p>

　　(5) WTL

　　��Z��ATL的一个库。因��Z��用了大量ATL的轻量��手法�Q�模板等技术，在代码尺
寸，以及速度优化斚w��做得非常��C��。主要面向的使用��体是开发COM轻量�U�供�|�络
下蝲的可视化控�g的开发者�?/p>

　　(6) GTK

　　参考网站：http://gtkmm.sourceforge.net/

　　GTK是一个大名鼎鼎的C的开源GUI库。在Linux世界中有Gnome�q�样的杀手应用�?br />而GTK��是�q�个库的C++��装版本�?/p>

　　5.4 �|�络通信

　　(1) ACE

　　参考网站：http://www.cs.wustl.edu/~schmidt/ACE.html

　　C++库的代表�Q�超重量�U�的�|�络通信开发框架。ACE自适配通信环境�Q�Adaptive
Communication Environment�Q�是可以自由使用、开放源代码的面向对象框�Ӟ��?br />其中实现了许多用于�ƈ发通信软�g的核心模式。ACE提供了一�l�丰富的可复用C++�?br />装外观（Wrapper Facade�Q�和框架�l��g�Q�可跨越多种�q�_��完成通用的通信软�g��d��
�Q�其中包括：事�g多�\分离和事件处理器分派、信号处理、服务初始化、进�E�间�?br />信、共享内存管理、消息�\由、分布式服务动态（重）配置、�ƈ发执行和同步�Q�等
�{��?/p>

　　(2) StreamModule

　　参考网站：http://www.omnifarious.org/StrMod/

　　设计用于��化编写分布式�E�序的库。尝试着使得�~�写处理异步行�ؓ的程序更�?br />易，而不是用同步的外壛_��起异步的本质�?/p>

　　(3) SimpleSocket

　　参考网站：http://home.hetnet.nl/~lcbokkers/simsock.htm

　　�q�个�c�d��让编写基于socket的客�?服务器程序更加容易�?/p>

　　(4) A Stream Socket API for C++

　　参考网站：http://www.pcs.cnu.edu/~dgame/sockets/socketsC++/sockets.h
tml

　　又一个对Socket的封装库�?/p>

　　5.5 XML

　　(1) Xerces

　　参考网站：http://xml.apache.org/xerces-c/

　　Xerces-C++ 是一个非常健壮的XML解析器，它提供了验证�Q�以及SAX和DOM API
。XML验证在文档类型定�?Document Type Definition�Q�DTD)斚w��有很好的支持�Q?br />�q�且�?001�q?2月增加了支持W3C XML Schema 的基本完整的开放标准�?/p>

　　(2) XMLBooster

　　参考网站：http://www.xmlbooster.com/

　　�q�个库通过产生特制的parser的办法极大的提高了XML解析的速度�Q��ƈ且能够��
生相应的GUI�E�序来修改这个parser。在DOM和SAX两大��L��XML解析办法之外提供�?br />另外一个可行的解决�Ҏ��?/p>

　　(3) Pull Parser

　　参考网站：http://www.extreme.indiana.edu/xgws/xsoap/xpp/

　　�q�个库采用pull�Ҏ��的parser。在每个SAX的parser底层都有一个pull的parse
r�Q�这个xpp把这层暴露出来直接给大家使用。在要充分考虑速度的时候值得��试�?/p>

　　(4) Xalan

　　参考网站：http://xml.apache.org/xalan-c/

　　Xalan是一个用于把XML文档转换为HTML�Q�纯文本或者其他XML�c�d��文档的XSLT�?br />理器�?/p>

　　(5) CMarkup

　　参考网站：http://www.firstobject.com/xml.htm

　　�q�是一�U��用EDOM的XML解析器。在很多思�\上面非常灉|��实用。值得大家在D
OM和SAX之外��L��一点灵感�?/p>

　　(6) libxml++

　　http://libxmlplusplus.sourceforge.net/

　　libxml++是对著名的libxml XML解析器的C++��装版本

　　5.6 �U�学计算

　　(1) Blitz++

　　参考网站：http://www.oonumerics.org/blitz/

　　Blitz++ 是一个高效率的数��D��函数库�Q�它的设计目的是希望建立一套既�?br />像C++ 一��h��便，同时又比Fortran速度更快的数��D��环境。通常�Q�用C++所写出
的数值程序，�?Fortran�?0%左右�Q�因此Blitz++正是要改掉这个缺炏V��方法是�?br />用C++的template技术，�E�序执行甚至可以比Fortran更快。Blitz++目前仍在发展�?br />�Q�对于常见的SVD�Q�FFTs�Q�QMRES�{�常见的�U�性代数方法�ƈ不提供，不过使用者可�?br />很容易地利用Blitz++所提供的函数来构徏�?/p>

　　(2) POOMA

　　参考网站：http://www.codesourcery.com/pooma/pooma

　　POOMA是一个免费的高性能的C++库，用于处理�q�行式科学计��。POOMA的面向对
象设计方便了快速的�E�序开发，对�ƈ行机器进行了优化以达到最高的效率�Q�方便在
工业和研�I�环境中使用�?/p>

　　(3) MTL

　　参考网站：http://www.osl.iu.edu/research/mtl/

　　Matrix Template Library(MTL)是一个高性能的泛型组件库�Q�提供了各种格式
矩阵的大量线性代数方面的功能。在某些应用使用高性能�~�译器的情况下，比如In
tel的编译器�Q�从产生的汇�~�代码可以看出其与手写几乎没有两��L��效能�?/p>

　　(4) CGAL

　　参考网站：www.cgal.org

　　Computational Geometry Algorithms Library的目的是把在计算几何斚w��的大
部分重要的解��x��案和�Ҏ��以C++库的形式提供�l�工业和学术界的用户�?/p>

　　5.7 游戏开�?/p>

　　(1) Audio/Video 3D C++ Programming Library

　　参考网站：http://www.galacticasoftware.com/products/av/

　　***3D是一个跨�q�_��Q�高性能的C++库。主要的�Ҏ��是提供3D囑�Ş�Q�声效支持（S
B,以及S3M�Q�，控制接口�Q�键盘，鼠标和遥感）�Q�XMS�?/p>

　　(2) KlayGE

　　参考网站：http://home.g365.net/enginedev/

　　国内游戏开发高手自��q��C++开发的游戏引擎。KlayGE是一个开放源代码、跨�q?br />台的游戏引擎�Q��ƈ使用Python作脚本语�a�。KlayGE在LGPL协议下发行。感谢龚敏敏
先生��Z��国游戏开发事业所做出的�A献�?/p>

　　(3) OGRE

　　参考网站：http://www.ogre3d.org

　　OGRE�Q�面向对象的囑�Ş渲染引擎�Q�是用C++开发的�Q��用灵�zȝ��面向对象3D引擎
。它的目的是让开发者能更方便和直接地开发基�?D��g讑֤�的应用程序或游戏�?br />引擎中的�c�d��Ҏ��底层的系�l�库�Q�如�Q�Direct3D和OpenGL�Q�的全部使用�l�节�q�行�?br />抽象�Q��ƈ提供了基于现实世界对象的接口和其它类�?/p>

　　5.8 �U�程

　　(1) C++ Threads

　　参考网站：http://threads.sourceforge.net/

　　�q�个库的目标是给�E�序员提供易于��用的�c�，�q�些�c�被�l�承以提供在Linux环境
中很隄��到的大量的线�E�方面的功能�?/p>

　　(2) ZThreads

　　参考网站：http://zthread.sourceforge.net/

　　一个先�q�的面向对象�Q�跨�q�_��的C++�U�程和同步库�?/p>

　　5.9 序列�?/p>

　　(1) s11n

　　参考网站：http://s11n.net/

　　一个基于STL的C++库，用于序列化POD�Q�STL容器以及用户定义的类型�?/p>

　　(2) Simple XML Persistence Library

　　参考网站：http://sxp.sourceforge.net/

　　�q�是一个把对象序列化�ؓXML的轻量��的C++库�?/p>

　　5.10 字符�?/p>

　　(1) C++ Str Library

　　参考网站：http://www.utilitycode.com/str/

　　操作字符串和字符的库�Q�支持Windows和支持gcc的多�U��^台。提供高度优化的
代码�Q��ƈ且支持多�U�程环境和Unicode�Q�同时还有正则表辑ּ�的支持�?/p>

　　(2) Common Text Transformation Library

　　参考网站：http://cttl.sourceforge.net/

　　�q�是一个解析和修改STL字符串的库。CTTL substring�c�d��以用来比较，插入�Q?br />替换以及用EBNF的语法进行解析�?/p>

　　(3) GRETA

　　参考网站：http://research.microsoft.com/projects/greta/

　　�q�是由微软研�I��的研�I��h员开发的处理正则表达式的库。在��型匚w��的情�?br />下有非常优秀的表现�?/p>

　　5.11 �l�合

　　(1) P::Classes

　　参考网站：http://pclasses.com/

　　一个高度可�U�L��的C++应用�E�序框架。当前关注类型和�U�程安全的signal/slot
机制�Q�i/o�pȝ��包括��Z��插�g的网�l�协议透明的i/o架构�Q�基于插件的应用�E�序消息
日志框架�Q�访问sql数据库的�cȝ��{��?/p>

　　(2) ACDK - Artefaktur Component Development Kit

　　参考网站：http://acdk.sourceforge.net/

　　�q�是一个��^台无关的C++�l��g框架�Q�类��g��Java或�?NET中的框架�Q�反��机�Ӟ��
�U�程�Q�Unicode�Q�废料收集，I/O�Q�网�l�，实用工具�Q�XML�Q�等�{�）�Q�以及对Java, P
erl, Python, TCL, Lisp, COM �?CORBA的集成�?/p>

　　(3) dlib C++ library

　　参考网站：http://www.cis.ohio-state.edu/~kingd/dlib/

　　各种各样的类的一个综合。大整数�Q�Socket�Q�线�E�，GUI�Q�容器类,以及��览�?br />录的API�{�等�?/p>

　　(4) Chilkat C++ Libraries

　　参考网站：http://www.chilkatsoft.com/cpp_libraries.asp

　　�q�是提供zip�Q�e-mail�Q�编码，S/MIME�Q�XML�{�方面的库�?/p>

　　(5) C++ Portable Types Library (PTypes)

　　参考网站：http://www.melikyan.com/ptypes/

　　�q�是STL的比较简单的替代品，以及可移植的多线�E�和�|�络库�?/p>

　　(6) LFC

　　参考网站：http://lfc.sourceforge.net/

　　哦，�q�又是一个尝试提供一切的C++�?/p>

　　5.12 其他�?/p>

　　(1) Loki

　　参考网站：http://www.moderncppdesign.com/

　　哦，你可能抱怨我早该和Boost一起介�l�它�Q�一个实验性质的库。作者在loki�?br />把C++模板的功能发挥到了极致。�ƈ且尝试把�c�M��设计模式�q�样思想层面的东襉K��过
库来提供。同时还提供了智能指针这��h��较实用的功能�?/p>

　　(2) ATL

　　ATL(Active Template Library)

　　是一�l�小巧、高效、灵�zȝ��c�，�q�些�c�Mؓ创徏可互操作的COM�l��g提供了基本的
设施�?/p>

　　(3) FC++: The Functional C++ Library

　　�q�个库提供了一些函数式语言中才有的要素。属于用库来扩充语言的一个代�?br />作。如果想要在OOP之外��L��另一分的乐趣�Q�可以去看看函数式程序设计的世界。大
师Peter Norvig�?“Teach Yourself Programming in Ten Years”一文中��将�?br />数式语言列�ؓ臛_��应当学习�?�cȝ��E�语�a�之一�?/p>

　　(4) FACT!

　　参考网站：http://www.kfa-juelich.de/zam/FACT/start/index.html

　　另外一个实现函数式语言�Ҏ��的�?/p>

　　(5) Crypto++

　　提供处理密码�Q�消息验证，单向hash�Q�公匙加密系�l�等功能的免费库�?/p>

　　�q�有很多非常�Ȁ动�h心或者是极其实用的C++库，限于我们的水�q�以及文章的��?br />�q�不能包括进来。在对于�q�些已经包含�q�来的库的介�l�中�Q�由于�ƈ不是每一个我�?br />都��用过�Q�所以难免有偏颇之处�Q�请读者见谅�?/p>

------------------------------------------------------------------------
--------

　　6�Q�书�c?/p>

　　以前熊节先生曾撰文评论相对于Java�E�序设计语言�Q�C++的好书多如牛毛。荣耀
先生在《程序员》杂志上撰文《C++�E�序设计之四书五�l�》也��本领域内几乎所有的
�l�典书籍作了全面的介�l?��M��关于书的评论此时看来便是很多余的了。个人浅见，
除非你打��以C++作�ؓ唯一兴趣或者生存之本，一般读者确实没有��够的旉��和必�?br />��?0余本书籍全部阅读。更有参考�h值的是荣耀先生的另一��文章：《至��应该阅
�ȝ��九本C++著作》，可以从下面的地址��览到此文：

　　http://www.royaloo.com/articles/articles_2003/9CppBooks.htm

　　下面几本书对于走在C++初学之�\上的读者是我们最愿意推荐�l�大家的�Q?/p>

　　(1) 《C++ Primer�?/p>

　　哦，也许你会抱怨我们�ؓ什么不先介�l�TCPL,但对于走在学习之路上的入门者，
本书内容更�ؓ全面�Q�更��l�易懂，我们�U�它为“C++的超�U�宝典”�ƈ不过分。配�?br />一本不错的习题解答《C++ Primer Answer Book》可以辅助你的学习之路�?/p>

　　(2) 《Essential C++�?/p>

　　如果说《C++ Primer》是C++领域的超�U�宝典，那么此书作�ؓ掌握C++的大局�?br />当之无愧。正如�?NET大局观》一书能够让读者全�?NET�Q�本书讲�q�C��C++中最核心
的全部主题。书虽不厚，内容�_��Q�不�׃ؓ《C++ Primer》读者茶余饭后的主题�?br />��之作�?/p>

　　(3) 《The C++ Programming Language�?/p>

　　Bjarne��Z��带来的C++教程�Q�真正能够告诉你怎么用才叫真正的C++的唯一一�?br />书。虽然如同“某某程序设计语�a�”这��L��书籍会给大家一个内容全揽，入门到精
通的感觉�Q�但本书��实不太适合初学者阅诅R��如果你自认为是一名很有经验的C++�E?br />序员�Q�那臛_��也要反复咀嚼Bjarne先生所��的若�q�内宏V�?/p>

　　(4) 《Effective C++》，《More Effective C++�?/p>

　　是的�Q�正如一些C++爱好者经�总�读过与没有读�q�上�q�C��本作品来区分你是否是
C++高手。我们也极力推崇�q�两本著作。在各种介绍C++专家�l�验的书�c�里面，�q�两
本是最贴近语言本质�Q�看后最能够有脱胎换骨感觉的书，��L��书你需每日三省汝��n
�?/p>

　　技术书�c�仁者见仁，�q�多的评论反无太多意义，��p��者喜好选择最适合自己�?br />书方��Z��{��?/p>

------------------------------------------------------------------------
--------

　　7�Q�资源网�?/p>

　　正如我们可以通过计算机历史上的重要�h物了解计��机史的发展�Q�C++相关人物
的网站也可以使我们得到最有�h值的参考与借鉴�Q�下面的人物我们认�ؓ没有介绍�?br />必要�Q�只因下面的人物在C++领域的地位众所周知�Q�我们只��相关的资源�q�行�|�列�?br />供读者学习，他们有的工作于贝��实验室�Q�有的工作于知名�~�译器厂商，有的在不
断推�q�语�a�的标准化�Q�有的�ؓ读者撰写了多部千古奇作…�?br />　　(1) Bjarne Stroustrup
　　http://www.research.att.com/~bs/

　　(2) Stanley B. Lippman
　　http://blogs.msdn.com/slippman/
　　中文�?http://www.zengyihome.net/slippman/index.htm

　　(3) Scott Meyers
　　http://www.aristeia.com/

　　(4) David Musser
　　http://www.cs.rpi.edu/~musser/

　　(5) Bruce Eckel
　　http://www.bruceeckel.com

　　(6) Nicolai M. Josuttis
　　http://www.josuttis.com/

　　(7) Herb Sutter
　　http://www.gotw.ca/

　　(8) Andrei Alexandrescu
　　http://www.coderncppdesign.com/

　　(9) 侯捷先生
　　http://www.jjhou.com

　　(10) 孟岩先生
　　先生�J�忙于工作，痴迷于技术，暂无个�h主页�Q�关于先生的作品可以通过CSDN
的专栏和侯先生的主页讉K��到�?/p>

　　(11) 荣耀先生
　　http://www.royaloo.com/

　　(12) 潘爱民先�?br />　　http://www.icst.pku.edu.cn/panaimin/pam_homepage.htm

　　除了上述大师的主��外�Q�以下的�l�合�c�C++学习参考站�Ҏ��我们非常愿意向大�?br />推荐的：

　　(1) CodeProject
　　http://www.codeproject.com

　　(2) CodeGuru
　　http://www.codeguru.com

　　(3) Dr. Dobb's Journal
　　http://www.ddj.com

　　(4) C/C++ Users Journal
　　http://www.cuj.com

　　(5) C�l�视�?br />　　http://www.c-view.org

　　(6) allaboutprogram
　　http://www.allaboutprogram.com
　　其他资料

　　(1) ISO IEC JTC1/SC22/WG21 - C++�Q�标准C++的权威参�?br />　　http://anubis.dkuug.dk/jtc1/sc22/wg21/

　　(2) C++ FAQ LITE �?Frequently Asked Questions: 最为全面的C++FAQ
　　http://www.sunistudio.com/cppfaq/index.html
　　C/C++ 新闻�l�：
　　你不妨尝试从�q�里提问和回�{�问题，很多不错的Q&A资源......

　　(1) .alt.comp.lang.learn.c-c++
　　�q�个��单些�Q�如果你和我一��h��个菜�?/p>

　　(2) .comp.lang.c++.moderated
嗯，�q�个昄��水��^高一�?/p>

　　(3) .comp.std.c++
　　如果你需要讨论标准C++相关话题的话

------------------------------------------------------------------------
--------

　　8�Q�不得不写的�l�束�?/p>

　　�l�束的时候也是�ȝ��现状�Q�展望未来的时候。虽然C++从脱胎于C开始，一路艰
隑֝��L��走过来，但是无论如何C++已经取得了工业基��的地位。文章列丄��大量相关
资源��是最好的证明�Q�而业界的大量用C++写成的��品代码以及大量的C++职业工程
师则是最直接的证明。同�Ӟ��我们可以看到各个高校的计��机专业都开设有C++�q�门
评��Q�网�l�上对于C++的学习讨��Z��从来都没有停�q�。但是，在Java�?NET两大企业
开发��^台的围攻下，�l��h的感觉是C++��来��“不行”了�?/p>

　　C++在面向企业的软�g开发中�Q�在开发便��h��等斚w��的确要比Java和C#差很多，
其中一个问题是C++语言本��n比较复杂�Q�学习曲�U�比较陡峭，另外一个问题是C++�?br />准化的时间太长，丧失了很多的壮大��Z��Q�耗费了很多精力在厂商的之间的斗争�?br />�Q�而C++的标准库��M��个完善的�E�序开发框架还�~�少太多太多的内容，各个�W�三方的
�c�d��和框架又在一致性和完整性上没法和随�q�_��提供的框架相提�ƈ论。难道C++真的
要退出历史舞��C��Q?/p>

　　从C++目前的活跃程度，以及应用现状来说是完全能够肯定C++仍然是��Y件工�?br />的基��Q�也不会退出历史舞台的。另外从Boost�Q�Loki�q�些库中我们也能够看到C++
的发展非常活跃，对于新技术新思维非常�Ȁ�q�，C++仍然�q�泛受到��x��。从ACE在高
性能通信领域的应用，以及MTL�q�样的库在数��D��领域的��表现�Q�我们可以看�?br />C++在高性能应用场合下的不可替代的作用，而嵌入式�pȝ��q�样的内存受限开发��^�?br />�Q�比如Symbian OS上，C++已经发挥着�q�且��发挥更大的作用。可以预见的是以后的
软�g无论上层的应用怎么变，它的底层核心都会是由C/C++�q�样的系�l��软�g�~�写�?br />�Q�比如Java虚拟机，.NET Framwork。因为只有这��L��pȝ��U��Y件才能完全彻底的�?br />挥机器的功能�?/p>

　　需要看到的是两个趋势，一个趋势是C++变得更加复杂�Q�更加学院派�Q�通过模板
�{�有潜力的语法因素构造越来越�_��y的库成�ؓ了现代C++的热点，虽然在利用库实现
新的�~�程范式�Q�乃臌��计模式等斚w��很有开创意义，也确实��生了一些能够便捷开
发的工具�Q�但是更多的是把C++变得更加强大�Q�更加复杂，也更加难懂，��g��也更�?br />学院�z�，不得不说它正在向边缘化道路发展。另一个趋势是C++在主��的企业应用开
发中已经逐渐退��Z��Q�ERP�q�样的企业��Y件开发中基本上不会考虑C++�Q�除非需要�?br />虑性能或者和遗留代码的集成这些因素。C++退守到�pȝ��U�别语言�Q�成��Y件工业的
基础是大势所��。然而反思一下，真的是退守么�Q�自从STL出现�Q�无数的人风起云�?br />的开始支持C++,他们狂呼“我看到深夜消失了，目标软�g工程的出现。我看到了可
�l�护的代码。”是的，STL在可�l�护性下做得如此��。但是又怎样呢？STL为C++�?br />�q�了��C��软�g工程的道路，而在上层应用�E�序软�g开发领域这块场地早不单独属�?br />C++,很多�E�序设计语言都做得很��Q�疯狂的支持者会毫不犹��U地说我们应当支持
C++,因�ؓ它是世界上最��的语言。而坦率地��_��你的腰杆真的那么��么�Q�也许只�?br />在逃避一些事实。C++是优�U�的，�q�不可否认，STL的出现让C++一度走上了最辉煌�?br />时刻�Q�然而现在看来……我的一位恩师曾�a��Q�真正能够将STL应用得淋漓尽致的人很
保守地说国内也不��过200人，或许不加入STL能够使C++向着它应当发展的方向发展
的更好，而现在看来，C++也应当回首到真正属于他的那一片圣��C��…�?/p>

erran 2007-10-14 00:14 发表评论

转：C++�?�U�类型�{�?

erran — Sat, 13 Oct 2007 13:27:00 GMT

原文�Q�http://blog.csdn.net/stanleyrprose/archive/2006/01/25/588083.aspx
作者：

C++�?�U�类型�{�?

一、C 风格�Q�C-style�Q�强制�{型如下：

    (T) expression // cast expression to be of type T
    函数风格�Q�Function-style�Q�强制�{型��用这��L��语法�Q?br />    T(expression) // cast expression to be of type T
    �q�两�U��Ş式之间没有本质上的不同，它纯�_�就是一个把括号攑֜�哪的问题。我把这两种形式�U�Cؓ旧风��|��old-style�Q�的强制转型�?

二�?C++的四�U�强制�{型�Ş式：

　　C++ 同时提供了四�U�新的强制�{型�Ş式（通常�U�Cؓ新风格的�?C++ 风格的强制�{型）�Q?
　　const_cast(expression)
　　dynamic_cast(expression)
　　reinterpret_cast(expression)
　　static_cast(expression)

　　每一�U�适用于特定的目的�Q?

　　·dynamic_cast 主要用于执行“安全的向下转型�Q�safe downcasting�Q�”，也就是说�Q�要��定一个对象是否是一个��承体�p�M��的一个特定类型。它是唯一不能用旧风格语法执行的强制�{型，也是唯一可能有重大运行时代�h的强制�{型�?br />
·static_cast 可以被用于强刉��型�{换（例如�Q�non-const 对象转型�?const 对象�Q�int 转型�? double�Q�等�{�）�Q�它�q�可以用于很多这��L��转换的反向�{换（例如�Q�void* 指针转型为有�c�d��指针�Q�基�c�L��针�{型�ؓ�z��c�L��针）�Q�但是它不能��一�?const 对象转型�?non-const 对象�Q�只�? const_cast 能做刎ͼ��Q�它最接近于C-style的�{换�?br />
　　·const_cast 一般用于强制消除对象的帔R��性。它是唯一能做到这一点的 C++ 风格的强制�{型�?

　　·reinterpret_cast 是特意用于底层的强制转型�Q�导致实��C��赖（implementation-dependent�Q�（��是��_��不可�U�L��Q�的�l�果�Q�例如，��一个指针�{型�ؓ一个整数。这��L��强制转型在底层代码以外应该极为罕见�?br />　　
　　旧风格的强制转型依然合法�Q�但是新的�Ş式更可取。首先，在代码中它们更容易识别（无论是�h�q�是�?grep �q�样的工具都是如此）�Q�这样就��化了在代码中��L��c�d��pȝ��被破坏的地方的过�E�。第二，更精��地指定每一个强制�{型的目的�Q��得编译器诊断使用错误成�ؓ�? 能。例如，如果你试图��用一�?const_cast 以外的新风格强制转型来消除常量性，你的代码��无法编译�?

==
== dynamic_cast .vs. static_cast
==

class B { ... };
class D : public B { ... };

void f(B* pb)
{
D* pd1 = dynamic_cast(pb);
D* pd2 = static_cast(pb);
}

If pb really points to an object of type D, then pd1 and pd2 will get the same value. They will also get the same value if pb == 0.

If pb points to an object of type B and not to the complete D class, then dynamic_cast will know enough to return zero. However, static_cast relies on the programmer’s assertion that pb points to an object of type D and simply returns a pointer to that supposed D object.

即dynamic_cast可用于��承体�p�M��的向下�{型，卛_��基类指针转换为派生类指针�Q�比static_cast更严格更安全�? dynamic_cast在执行效率上比static_cast要差一�?但static_cast在更宽上范围内可以完成映��?�q�种不加限制的映��伴�? 着不安全�?static_cast覆盖的变换类型除�c�d��ơ的静态导航以�?�q�包括无映射变换,�H�化变换(�q�种变换会导致对象切�?丢失信息),�? VOID*的强制变�?隐式�c�d��变换�{?..

==
== static_cast .vs. reinterpret_cast
==

reinterpret_cast是�ؓ了映��到一个完全不同类型的意�?�q�个关键词在我们需要把�c�d��映射回原有类型时用到�?我们映射到的�c�d��仅仅是�ؓ了故弄玄虚和其他目的,�q�是所有映��中最危险�?(�q�句话是C++�~�程思想中的原话)

static_cast �?reinterpret_cast 操作�W�修改了操作数类�? 它们不是互逆的; static_cast 在编译时使用�c�d��信息执行转换, 在�{换执行必要的��?诸如指针��界计算, �c�d��?. 其操作数相对是安全的. 另一斚w��, reinterpret_cast 仅仅是重新解释了�l�出的对象的比特模型而没有进行二�q�制转换, 例子如下:

int n=9; double d=static_cast < double > (n);

上面的例子中, 我们��一个变量从 int 转换�?double. �q�些�c�d��的二�q�制表达式是不同�? 要将整数 9 转换�?双精度整�?9, static_cast 需要正��地为双�_�ֺ�整数 d 补��比特�? 其结果�ؓ 9.0. 而reinterpret_cast 的行为却不同:

int n=9;
double d=reinterpret_cast (n);

�q�次, �l�果有所不同. 在进行计��以�? d 包含无用�? �q�是因�ؓ reinterpret_cast 仅仅是复�?n 的比特位�?d, 没有�q�行必要的分�?

Trackback: http://tb.blog.csdn.net/TrackBack.aspx?PostId=588083

erran 2007-10-13 21:27 发表评论

转：堆和栈的区别

erran — Sat, 13 Oct 2007 13:12:00 GMT

参见http://kb.csdn.net/.net/Articles/200605/80f93200-6a0c-4e21-82d8-4212844da589.html

堆和栈的区别

一般认为在c中分��几个存储�?
1�?- 有编译器自动分配释放
2�?- 一般由�E�序员分配释放，若程序员不释放，�E�序�l�束时可能由OS回收
3全局区（静态区�Q�，全局变量和静态变量的存储是放在一块的�Q�初始化的全局变量和静
态变量在一块区域，未初始化的全局变量和未初始化的静态变量在盔R��的另一块区域�?
- �E�序�l�束释放
4另外�q�有一个专门放帔R��的地斏V�?- �E�序�l�束释放
在函��C��中定义的变量通常是在栈上�Q�用malloc, calloc, realloc�{�分配内存的函数�?
配得到的��是在堆上。在所有函��C��外定义的是全局量，加了static修饰�W�后不管在哪
里都存放在全局区（静态区�Q?在所有函��C��外定义的static变量表示在该文�g中有效，
不能extern到别的文件用�Q�在函数体内定义的static表示只在该函��C��内有效。另外，
函数中的"adgfdf"�q�样的字�W�串存放在常量区�?
比如�Q?
int a = 0; 全局初始化区
char *p1; 全局未初始化�?
main()
{
int b; �?
char s[] = "abc";�?
char *p2; �?
char *p3 = "123456"; 123456\0在常量区�Q�p3在栈上�?
static int c =0�Q?全局�Q�静态）初始化区
p1 = (char *)malloc(10);
p2 = (char *)malloc(20);
分配得来�?0�?0字节的区域就在堆区�?
strcpy(p1, "123456"); 123456\0攑֜�帔R��区，�~�译器可能会��它与p3所指向�?12345
6"优化成一块�?
}
�q�有��是函数调用时会在栈上有一�p�d��的保留现场及传递参数的操作�?
栈的�I�间大小有限定，vc的缺省是2M。栈不够用的情况一般是�E�序中分配了大量数组�?
递归函数层次太深。有一点必��ȝ��道，当一个函数调用完�q�回后它会释放该函数中所�?
的栈�I�间。栈是由�~�译器自动管理的�Q�不用你操心�?
堆是动态分配内存的�Q��ƈ且你可以分配使用很大的内存。但是用不好会��生内存泄漏�?
�q�且频繁地malloc和free会��生内存碎片（有点�c�M��盘��片�Q�，因�ؓc分配动态内存时
是寻扑֌�配的内存的。而用栈则不会产生��片�?
在栈上存取数据比通过指针在堆上存取数据快些�?
一般大家说的堆栈和栈是一��L��Q�就是栈(stack)�Q�而说堆时才是堆heap.
栈是先入后出的，一般是由高地址向低地址生长�?

�?heap)和栈(stack)是C/C++�~�程不可避免会碰到的两个基本概念�?br />首先�Q�这两个概念都可以在讲数据结构的书中扑ֈ��Q�他们都是基本的数据�l�构�Q�虽然栈更�ؓ��单一些。在具体的C/C++�~�程框架中，�q�两个概念�ƈ不是�q�行的。对底层机器代码的研�I�可以揭�C�，栈是机器�pȝ��提供的数据结构，而堆则是C/C++函数库提供的�?具体地说�Q�现代计��机(串行执行机制)�Q�都直接在代码底层支持栈的数据结构。这体现在，有专门的寄存器指向栈所在的地址�Q�有专门的机器指令完成数据入栈出栈的操作�? �q�种机制的特�Ҏ��效率高，支持的数据有限，一般是整数�Q�指针，��点数等�pȝ��直接�?持的数据�c�d��Q��ƈ不直接支持其他的数据�l�构。因为栈的这�U�特点，�Ҏ��的��用在�E�序中是非常频繁的。对子程序的调用��是直接利用栈完成的。机器的call指��o里隐含了把返回地址推入栈，然后跌��{臛_��E�序地址的操作，而子�E�序中的ret指��o则隐含从堆栈中弹��回地址�q�蟩转之的操作。C/C++中的自动变量是直接利用栈的例子，�q�也��是��Z��么当函数�q�回�Ӟ��该函数的自动变量自动失效的原�?因�ؓ 颜换指戳说饔们暗状�?�? 和栈不同�Q�堆的数据结构�ƈ不是��q��l?无论是机器系�l�还是操作系�l?支持的，而是由函数库提供的。基本的malloc/realloc/free函数�l�护了一套内部的堆数据结构。当�E�序使用�q�些函数去获得新的内存空间时�Q�这套函数首先试图从内部堆中��L��可用的内存空��_��如果没有可以使用的内存空��_��则试囑ֈ�用系�l�调用来动态增加程序数据段的内存大��，新分配得到的�I�间首先被组�l�进内部堆中去，然后再以适当的�Ş式返回给调用者。当�E�序释放分配的内存空间时�Q�这片内存空间被�q�回内部堆结构中�Q�可能会被适当的处�?比如和其他空闲空间合�q�成更大的空闲空�?�Q�以更适合下一�ơ内存分配申诗��?br />�q�套复杂的分配机制实际上相当于一个内存分配的�~�冲�?Cache)�Q��用这套机制有如下若干原因�Q?
1. �pȝ��调用可能不支持�Q意大��的内存分配。有些系�l�的�pȝ��调用只支持固定大��及其倍数的内存请�?按页分配)�Q�这��L��话对于大量的��内存分�c�L��说会造成��费�?br />2. �pȝ��调用甌��内存可能是代��h��늚�。系�l�调用可能涉及用��h��和核心态的转换�?
3. 没有��理的内存分配在大量复杂内存的分配释放操作下很容易造成内存��片�?

堆和栈的�Ҏ�� 从以上知识可知，栈是�pȝ��提供的功能，特点是快速高效，�~�点是有限制�Q�数据不灉|��Q�而栈是函数库提供的功能，特点是灵�z�L��便，数据适应面广泛，但是效率有一定降低。栈是系�l�数据结构，对于�q�程/�U�程是唯一的；堆是函数库内部数据结构，不一定唯一。不同堆分配的内存无法互相操作。栈�I�间分静态分配和动态分配两�U�。静态分配是�~�译器完成的�Q�比如自动变�?auto)的分配。动态分配由alloca函数完成。栈的动态分配无需释放(是自动的)�Q�也��没有释攑և�数。�ؓ可移植的�E�序赯��Q�栈的动态分配操作是不被鼓励的！堆空间的分配��L��动态的�Q�虽然程序结束时所有的数据�I�间都会被释攑֛��pȝ��Q�但是精��的甌��内存/释放内存匚w��是良好程序的基本要素�?
所以计��机中的堆和栈经常时放一块讲�?
nod 一般不是必要就不要动态创建，最讨厌把new出来的东西当局部变量用�Q?br />用万了马上delete 的做�?

理由
1.栈分配比堆快�Q�只需要一条指令就呢给配所有的局部变�?
2.栈不会出现内存碎�?
3。栈对象好管�?

当然�Q�某些情况下也要那么�?比如
1.对象很大
2.对象需要在某个特定的时��L��造或析够
3.�c�d��允许对象动态创�?比如VCL的大多数�c? 当然�Q�必��ȝ��堆对象时也不能躲�?br />
http://kb.csdn.net/.net/Articles/200605/80f93200-6a0c-4e21-82d8-4212844da589.html

erran 2007-10-13 21:12 发表评论

C++中成员函数的重蝲、覆盖与隐藏

erran — Sat, 13 Oct 2007 09:52:00 GMT

�E�微懂得点oop的�h都知道重载，那是多态性的重要体现�Q�可是在c++中你能分清成员函数的重蝲、覆盖吗�Q�这个好像也不难�Q�重载存在与同一个类中，而覆盖存在于�z��c�M��基类中！可是如果再加上隐藏呢�Q�说实话�Q�以前我从来没有听说�q�这个概念！也不知道自己曄��捏造的�E�序�Q�出了多��问题！看看林锐在《高质量c++�~�程指南》中的解释�?

成员函数的重载、覆盖（override�Q�与隐藏很容易�؜淆，C++�E�序员必��要搞清楚概念，否则错误��防不胜阌Ӏ?span>

8.2.1 重蝲与覆�?span>

成员函数被重载的特征�Q?span>

�Q?span>1�Q�相同的范围�Q�在同一个类中）�Q?span>

�Q?span>2�Q�函数名字相同；

�Q?span>3�Q�参��C��同；

�Q?span>4�Q?span>virtual关键字可有可无�?/span>

覆盖是指�z��c�d��数覆盖基�c�d��敎ͼ�特征是：

�Q?span>1�Q�不同的范围�Q�分别位于派生类与基�c�）�Q?span>

�Q?span>2�Q�函数名字相同；

�Q?span>3�Q�参数相同；

�Q?span>4�Q�基�c�d��数必��L��virtual关键字�?span>

�C�Z��8-2-1中，函数Base::f(int)�?span>Base::f(float)�怺�重蝲�Q��?span>Base::g(void)�?span>Derived::g(void)覆盖�?span>

#include

class Base

{

public:

void f(int x){ cout << "Base::f(int) " << x << endl; }

void f(float x){ cout << "Base::f(float) " << x << endl; }

virtual void g(void){ cout << "Base::g(void)" << endl;}

};

class Derived : public Base

{

public:

virtual void g(void){ cout << "Derived::g(void)" << endl;}

};

void main(void)

{

Derived d;

Base *pb = &d;

pb->f(42); // Base::f(int) 42

pb->f(3.14f); // Base::f(float) 3.14

pb->g(); // Derived::g(void)

}

�C�Z��8-2-1成员函数的重载和覆盖

8.2.2 令�h�q�h��的隐藏规�?/span>

本来仅仅区别重蝲与覆盖�ƈ不算困难�Q�但�?span>C++的隐藏规则��问题复杂性陡然增加。这�?#8220;隐藏”是指�z��cȝ��函数屏蔽了与其同名的基类函数�Q�规则如下：

�Q?span>1�Q�如果派生类的函��C��基类的函数同名，但是参数不同。此�Ӟ��不论有无virtual关键字，基类的函数将被隐藏（注意别与重蝲��h��Q��?span>

�Q?span>2�Q�如果派生类的函��C��基类的函数同名，�q�且参数也相同，但是基类函数没有virtual关键字。此�Ӟ��基类的函数被隐藏�Q�注意别与覆盖�؜淆）�?/span>

�C�Z��E�序8-2-2�Q?span>a�Q�中�Q?span>

�Q?span>1�Q�函�?span>Derived::f(float)覆盖�?span>Base::f(float)�?span>

�Q?span>2�Q�函�?span>Derived::g(int)隐藏�?span>Base::g(float)�Q�而不是重载�?span>

�Q?span>3�Q�函�?span>Derived::h(float)隐藏�?span>Base::h(float)�Q�而不是覆盖�?span>

#include

class Base

{

public:

virtual void f(float x){ cout << "Base::f(float) " << x << endl; }

void g(float x){ cout << "Base::g(float) " << x << endl; }

void h(float x){ cout << "Base::h(float) " << x << endl; }

};

class Derived : public Base

{

public:

virtual void f(float x){ cout << "Derived::f(float) " << x << endl; }

void g(int x){ cout << "Derived::g(int) " << x << endl; }

void h(float x){ cout << "Derived::h(float) " << x << endl; }

};

�C�Z��8-2-2�Q?span>a�Q�成员函数的重蝲、覆盖和隐藏

据作者考察�Q�很�?span>C++�E�序员没有意识到�?#8220;隐藏”�q�回事。由于认识不够深刻，“隐藏”的发生可谓神出鬼没，常常产生令�h�q�h��的结果�?span>

�C�Z��8-2-2�Q?span>b�Q�中�Q?span>pb�?span>pd指向同一地址�Q�按理说�q�行�l�果应该是相同的�Q�可事实�q��q�样�?span>

void main(void)

{

Derived d;

Base *pb = &d;

Derived *pd = &d;

// Good : behavior depends solely on type of the object

pb->f(3.14f); // Derived::f(float) 3.14

pd->f(3.14f); // Derived::f(float) 3.14

// Bad : behavior depends on type of the pointer

pb->g(3.14f); // Base::g(float) 3.14

pd->g(3.14f); // Derived::g(int) 3 (surprise!)

// Bad : behavior depends on type of the pointer

pb->h(3.14f); // Base::h(float) 3.14 (surprise!)

pd->h(3.14f); // Derived::h(float) 3.14

}

�C�Z��8-2-2�Q?span>b�Q?重蝲、覆盖和隐藏的比�?/span>

8.2.3 摆脱隐藏

隐藏规则引�v了不��麻烦。示�?chsdate w:st="on" isrocdate="False" islunardate="False" day="3" month="2" year="2008">8-2-3�E�序中，语句pd->f(10)的本意是惌��用函�?span>Base::f(int)�Q�但�?span>Base::f(int)不幸�?span>Derived::f(char *)隐藏了。由于数�?span>10不能被隐式地转化为字�W�串�Q�所以在�~�译时出错�?span>

class Base

{

public:

void f(int x);

};

class Derived : public Base

{

public:

void f(char *str);

};

void Test(void)

{

Derived *pd = new Derived;

pd->f(10); // error

}

�C�Z��8-2-3 �׃��隐藏而导致错�?/span>

从示�?chsdate w:st="on" isrocdate="False" islunardate="False" day="3" month="2" year="2008">8-2-3看来�Q�隐藏规则似乎很愚蠢。但是隐藏规则至��有两个存在的理由：

u 写语�?span>pd->f(10)的�h可能真的惌��?span>Derived::f(char *)函数�Q�只是他误将参数写错了。有了隐藏规则，�~�译器就可以明确指出错误�Q�这未必不是好事。否则，�~�译器会静悄悄地��错��错�Q�程序员��很隑֏�现这个错误，��下��根�?span>

u 假如�c?span>Derived有多个基�c�（多重�l�承�Q�，有时搞不清楚哪些基类定义了函�?span>f。如果没有隐藏规则，那么pd->f(10)可能会调用一个出乎意料的基类函数f。尽��隐藏规则看��h��不怎么有道理，但它的确能消灭这些意外�?span>

�C�Z��8-2-3中，如果语句pd->f(10)一定要调用函数Base::f(int)�Q�那么将�c?span>Derived修改为如下即可�?span>

class Derived : public Base

{

public:

void f(char *str);

void f(int x) { Base::f(x); }

};

erran 2007-10-13 17:52 发表评论

转：C++�c�d��介绍

erran — Sat, 13 Oct 2007 08:42:00 GMT

原文�Q?a >http://hi.baidu.com/chplj/blog/item/08d8f6368def16310a55a931.html
作者：

C++�c�d��介绍

再次体现了C++保持核心语言的效率同时大力发展应用库的发展趋�?!在C++中，库的��C��是非帔R��的。C++之父 Bjarne Stroustrup先生多次表示了设计库来扩充功能要好过设计更多的语法的�a�论。现实中�Q�C++的库门类�J�多�Q�解决的问题也是极其�q�泛�Q�库从轻量��到重量��的都有。不��都是让人眼界大开�Q�亦或是望而生叹的思维��C��。由于库的数量非常庞大，而且限于�W�者水�q�I��其中很多�q�不了解。所以文中所提的一些库都是比较著名的大型库。�?/p>

标准库�?/strong>

标准库中提供了C++�E�序的基本设施。虽然C++标准库随着C++标准折腾了许多年�Q�直到标准的出台才正式定型，但是在标准库的实��C��却很令�h�ƣ慰得看到多�U�实玎ͼ��q�且已被实践证明为有工业�U�别强度的佳作。�?/p>
1、 Dinkumware C++ Library

参考站点：http://www.dinkumware.com

P.J. Plauger�~�写的高品质的标准库。P.J. Plauger博士是Dr. Dobb's�E�序设计杰出奖的获得者。其�~�写的库长期被Microsoft采用�Q��ƈ且最�q�Borland也取得了其OEM的license�Q�在其C/C+ +的��品中采用Dinkumware的库。�?/p>
2、 RogueWave Standard C++ Library

参考站点：http://www.roguewave.com/

�q�个库在Borland C++ Builder的早期版本中曄��被采用，后来被其他的库给替换了。笔者不推荐使用。�?/p>
3、SGI STL

参考站点：http://www.roguewave.com/
　SGI公司的C++标准模版库。�?/p>
4、STLport

参考站点：http://www.stlport.org/
　SGI STL库的跨��^台可�U�L��版本。�?/p>
准标准库——Boost

Boost 库是一个经�q�千锤百点{��可�U�L��、提供源代码的C++库，作�ؓ标准库的后备�Q�是C++标准化进�E�的发动��Z��一。 Boost库由C++标准委员会库工作�l�成员发��P��在C++�C�֌�中媄响甚大，其成员已�q?000人。 Boost库�ؓ我们带来了最新、最酗��最实用的技术，是不折不扣的"�?标准库。�?/p>
Boost中比较有名气的有�q�么几个库：

　Regex
　正则表达式库

Spirit
　LL parser framework�Q�用C++代码直接表达EBNF

Graph
　囄��件和��法

Lambda
　在调用的地方定义短小匿名的函数对象，很实用的functional功能

concept check
　��查泛型编�E�中的concept

Mpl
　用模板实现的元编�E�框架�?/p>
Thread
　可移植的C++多线�E�库

Python
　把C++�c�d��函数映射到Python之中

Pool
　内存池管理�?/p>
smart_ptr
　5个智能指针，学习��指针必读�Q�一份不错的参考是来自CUJ的文章：

Smart Pointers in Boost,哦，�q�篇文章可以查到�Q�CUJ是提供在�U�浏览的。中文版见笔者在《Dr. Dobb's Journal软�g研发杂志》第7辑上的译文。�?/p>
Boost ��M��来说是实用�h值很高，质量很高的库。�ƈ且由于其对跨�q�_��的强调，�Ҏ��准C++的强调，是编写��^台无养I��C��C++的开发者必备的工具。但是Boost 中也有很多是实验性质的东西，在实际的开发中实用需要�}慎。�ƈ且很多Boost中的库功能堪�U�对语言功能的扩展，其构造用��精巧的手法�Q�不要��N然的��p��旉��研读。Boost另外一面，比如Graph�q�样的库则是��h��工业强度�Q�结构良好，非常值得研读的精品代码，�q�且也可以放心的在��品代码中多多利用。�?/p>
参考站点：http://www.boost.org�Q�国内镜像：http://www.c-view.org/tech/lib/boost/index.htm�Q��?/p>
GUI

在众多C++的库中，GUI部分的库��是比较�J�荣�Q�也比较引�h注目的。在实际开发中�Q�GUI库的选择也是非常重要的一件事情，下面我们�l�D��一下可选择的GUI库，各自的特点以及相兛_��L��支持。�?/p>
1、 MFC

大名鼎鼎的微软基��c�d��Q�Microsoft Foundation Class�Q�。大凡学�q�VC++的�h都应该知道这个库。虽然从技术角度讲�Q�MFC是不大漂亮的�Q�但是它构徏于Windows API 之上�Q�能够�ɽE�序员的工作更容�?�~�程效率高，减少了大量在建立 Windows �E�序时必��ȝ��写的代码�Q�同时它�q�提供了所有一般 C++ �~�程的优点，例如�l�承和封装。MFC �~�写的程序在各个版本的Windows操作�pȝ��上是可移植的�Q�例如，在 Windows 3.1下编写的代码可以很容易地�U�L��刊W�Windows NT 或 Windows 95 上。但是在最�q�发展以及官�Ҏ��持上日渐势微。�?/p>
2、 QT

参考网站：http://www.trolltech.com
Qt 是Trolltech公司的一个多�q�_��的C++囑�Ş用户界面应用�E�序框架。它提供�l�应用程序开发者徏立艺术��的图形用��L��面所需的所用功能。Qt是完全面向对象的很容易扩展，�q�且允许真正地组件编�E�。自�?996�q�早些时候，Qt�q�入商业领域�Q�它已经成�ؓ全世界范围内数千�U�成功的应用�E�序的基��。Qt也是��行的Linux桌面环境KDE 的基��Q�同时它�q�支持Windows、Macintosh、Unix/X11�{�多�U��^台。�?/p>
3、WxWindows

参考网站：http://www.wxwindows.org/

跨��^台的GUI库。因为其�c�d��ơ极像MFC�Q�所以有文章介绍从MFC到WxWindows的代码移植以实现跨��^台的功能。通过多年的开发也是一个日��完善的 GUI库，支持同样不弱于前面两个库。�ƈ且是完全开放源代码的。新�q�的C++ Builder X的GUI设计器就是基于这个库的。�?/p>
4、Fox

开放源代码的GUI库。作者从自己亲��n的开发经验中得出了一个理想的GUI库应该是什么样子的感受出发�Q�从而开始了对这个库的开发。有兴趣的可以尝试一下。�?/p>
参考网站：http://www.fox-toolkit.org/

5、 WTL

��Z��ATL的一个库。因��Z��用了大量ATL的轻量��手法�Q�模板等技术，在代码尺寸，以及速度优化斚w��做得非常��C��。主要面向的使用��体是开发COM轻量�U�供�|�络下蝲的可视化控�g的开发者。�?/p>
6、 GTK

参考网站：http://gtkmm.sourceforge.net/

GTK是一个大名鼎鼎的C的开源GUI库。在Linux世界中有Gnome�q�样的杀手应用。而GTK��是�q�个库的C++��装版本。�?/p>
�|�络通信�?/p>
ACE

参考网站：http://www.cs.wustl.edu/~schmidt/ACE.html
　ACE�|�络�~�程开发论坛：http://www.acejoy.com

C+ +库的代表�Q�超重量�U�的�|�络通信开发框架。ACE自适配通信环境�Q�Adaptive Communication Environment�Q�是可以自由使用、开放源代码的面向对象框�Ӟ��在其中实��C��许多用于�q�发通信软�g的核心模式。ACE提供了一�l�丰富的可复用C++ 包装外观�Q�Wrapper Facade�Q�和框架�l��g�Q�可跨越多种�q�_��完成通用的通信软�g��d��Q�其中包括：事�g多�\分离和事件处理器分派、信号处理、服务初始化、进�E�间通信、共享内存管理、消息�\由、分布式服务动态（重）配置、�ƈ发执行和同步�Q�等�{�。�?/p>
StreamModule

参考网站：http://www.omnifarious.org/StrMod/

设计用于��化编写分布式�E�序的库。尝试着使得�~�写处理异步行�ؓ的程序更�Ҏ��Q�而不是用同步的外壛_��起异步的本质。�?/p>
SimpleSocket

参考网站：http://home.hetnet.nl/~lcbokkers/simsock.htm

�q�个�c�d��让编写基于socket的客�?服务器程序更加容易。�?/p>
A Stream Socket API for C++

　参考网站：http://www.pcs.cnu.edu/~dgame/sockets/socketsC++/sockets.html

又一个对Socket的封装库。�?/p>
XML

Xerces

参考网站：http://xml.apache.org/xerces-c/

Xerces-C++ 是一个非常健壮的XML解析器，它提供了验证�Q�以及SAX和DOM API。XML验证在文档类型定�?Document Type Definition�Q�DTD)斚w��有很好的支持�Q��ƈ且在2001�q?2月增加了支持W3C XML Schema 的基本完整的开放标准。�?/p>
XMLBooster

参考网站：http://www.xmlbooster.com/

�q�个库通过产生特制的parser的办法极大的提高了XML解析的速度�Q��ƈ且能够��生相应的GUI�E�序来修改这个parser。在DOM和SAX两大主XML解析办法之外提供了另外一个可行的解决�Ҏ��。�?/p>
Pull Parser

参考网站：http://www.extreme.indiana.edu/xgws/xsoap/xpp/

�q�个库采用pull�Ҏ��的parser。在每个SAX的parser底层都有一个pull的parser�Q�这个xpp把这层暴露出来直接给大家使用。在要充分考虑速度的时候值得��试。�?/p>
Xalan

参考网站：http://xml.apache.org/xalan-c/

Xalan是一个用于把XML文档转换为HTML�Q�纯文本或者其他XML�c�d��文档的XSLT处理器。�?/p>
CMarkup

参考网站：http://www.firstobject.com/xml.htm

　�q�是一�U��用EDOM的XML解析器。在很多思�\上面非常灉|��实用。值得大家在DOM和SAX之外��L��一点灵感。�?/p>
libxml++

http://libxmlplusplus.sourceforge.net/

libxml++是对著名的libxml XML解析器的C++��装版本

�U�学计算

Blitz++

参考网站：http://www.oonumerics.org/blitz/

Blitz++ 是一个高效率的数��D��函数库�Q�它的设计目的是希望建立一套既具像C++ 一��h��便，同时又比Fortran速度更快的数��D��环境。通常�Q�用C++所写出的数值程序，比 Fortran�?0%左右�Q�因此Blitz++正是要改掉这个缺炏V��方法是利用C++的template技术，�E�序执行甚至可以比Fortran更快。 Blitz++目前仍在发展中，对于常见的SVD�Q�FFTs�Q�QMRES�{�常见的�U�性代数方法�ƈ不提供，不过使用者可以很�Ҏ��地利用Blitz++所提供的函数来构徏。�?/p>
POOMA

参考网站：http://www.codesourcery.com/pooma/pooma

POOMA是一个免费的高性能的C++库，用于处理�q�行式科学计��。POOMA的面向对象设计方便了快速的�E�序开发，对�ƈ行机器进行了优化以达到最高的效率�Q�方便在工业和研�I�环境中使用。�?/p>
MTL

参考网站：http://www.osl.iu.edu/research/mtl/

Matrix Template Library(MTL)是一个高性能的泛型组件库�Q�提供了各种格式矩阵的大量线性代数方面的功能。在某些应用使用高性能�~�译器的情况下，比如Intel的编译器�Q�从产生的汇�~�代码可以看出其与手写几乎没有两��L��效能。�?/p>
CGAL

　参考网站：www.cgal.org

Computational Geometry Algorithms Library的目的是把在计算几何斚w��的大部分重要的解��x��案和�Ҏ��以C++库的形式提供�l�工业和学术界的用户。�?/p>
游戏开发�?/p>
Audio/Video 3D C++ Programming Library

参考网站：http://www.galacticasoftware.com/products/av/

AV3D是一个跨�q�_��Q�高性能的C++库。主要的�Ҏ��是提供3D囑�Ş�Q�声效支持（SB,以及S3M�Q�，控制接口�Q�键盘，鼠标和遥感）�Q�XMS。�?/p>
KlayGE

参考网站：http://home.g365.net/enginedev/

国内游戏开发高手自��q��C++开发的游戏引擎。KlayGE是一个开放源代码、跨�q�_��的游戏引擎，�q��用Python作脚本语�a�。KlayGE在LGPL协议下发行。感谢龚敏敏先生��Z��国游戏开发事业所做出的�A献。�?/p>
OGRE

参考网站：http://www.ogre3d.org

OGRE �Q�面向对象的囑�Ş渲染引擎�Q�是用C++开发的�Q��用灵�zȝ��面向对象3D引擎。它的目的是让开发者能更方便和直接地开发基�?D��g讑֤�的应用程序或游戏。引擎中的类库对更底层的�pȝ��库（如：Direct3D和OpenGL�Q�的全部使用�l�节�q�行了抽象，�q�提供了��Z��现实世界对象的接口和其它�c�R��?/p>
�U�程

C++ Threads

参考网站：http://threads.sourceforge.net/

�q�个库的目标是给�E�序员提供易于��用的�c�，�q�些�c�被�l�承以提供在Linux环境中很隄��到的大量的线�E�方面的功能。�?/p>
ZThreads

参考网站：http://zthread.sourceforge.net/

一个先�q�的面向对象�Q�跨�q�_��的C++�U�程和同步库。�?/p>
序列化�?br />　s11n
　参考网站：http://s11n.net/
　一个基于STL的C++库，用于序列化POD�Q�STL容器以及用户定义的类型。�?br />　Simple XML Persistence Library
　参考网站：http://sxp.sourceforge.net/
　�q�是个把对象序列化�ؓXML的轻量��的C++库。�?/p>
字符串�?/p>
C++ Str Library

参考网站：http://www.utilitycode.com/str/

操作字符串和字符的库�Q�支持Windows和支持gcc的多�U��^台。提供高度优化的代码�Q��ƈ且支持多�U�程环境和Unicode�Q�同时还有正则表辑ּ�的支持。�?/p>
Common Text Transformation Library

参考网站：http://cttl.sourceforge.net/

�q�是一个解析和修改STL字符串的库。CTTL substring�c�d��以用来比较，插入�Q�替换以及用EBNF的语法进行解析。�?/p>
GRETA

参考网站：http://research.microsoft.com/projects/greta/

�q�是由微软研�I��的研�I��h员开发的处理正则表达式的库。在��型匚w��的情况下有非�怼��U�的表现。�?/p>
�l�合

P::Classes

参考网站：http://pclasses.com/

一个高度可�U�L��的C++应用�E�序框架。当前关注类型和�U�程安全的signal/slot机制�Q�i/o�pȝ��包括��Z��插�g的网�l�协议透明的i/o架构�Q�基于插件的应用�E�序消息日志框架�Q�访问sql数据库的�cȝ��{�。�?/p>
ACDK - Artefaktur Component Development Kit

参考网站：http://acdk.sourceforge.net/

�q�是一个��^台无关的C++�l��g框架�Q�类��g��Java或�?NET中的框架�Q�反��机�Ӟ��U�程�Q�Unicode�Q�废料收集，I/O�Q�网�l�，实用工具�Q�XML�Q�等�{�）�Q�以及对Java, Perl, Python, TCL, Lisp, COM 和 CORBA的集成。�?/p>
dlib C++ library

参考网站：http://www.cis.ohio-state.edu/~kingd/dlib/

各种各样的类的一个综合。大整数�Q�Socket�Q�线�E�，GUI�Q�容器类,以及��览目录的API�{�等。�?/p>
Chilkat C++ Libraries

参考网站：http://www.chilkatsoft.com/cpp_libraries.asp

�q�是提供zip�Q�e-mail�Q�编码，S/MIME�Q�XML�{�方面的库。�?/p>
C++ Portable Types Library (PTypes)

参考网站：http://www.melikyan.com/ptypes/

�q�是STL的比较简单的替代品，以及可移植的多线�E�和�|�络库。�?/p>
LFC

参考网站：http://lfc.sourceforge.net/

哦，�q�又是一个尝试提供一切的C++库�?/p>

其他库�?/p>
Loki

参考网站：http://www.moderncppdesign.com/

哦，你可能抱怨我早该和Boost一起介�l�它�Q�一个实验性质的库。作者在loki中把C++模板的功能发挥到了极致。�ƈ且尝试把�c�M��设计模式�q�样思想层面的东襉K��过库来提供。同时还提供了智能指针这��h��较实用的功能。�?/p>
ATL

ATL(Active Template Library)是一�l�小巧、高效、灵�zȝ��c�，�q�些�c�Mؓ创徏可互操作的COM�l��g提供了基本的设施。�?/p>
FC++: The Functional C++ Library

�q�个库提供了一些函数式语言中才有的要素。属于用库来扩充语言的一个代表作。如果想要在OOP之外��L��另一分的乐趣�Q�可以去看看函数式程序设计的世界。大师 Peter Norvig在�?Teach Yourself Programming in Ten Years"一文中��将函数式语�a�列�ؓ臛_��应当学习�?�cȝ��E�语�a�之一。�?/p>
FACT!

参考网站：http://www.kfa-juelich.de/zam/FACT/start/index.html

另外一个实现函数式语言�Ҏ��的库�?/p>
Crypto++

提供处理密码�Q�消息验证，单向hash�Q�公匙加密系�l�等功能的免费库。�?/p>
�q�有很多非常�Ȁ动�h心或者是极其实用的C++库，限于我们的水�q�以及文章的��幅不能包括�q�来。在对于�q�些已经包含�q�来的库的介�l�中�Q�由于�ƈ不是每一个我们都使用�q�，所以难免有偏颇之处�Q�请读者见谅。�?/p>
资源�|�站

正如我们可以通过计算机历史上的重要�h物了解计��机史的发展�Q�C++相关人物的网站也可以使我们得到最有�h值的参考与借鉴�Q�下面的人物我们认�ؓ没有介绍的必要，只因下面的�h物在C++领域的地位众所周知�Q�我们只��相关的资源�q�行�|�列以供读者学习，他们有的工作于贝��实验室�Q�有的工作于知名�~�译器厂商，有的在不断推�q�语�a�的标准化�Q�有的�ؓ读者撰写了多部千古奇作......

Bjarne Stroustrup http://www.research.att.com/~bs/

Stanley B. Lippman

http: //blogs.msdn.com/slippman/ 中文版 http: //www.zengyihome.net/slippman/index.htm
　Scott Meyers http://www.aristeia.com/

David Musser http://www.cs.rpi.edu/~musser/

Bruce Eckel http://www.bruceeckel.com

Nicolai M. Josuttis http://www.josuttis.com/

Herb Sutter http://www.gotw.ca/

Andrei Alexandrescu http://www.moderncppdesign.com/

erran 2007-10-13 16:42 发表评论

转：Little Endian & Big Endian

erran — Sat, 13 Oct 2007 08:23:00 GMT

原文�Q?a >http://dev.csdn.net/article/39/39864.shtm

Little Endian & Big Endian

�q�个标题中的Endian是什么意思呢�Q�还是让我们先来看看下面的情况，�q�是内存中一个WORD��g��的内容，那么�q�个WORD中的值是0x1234呢，�q�是0x3412 ?

low byte high byte
0x12      0x34

熟悉x86汇编的�h立刻��q��道这个值应�?x3412�Q�很对，但在一些情况下�Q�比如说你在SGI的机器上看到�q�种情况�Q�则正好相反�Q?x1234才是正确�{�案�Q�这与CPU内部处理数据的方式有兟뀂这两种处理方式都存在于不同厂商生��的CPU之中�Q�在上例中若此WORD��gؓ0x3412的，我们�U�C��为little-endian, 若�ؓ0x1234的，我们�U�C��为big-endian�Q�这是两�U�不同的byte orders。MSDN中有比较�_��的定义如下：

Byte Ordering Byte ordering Meaning
big-endian The most significant byte is on the left end of a word.
little-endian The most significant byte is on the right end of a word.

一般来说我们不用关心byte ordering的问题，但若要涉及跨�q�_��之间的通信和资源共享，则不得不考虑�q�个问题了。也�怽�会说�Q�我永远不会�ȝ��其它非x86的CPU�Q�也许是�q�样�Q�你甚至可以不必知道我们最常用的Intel�Q�AMD�{�生产的x86的byte ordering是little-endian的，而且按现在的装机数量来看�Q�可以说世界上绝大多数CPU是little-endian的，但多了解一些没有什么坏处，也许有用上的一天，实际若您要涉及到�|�络�~�程�Q�了解一些还是有所帮助的，看完本文后您��应该知道�ؓ何socket�~�程中�ؓ何要用到如 ntohl, htonl, ntohs, htons�q�几个看��h��名字��g��怪怪的API了，也很�Ҏ��理解�q�些函数名的意义了�?

假设我们要在不同byte ordering的机器之间传输和交换数据�Q�那该怎么办呢�Q�有两个�Ҏ��Q�一是全部�{换成文本来传�?如XML使用�?�Q�另一个方法两斚w��按照某一方的byte order�Q�这时就涉及��C��不同byte order之间�怺�转换的问题（�|�络传输标准如TCP/IP采用�W�二�U�方法�ƈ且由于历史的原因�Q�byte ordering是big-endian的）。两�U�之间该如何转换呢？�Ҏ��有很多，我们可以先看看MFC中在处理serialize的代码中所用的�Ҏ��(List), 虽然代码应该是高效易�ȝ��, 但我个�h�q�不喜欢�? 原因是我觉得�q�不是一�U�通用优美的方�?下面列出的是我自己写的�{换的代码�Q?

template
F3D_INLINE T ConvertEndian(T  t)
{
   T tResult = 0;
   for (int  I = 0; I < sizeof(T); ++ I)
   {
      tResult <<= 8;
      tResult |= (t & 0xFF) ;

      t >>= 8;
   }
   return  tResult;
}

原理非常��单，交换字节��序�Q�我��׃��多说了，当然�q�个写法�q�不是快速的, 只是通用�?我没条�g�? 若有不对之处��h��?, 若要快速的代码�Q�可以在不同platform上用与platform相关的代�? 如在PowerPC上有 "load word byte-reversed indexed" (lwbrx) 和�?load halfword byte-reversed indexed" (lhbrx) 指��o, 在x86上还可用BSWAP单个汇编指��o�{�，在类型上专�ؓint16, int32写的通用的代码也可以比这快得�?

当然如果在byte ordering相同的情况下�Q�应该不必用�q�个转换函数�Q�所以我们可以定义一个宏来处理不同的byte ordering�Q�也可以在运行时��试byte ordering, 下面的代码给��Z��一个简单的��试�Ҏ��。�?

// Test for endianness.
F3D_INLINE bool IsLittleEndian(void)
{
   DWORD dwTestValue = 0x12345678L;
   return  (*((BYTE*)&dwTestValue) == 0x78);
}

但是float比较怪，有可能所涉及��C��仅仅是byte order的问题，因�ؓ有些�q�_��如Alpha不��用IEEE的��Q�Ҏ��式，�q�得自己转换。当然同上，其它的方法一是将所用的float用文本方式输入输出，另一个办法是在某些情况下可将其�{换成定点数再处理�Q�这里我不再深入�?

如果是读写第三方已经指定byte order的文件或数据��，比如说读SGI的位图文件格式，则可以直接自行按指定的byte order��D�v来，不必考虑host机是何种byte ordering。下面我�l�出相应的代码：

// Read a little-endian TYPE from address
template
F3D_INLINE T GetLittleEndian(const BYTE*  pBuf)
{
   T tResult = 0;
   pBuf += sizeof(T) - 1;
   for (int  I = 0; I < sizeof(T); ++ I)
   {
      tResult <<= 8;
      tResult |= *pBuf --;
   }

   return  tResult;
}

// Read a big-endian TYPE from address
template
F3D_INLINE T GetBigEndian(const BYTE*  pBuf)
{
   T tResult = 0;
   for (int  I = 0; I < sizeof(T); ++ I)
   {
      tResult <<= 8;
      tResult |= *pBuf ++;
   }

   return  tResult;
}

// Set a little-endian TYPE on a address
template
F3D_INLINE void SetLittleEndian(BYTE*  pBuf, T  t)
{
   for (int  I = 0; I < sizeof(T); ++ I)
   {
   *pBuf ++ = BYTE(t & 0xFF);
   t >>= 8;
   }
}

// Set a big-endian T on a address
template
F3D_INLINE void SetBigEndian(BYTE*  pBuf, T  t)
{
   pBuf += sizeof(T) - 1;
   for (int  I = 0; I < sizeof(T); ++ I)
   {
      *pBuf -- = BYTE(t & 0xFF);
      t >>= 8;
   }
}

从上文可以看出，byte order挺简单的�Q�一般应用中可能也用不上�Q�但若您对写跨��^台的�E�序有兴��，则一定要了解的比较清楚才行。以上代码都是从实际使用的源码中取下来的。�?

附：常见Processor, OS的byte ordering情况

Processor OS Order
x86 (Intel, AMD, …�? All little-endian
DEC Alpha All little-endian
HP-PA NT little-endian
HP-PA UNIX big-endian
SUN SPARC All? big-endian
MIPS NT little-endian
MIPS UNIX big-endian
PowerPC NT little-endian
PowerPC non-NT big-endian
RS/6000 UNIX big-endian
Motorola m68k All big-endian

erran 2007-10-13 16:23 发表评论

erran — Thu, 28 Dec 2006 12:21:00 GMT
     摘要: 怎样实现数目不定的函数参�? 2006-12-28 erran 实现�Ҏ��一�Q�自定义指针扑ֈ�函数参数的下一个参敎ͼ� // 例子 A �Q? template T umin(T _a, ...) {       ...  阅读全文

erran 2006-12-28 20:21 发表评论

函数指针(全局函数/�c�L��员函�?、函数对�?Function object)

erran — Tue, 26 Dec 2006 05:27:00 GMT
     摘要: 一.   函数指针�c�d��为全局函数 . #include "stdafx.h" #include usin...  阅读全文

erran 2006-12-26 13:27 发表评论

erran — Tue, 30 May 2006 15:35:00 GMT

C 、传�l?span lang=EN-US> C++

#include // 讑֮�插入�?/span>

#include // 字符处理

#include // 定义错误�?/span>

#include // ��点数处�?/span>

#include 　 //文�g输入�Q�输�?/span>

#include 　 //参数化输入／输出

#include 　//数据��输入／输出

#include // 定义各种数据�c�d��最值常�?/span>

#include // 定义本地化函�?/span>

#include 　//定义数学函数

#include // 定义输入�Q�输出函�?/span>

#include // 定义杂项函数及内存分配函�?/span>

#include // 字符串处�?/span>

#include 　//��Z��数组的输入／输出

#include 　//定义关于旉��的函�?/span>

#include // 宽字�W�处理及输入�Q�输�?/span>

#include // 宽字�W�分�c?/span>

//////////////////////////////////////////////////////////////////////////

标准 C++　�Q�同上的不再注释�Q?/span>

#include 　 //STL 通用��法

#include 　//STL 位集容器

#include

#include

#include

#include

#include // 复数�c?/span>

#include

#include

#include

#include

#include 　 //STL 双端队列容器

#include 　 //异常处理�c?/span>

#include

#include 　//STL 定义�q�算函数�Q�代替运��符�Q?/span>

#include

#include //STL �U�性列表容�?/span>

#include //STL 映射容器

#include

#include // 基本输入�Q�输出支�?/span>

#include 　//输入�Q�输出系�l��用的前置声明

#include

#include // 基本输入��?/span>

#include // 基本输出��?/span>

#include 　 //STL 队列容器

#include //STL 集合容器

#include // ��Z��字符串的��?/span>

#include 　 //STL 堆栈容器

#include 　 //标准异常�c?/span>

#include 　 //底层输入�Q�输出支�?/span>

#include 　//字符串类

#include //STL 通用模板�c?/span>

#include 　//STL 动态数�l�容�?/span>

#include

#include

using namespace std;

//////////////////////////////////////////////////////////////////////////

C99 增加

#include // 复数处理

#include // ��点环境

#include // 整数格式转换

#include // 布尔环境

#include 　//整型环境

#include 　//通用�c�d��数学�?/span>

erran 2006-05-30 23:35 发表评论

我的数据实体里常有的几个函数

erran — Tue, 30 May 2006 15:14:00 GMT

在此聊聊我设计数据实体的一些小伎俩^_^ .........

��Z��方便数据的组�l?span lang=EN-US>.�q�算以及数据实体�cȝ��使用, 一般我会把所有数据实体从同一个实体基�cȝ��承而来, 基类里有一些常用的函数, 以类CEntiy��Z��说明如下 :

1.   CEntity(const CEntity& ent);

首先当然是拷贝构造函�?span lang=EN-US>, 在实际��用实体过�E�中�q�个函数很有�?span lang=EN-US>, 当然�?span lang=EN-US>CEntity的派生类中我也会��d��现其�z��cȝ��拯��构造函�?/font> .

2.    virtual ~CEntity();

析构函数, �q�个��׃��必说�?span lang=EN-US>, �?/font> virtual

3. virtual CString GetTypeID(void) const;

此函数返回一�?span lang=EN-US>CString�c�d��的实体标�?span lang=EN-US>, 以标明到底是那个�c?span lang=EN-US>, 在基�c�M��我一般这样实�?span lang=EN-US>: return _T("ENT_UNKNOW");   很显然我会在CEntity的每一个派生类中重载这个函�?span lang=EN-US>, 有了�q�个函数, ��可以很方便的从一个基�cȝ��指针知道其实例化的到底是哪一个派生类的对�?span lang=EN-US>, �q�样��可以很方便的管理系�l�中多个�怼�数据实体, ��可以把所有的数据实体实例化�ؓ基类的指�?span lang=EN-US>, 关于数据实体的接口都可以用基�cȝ��指针或者引用类�?span lang=EN-US>, 而不用去担心他到底是那个�z��cȝ��对象. 当然也可�?span lang=EN-US> virtual int GetTypeID(void) const; virtual DWORD GetTypeID(void) const; virtual DWORD GetClassID(void) const;�{�等�?span lang=EN-US>

4.        virtual void Initiate(void);

数据初始化�?初始化数据实体的数据.

5 �Q?span lang=EN-US> virtual void Reset(void);

数据复位操作。把数据实体复位到某一状�?span lang=EN-US>.

5.        virtual CEntity * Clone(void) const;

克隆数据实体. �q�个函数一般这样实�?span lang=EN-US>: return new CEntity(*this);

6.        virtual void Serialize(CArchive& ar);

数据串行�?span lang=EN-US>. 以实现数据实体左右移方式的对数据实体赋�?span lang=EN-US>,保存�{�操�?span lang=EN-US>. 常把其与CMemFile一起��?span lang=EN-US>,感觉效果很好.唯一不��的是解决数据实体版本升��时的数据一致性的问题很麻�?span lang=EN-US>.

7.        virtual BOOL DataSet(const CEntity& ent);

��h��数据,实现数据实体之间的赋值操�?span lang=EN-US>.�q�个函数主要是�ؓ了解决上一��所提的问题( C++随笔关于virtual poperator = ( 05-22 01:09) ). 可以把他设�ؓprotected�c�d��, �?span lang=EN-US>operator=�l�合��h��使用, �?span lang=EN-US>poperator =调用.

8.           const CEntity& operator=(const CEntity& ent);

赋值操�?span lang=EN-US>.在派生类中也会重�?span lang=EN-US>operator=, 不是重蝲基类�?span lang=EN-US>operator=.

9.        另外如果存在数据比较的话, 会重�?span lang=EN-US>operator==操作�W?span lang=EN-US>.

friend bool operator==(const CEntity& ent1, const CEntity& ent2);

friend bool operator!=(const CEntity& ent1, const CEntity& ent2);

谢谢��x��~~~

以下附三相电��电压数据实体部分实��C��?span lang=EN-US>:

class CThreePhaseEntity: public CEntity

{

public:

       CThreePhaseEntity ();

       CThreePhaseEntity (const CSixPhaseEntity& ent);

       ~CSixPhaseEntity();

public:

       CString GetTypeID(void) const;

       void Initiate(void);

       void Reset(void);

public:

       CEntity * Clone(void) const;

       void Serialize(CArchive& ar);

       BOOL DataSet(const CEntity& ent);

public:

       const CSixPhaseEntity& operator=(const CSixPhaseEntity& ent);

       friend bool operator==(const CSixPhaseEntity& ent1, const CSixPhaseEntity& ent2);

       friend bool operator!=(const CSixPhaseEntity& ent1, const CSixPhaseEntity& ent2);

public:

// 获取三相数据 , 内联函数

       const float& GetSixPhaseData(int nDateType, int nPhaseMark) const;

       // 修改三相数据 , 内联函数

       void SetSixPhaseData(int nDataType, int nPhaseMark, const float& fData);

private:

       float m_gfRange[3]; // �q��?/span> ,

       float m_gfPhase[3]; // �怽� ,

       float m_gfFrequency[3]; // 频率

};

///******cpp 文�g

CThreePhaseEntity:: CThreePhaseEntity ()

{

       Initiate();

}

CThreePhaseEntity:: CThreePhaseEntity (const CThreePhaseEntity & ent)

{

       for(int i=0; i<3; i++)

       {

              m_gfRange[i] = ent.m_gfRange[i];

              m_gfPhase[i] = ent.m_gfPhase[i];

              m_gfFrequency[i] = ent.m_gfFrequency[i];

       }

}

CThreePhaseEntity::~ CThreePhaseEntity ()

{

}

CString CThreePhaseEntity::GetTypeID(void) const

{

       return _T("ENT_THREEPHASE ");

}

void CThreePhaseEntity::Initiate()

{

       for(int i=0; i<3; i++)

       {

              m_gfRange[i] = 0.0f;

              m_gfPhase[i] = 0.0f;

              m_gfFrequency[i] = 0.0f;

       }

}

void CThreePhaseEntity::Reset(void)

{

       for(int i=0; i<3; i++)

       {

              m_gfRange[i] = 57.740f;

m_gfFrequency[i] = 50.0f;

}

m_ gfPhase [0] = 0.0f

m_ gfPhase [1] = -120.0f

m_ gfPhase [2] = 120.0f

}

void CThreePhaseEntity::Serialize(CArchive& ar)

{

       if(ar.IsStoring())

       {

              for(int i=0; i<3; i++)

{

ar<

}

       }

       else

       {

              for(int i=0; i<3; i++)

{

ar>>m_gfRange[i]>>m_gfPhase[i]>>m_gfFrequency[i];

}

       }

}

BOOL CThreePhaseEntity::DataSet(const CEntity& ent)

{

       if(GetTypeID() != ent.GetTypeID()) return FALSE;



       const CThreePhaseEntity * pEnt = reinterpret_cast(&ent);

       (*this) = (*pEnt);

       return TRUE;

}

CEntity * CThreePhaseEntity::Clone(void) const

{

       return new CThreePhaseEntity (*this);

}

const CThreePhaseEntity & CThreePhaseEntity::operator=(const CThreePhaseEntity & ent)

{

       if(this == &ent) return *this;

       for(int i=0; i<3; i++)

       {

              m_gfRange[i] = ent.m_gfRange[i];

              m_gfPhase[i] = ent.m_gfPhase[i];

              m_gfFrequency[i] = ent.m_gfFrequency[i];

       }

       return *this;

}

bool operator==(const CThreePhaseEntity & ent1, const CThreePhaseEntity & ent2)

{

       for(int i=0; i<3; i++)

       {

              if(ent1.m_gfRange[i] != ent2.m_gfRange[i]) return false;

              if(ent1.m_gfPhase[i] != ent2.m_gfPhase[i]) return false;

              if(ent1.m_gfFrequency[i] != ent2.m_gfFrequency[i]) return false;

       }

       return true;

}

bool operator!=(const CThreePhaseEntity & ent1, const CThreePhaseEntity & ent2)

{

       return (ent1 == ent2) ? false : true;

}

erran 2006-05-30 23:14 发表评论

C++随笔关于virtual operator =

erran — Sun, 21 May 2006 17:09:00 GMT

如果在派生类中要重蝲�z��cȝ��operator = �Q�那么在基类中一般不要重载operator = �Q�因��样会带来很多�ȝ��.

定义了两个类�Q?br> class CBase
{
public:
   CBase()
   {
      cout<<"CBase constructing ..."<    }
   virtual ~CBase()
   {
        cout<<"CBase destructing ..."<    }
public:
   CBase & operator=(const CBase & ent)
   {
        cout<<"CBase operator = ... "<         return *this;
    }
};

class CDerive: public CBase
{
public:
     CDerive()
     {
           cout<<"CDerive constructing
     }
     ~CDerive()
     {
           cout<<"CDerive destructing ..."<     }
public:
     CDerive & operator=(const CDerive & ent)
    {
           cout<<"CDerive operator = ... "<           return *this;
     }
}

定义如下操作�Q?br>
CBase * b1 = new CDerive();
CBase * b2 = new CDerive();

(*b1) = (*b2);

可以看到其输��Zؓ�Q?br>CBase constructing ...
CDerive constructing ...
CBase constructing ...
CDerive constructing ...
CBase operator = ...
CDerive destructing ...
CBase destructing ...
CDerive destructing ...
CBase destructing

而实际上�Q�操�?*b1) = (*b2)是想把b1,b2实际所指类型的两个对象之间�q�行赋��|��但是它只是调用了基类的赋值操作，没有执行其本�w�派生类的赋值操作�?br>
发现有两�U�方法可以解册��个问题，如果能够知道基类指针实际所指的是哪个派生类的的对象�Q�直接类型�{换就可以了：

(*((CDerive*)b1)) = (*((CDerive*)b2));

�q�样可以发现输出了：CDerive operator = ... 。但是当要定义基�cȝ��指针的时候，往往隐藏了具体的�z��c�，卛_��往不知道指针到底实现的是哪个派生类�Q�所以这�U�方法有很多局限性�?br>
�q�时候可以采用第二种�Ҏ��Q�即在派生类中重载基�cȝ��赋值操作符�Q�即首先把基�cȝ��operator=定义为virtual operator�Q�，再在�z��c�M��重蝲�q�个�Q�如�Q?br>
CBase & operator=(const CBase & ent)
{
       const CDerive * p = reinterpret_cast(&ent);
       return operator=((*p));
}

好的�Q�当再执�?(*b1) = (*b2) 的时候就可以看到输出�Q�CDerive operator = ... �?br>

在此发现在派生类中重载派生类的operator =的时候，如果在基�c�M��也重载operator = �Q�这样会带来很多�ȝ��Q�可能会丢失很多也许不想丢失的数据�?br>
同样�Q�依�ơ还存在问题�Q?
CBase * b1 = new CDerive();
CDervie * d1 = new CDerive();

(*b1) = (*d1);

CBase * b2 = new CBase ();
CDervie * d2 = new CDerive();
(*b2) = (*d2);

所以我个�h觉得�Q�如果一个基�c�L��很多个派生类的，而派生类中又重蝲了派生类本��n的赋值操作符的时候，则基�c�M��最好不要去重蝲赋值操作符�Q�不如直接用函数去赋倹{��正�?c++�~�程思想>所说那��P��q�算�W�重载只是�ؓ了一�U�语法上的方便，是另外一�U�函数调用方式，如果不能带来方便�Q�就没必要了�Q�还不如直接用函数去代替�?

.............敬请指点..................

erran 2006-05-22 01:09 发表评论

C++随笔关于赋值操�?内存丢失

erran — Sat, 20 May 2006 16:47:00 GMT

开发中发现在进�?nbsp;赋值操作的时候，很容易内存丢失，看实例：

class CEntity
{
public:
    CEntity(char flag);
    ~CEntity();
private:
    char m_flag;
};
CEntity::CEntity(char flag)
{
    m_flag = flag;
    cout<<"constructing entity "<}
CEntity::~CEntity()
{
cout<<"destructing entity "<}

执行代码�Q?br>int main(int argc, char* argv[])
{
    CEntity m('m'),n('n');
    m = n;
    return 0;
}

输出为：
constructing entity m
constructing entity n
destructing entity n
destructing entity n

�q�个没有出现��M��问题�Q�很成功�Q�因为在CEntity里面没有new��M��东西�Q�如果把CEntity该�ؓ�Q?br>class CEntity
{
enum {SIZE = 10};
public:
    CEntity(char flag);
    ~CEntity();
private:
    char * m_flag;
};
CEntity::CEntity(char flag)
{
    m_flag = new char[SIZE ];
    m_flag[0] = flag;
    cout<<"constructing entity "<}
CEntity::~CEntity()
{
cout<<"destructing entity "<delete[] m_flag;
}

执行同样的main函数�Q�程序将无法�q�行�Q�debug assertion error!

�q�个问题该怎么解决�Q?/font> 先睡�?br>

如oosky所��_��重蝲了赋值操作符�Q�问题就解决了，

CEntity & CEntity::operator=(const CEntity & ent)
{
    if (ent.m_flag == NULL)
    {
        if (m_flag != NULL)
        {
            delete [] m_flag;
            m_flag = NULL;
        }
    }
    else
    {
        if (m_flag == NULL)
        {
            m_flag = new char[SIZE];
        }

        for(int i=0; i        {
               m_flag[i] = ent.m_flag[i];
        }
    }
   return *this;
}

由此可见自定义对象之间的赋值操作要��心行事.....

erran 2006-05-21 00:47 发表评论

C++随笔 delete void *

erran — Sat, 20 May 2006 15:48:00 GMT

用了�q�么久的C++�Q�才发现C++是目前所有的�~�成语言中最为复杂的一�U�，C++之�\,   艰难.....


            delete void *

           �q�一操作对于一些简单的�pȝ��内徏�c�d��不会有问题，但如果void*所指向的对象在析构函数里要释放�Q�进行此造作会丢失内存，因�ؓ它不执行析构函数�Q�例如：

class CEntity
{
public:
    CEntity(char flag);
    ~CEntity();
private:
    void * m_data;
   char   m_flag;
};

CEntity::CEntity(char flag)
{
   m_flag = flag;
    cout<<"constructing entity "<    m_data = new char[100];
}

CEntity::~CEntity()
{
    cout<<"destructing entity "<    delete[] m_data;
}

以上�q�个�c�L��没什么问题的�Q�但是看以下的调用：
int main(int argc, char* argv[])
{
       CEntity * a = new CEntity('a');
       delete a;

       void * b = new CEntity('b');
       delete b;

       return 0;
}

其输��Zؓ�Q?nbsp;constructing entity a
                       destructing entity a
                       constructing entity b
可见�Q�delete b 的时候没有释放m_data所指向的内存，没有执行析构函数�?nbsp;



erran 2006-05-20 23:48 发表评论

亚洲综合久久久,久久久综合香蕉尹人综合网,精品一区二区久久

转：字节寚w��详解

一.什么是字节寚w��,��Z��么要寚w��?

�?字节寚w��对程序的影响:

�?�~�译器是按照什么样的原则进行对齐的?

�?如何修改�~�译器的默认寚w���?

�?针对字节寚w��,我们在编�E�中如何考虑?

�?字节寚w��可能带来的隐�?

�?如何查找与字节对齐方面的问题:

转：C++对象内存布局

stdcall调用规范

cdecl调用规范

fastcall调用规范

thiscall调用规范

naked call调用规范

函数调用�U�定��D��的常见问�?/font>

转：C++�?�U�类型�{�?

转：堆和栈的区别

C++中成员函数的重蝲、覆盖与隐藏

成员函数的重载、覆盖（override�Q�与隐藏很容易�؜淆，C++�E�序员必��要搞清楚概念，否则错误���防不胜阌Ӏ?span>

转：C++�c�d��介绍

转：Little Endian & Big Endian

函数指针(全局函数/�c�L��员函�?、函数对�?Function object)

我的数据实体里常有的几个函数

C++随笔 关于virtual operator =

C++随笔 关于赋值操�?内存丢失

C++随笔 delete void *

�?如何修改�~�译器的默认寚w��?

成员函数的重载、覆盖（override�Q�与隐藏很容易�؜淆，C++�E�序员必��要搞清楚概念，否则错误��防不胜阌Ӏ?span>

C++随笔关于virtual operator =

C++随笔关于赋值操�?内存丢失