斯是陋室,惟吾德馨

除了技术,还有更多值得关注……

  博客园 :: 首页 :: 博问 :: 闪存 :: 新随笔 :: 联系 :: 订阅 订阅 :: 管理 ::

    例如有如下一段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位编译器有出入。

posted on 2006-12-30 18:18  Alex Lee  阅读(469)  评论(3编辑  收藏  举报