例如有如下一段C++代码:
#include <iostream>
#include <conio.h>
using namespace std;
class A
{
public:
int m;
A();
A(int i);
};
A::A()
{
cout<<"A()"<<endl;
}
A::A(int i)
{
m = i;
cout<<"A(int)"<<endl;
}
void main()
{
clrscr();
int i =5;
A a; //注意这里
getch();
}
编译后能够正确显示“A()”,但如果我们把倒数第三行改为A a()呢?
我们都知道,如果采用A *a = new A()动态分配,会默认执行构造函数A::A()的内容,所以会显示“A()”,但如果改为A a()呢?上述代码编译也能通过,但如果语句中有试图访问A的成员变量或函数时候,编译器会报错,报告并没有这个成员函数或变量。似乎并没有给a在栈上分配空间,但似乎我们又并不确定,接下来我们通过代码的汇编语句来揭示我们的猜想。我们分别对A a;和 A a();的情况做反汇编。
编译器方便起见我用BCC 3.1,其他编译器类似。反汇编后,我们提取关键部分:
(1)、 A a情况下的:
push bp
mov bp,sp ;给帧指针赋值
sub sp,2 ;在栈上分配2个字节空间(后面的局部变量a的大小,本质就是一个int m)
;
; {
; clrscr();
;
call near ptr _clrscr
;
; A a;
;
lea ax,word ptr [bp-2] ;把刚分配的2个字节的Class A的首地址赋给AX
push ax ;寄存器AX的值入栈(),防止被下面函数修改
call near ptr @A@$bctr$qv ;调用构造函数A()
pop cx ;出栈保存到CX,因为AX通常用来做函数返回值,所以这里用CX
;
; getch();
;
call near ptr _getch
;
; }
;
mov sp,bp ;恢复调用者的栈指针
pop bp ;恢复调用者的帧指针
ret ;栈指针和帧指针恢复完毕,该函数(main)返回
(2)、 A a()情况下的:
push bp
mov bp,sp
;
; {
; clrscr();
;
call near ptr _clrscr
;
; A a();
; getch();
;
call near ptr _getch
;
; }
;
pop bp
ret
很明显,并没有对A a()做任何操作,也没有在堆栈上分配一个属于a的空间,更谈不上调用构造函数,编译器只是简单的把该定义给忽略。
至此,我们不再怀着猜测的预期从幕后回到台前,一切都已经了然于胸,印证了我们先前的猜想。另外,A a()后调用A的成员时候编译器报错的问题也能够很好解释了。
结论就是:ClassA A()什么都没做。 (此时无数鸡蛋一起向我扔来,闪!)
注:上述汇编代码由BCC3.1生成,BCC 3.1是一个16位的编译器,在处理某些类型的长度上(例如int,指针)和32位编译器有出入。