一、引用
“引用”是C++中引入的重要概念之一。指针的不安全使人们对它诟病颇多,C++引用机制恰如其分的解决了这一问题。在C++语法上,引用和指针是不同的,但在内部实现机制上,它们是完全相同的——所以,引用和指针在机器码层次没有效率高下。
来个例子,先分析之。我们有一个Test.cpp文件如下:
- #include
- int main()
- {
- intiVal = 25;
- int* pInt = &iVal;
- int& iRef = iVal;
- printf("*pInt = %d, iRef = %d/n", *pInt, iRef);
- return 0;
- }
我们编译之:cl /FAs Test.cpp。便在当前目录下获得 Test.asm 汇编文件。打开之,如下:
为了容易理解,我将部分稍微改动了下。但有详尽的注释,相信很容易理解。我们看到,程序将局部自动变量分配在栈中。而将常量字面值字符串放入CONST段。代码很显然在_TEXT段。在使用外部函数时,需用exrern导入。就像printf——为什么我们不用std::cout实现输入呢?因为这样生成的汇编文件确实有点大,因为会导入很多的库函数,可能只这些导入代码就得200多行!为了理解简便,我们用printf替代之——反正效果一样!
我们稍微分析下,就可以看到iVal、pInt和iRef所占空间都是4字节。很容易理解,因为我的机子系统是32位WinXP。其余不重要,唯有27~42行是重点。对照注释,我们发现,对pInt指针和iRef引用的实现代码一模一样!都将它们用iVal的地址初始化:
[cpp]view plaincopy
- leaeax, DWORD PTR _iVal$[ebp]; 取iVal的地址
- movDWORD PTR _pInt$[ebp], eax; 将iVal地址赋给pInt指针
- leaecx, DWORD PTR _iVal$[ebp]; 取iVal的地址
- movDWORD PTR _iRef$[ebp], ecx; 将iVal地址赋给iRef引用
既然指针和引用实现机制完全一样,为什么在C++中还要引入“引用”的概念呢?引用是对程序员来说的,我们可以通过引用,写出更安全、更健壮的程序来。我们接着看:
二、结构
我们接着看结构在内存中的存放方式和其使用。依然看程序:
[cpp]view plaincopy
- #include
- typedef struct
- {
- intiVal;
- intiTem;
- char ch;
- } S;
- S f()
- {
- S Re;
- Re.iVal = 25;
- Re.iTem = 30;
- Re.ch= 'A';
- return Re;
- }
- int main()
- {
- S val;
- val = f();
- printf("iVal = %d, iTem = %d, ch = %c", val.iVal, val.iTem, val.ch);
- return 0;
- }
呃,很简单的程序。但可以反映出很多的知识来!依然cl /FAs Test.cpp,我们挑重要的代码段来看:
1.Main函数对应汇编代码:
有详尽的注释,看懂应该不难。可见,在调用函数f之前,分配了两个临时变量用以复制传递函数返回值!因为在函数调用时,栈的某处已经存放的是临时变量temp1的指针(看69和70行),在函数f中,最后返回时,将Re的值全部复制到temp1中——当然是通过这个指针来作为桥梁实现的。
2.f函数对应的汇编代码:
在_TEXT代码段中,我们可以发现这样的函数。首先用public声明函数f,然后为局部变量Re分配12字节空间。等等!!我们的结构中只有2个int占4字节,ch占1字节,总共9字节。为什么给Re分配了12字节?!!这就是编译器的高深之处了。数据结构中的数据变量都是按定义的先后顺序来排放的,第一个数据变量的起始地址就是数据结构的起始地址,结构体的成员变量要对齐排放。所以编译器自动帮你实现了内存对齐——为ch扩展了3个字节的对齐空间。保证它们都对齐在以4为边界的内存处。
在49行,函数返回时,首先将临时变量指针存入eax所以在main函数那张图上对应74行之下代码都可以顺利执行。通过此例看出,对一个结构的返回,来来回回需复制3次!——这是不优化的情况。其实对于这种情况,再优化也得复制2次!!对于这样的小结构来说还不算什么,但对庞大的结构来说,就必须考虑其开销了——不管是空间还是时间开销!这也是为什么鼓励通过指针或引用来传递返回值获传递参数的原因了。
注意:对于稍大的结构来说,通过传递指针或引用来调用参数是肯定没错的。但对像int、float、char等等单个变量,用引用或指针来传递参数或返回值,是得不偿失的!因为只需用一个寄存器便可完成传递,而不必再执行开辟局部变量、临时返回变量空间,对指针进行操作等等繁杂的步骤了。
三、类
接着我们看类的实现。依然是例子。
[cpp]view plaincopy
- #include
- #include
- struct _A
- {
- int a;
- int b;
- void f()
- {
- printf("%d, %d", a, b);
- }
- };
- class _B
- {
- public:
- virtual void f()
- {
- printf("%d, %d", a, b);
- }
- int a;
- int b;
- };
- int main()
- {
- _A a;
- _B b;
- a.a = a.b = 25;
- b.a = b.b = a.a + a.b;
- a.f();
- b.f();
- return 0;
- }
代码依然很简单。我们分别用struct和class声明了两个类:_A和 _B。有什么区别吗?_A是用struct声明的,成员函数f是非虚的;_B是用class声明的,成员函数f是虚函数,除此无他。接下来的事情变得简单有趣:依然 cl /FAs Test.cpp。获得汇编文件Test.asm。打开之,呃,汇编代码有些长。
我们曾经在书本上这样学:“struct和class都可以声明类,除了struct的成员默认是public的,class声明的成员默认是private的之外,并无区别。”这句话非常对。我们看其汇编代码(有些地方我为了理解方便,把那些诸如“@??_C@_06PHGHDMGF@?$CFd?0?5?$CFd?$AA”吓人的字符串改为相对应有意义的字符串了):
1.Main函数:
依然_TEXT代码段中。开始处有三个public函数声明。通过详尽的注释,可以轻易看出它们分别是类_A、_B的成员函数及构造函数——但是我们并没有给_B声明构造函数啊!我们已经知道,类如果没有构造函数,则编译器会为它自动生成一个无参数构造函数。但为什么_B自动生成了,而_A却没有呢?噢!_A中的f函数不是虚函数(这与是用struct还是class声明类无关)。
然后为局部自动变量a、b分配空间。a有8字节,b有12字节。等等,_A和_B的数据成员一模一样,我们知道,成员函数是不占用类对象存放空间的,那为什么b的空间比a多呢?显然这儿不是为内存对齐而准备的!仔细一瞧,_B的f函数有virtual关键字——这就决定了_B声明的对象都会自带一个虚函数表指针(VfTable),我们知道指针占4字节,所以b对象就比a对象多了4字节空间。
通过注释C++代码看出,然后构造了两个变量。通过汇编看出,a对象没有任何操作——因为它没有缺省构造函数,编译器也不会为其生成。而通过我给出的汇编注释可看出,对b对象的构造,先将b的地址放入ecx,然后调用其构造函数。我们只需记住:“在调用对象的成员函数之前,必先将对象指针放入ecx,然后紧接着调用函数!”在成员函数中,ecx中的指针就被当做this指针。简单而深刻!
接下来的代码简单易懂——分别为a、b成员赋值。然后分别调用a和b的成员函数f——首先将对象地址放入ecx,接着调用。Main函数很是简单。我们接着一一解析其余三个函数。
2._B::_B:编译器自动生成的构造函数
先为this指针在栈中分配4字节空间。将ecx中的this指针保存到栈中。然后再184行设置其虚函数表。这个__B@@VfTable是什么呢?稍前我们可以看到:
可以看到,在虚函数表中只有169的一项:__B@@f即是_B的成员函数f了。其实,除了虚函数
表外,还有其他的东西。比如RTTI运行时信息、类继承等等信息。你可以自己看下。通过这儿,
我们理解了为什么编译器非要给没有构造函数的类生成构造函数的原因——因为它要进行虚函
数表、设置RTTI信息等等一系列操作!
3._A::f函数
通过注释,很容易理解。76行的szPrintInfo就是字符串“%d, %d”。其余均无难度。
4._B::f函数
和_A::f的实现并无多大区别。
通过上面一系列犀利的操作,我们可以得出下面结论:
1>类的数据成员在内存中的存放是连续的,存放次序与类体中的声明次序一模一样。
2>类的数据成员如果没有对齐,有的编译器会为之自动对齐——注意,这儿是“有的编译器”!
3>如果类没有任何构造函数,且它有虚函数时,编译器必须为之自动生成一个默认无参数构造函数。否则,不进行任何自动生成操作。
4>类的构造函数(无论是自己写的还是编译器自动生成的)中,都会先设置虚函数表——如果此类有虚函数的话。
5>类的所有成员函数(包括构造与析构),都不占用对象的存储空间——因为它们都是在外部的。
6>如果一个类有虚函数(可以是多个),则其声明的对象在开头4字节有一个虚函数表指针(VfTable)。当类没有虚函数时,并不会有虚函数表产生。
7>类对象在调用成员函数(包括构造与析构)时,必先将对象地址存放到ecx中,紧接着(注意这三个字)调用其成员函数。
8>在类的成员函数中,函数通过传递来的存放于ecx中的this指针来引用数据成员。
【用汇编分析C++程序】我的总结就是这些。你可以通过查看继承、模板、RTTI、多态等等C++机制的汇编代码可以获得其实现机制——强烈建议你这么做,这样,我们学到的不只是怎样用这门优雅的语言,而更会了解其本质!