Delphi汇编级初探

 

----- 老鳃 -------- 

 

考虑如下这个简单类ttest

unit Unit1;

interface

uses
Windows, SysUtils, Variants, Classes;

type
ttest = class
public
j:integer;
i:integer;
function aa(b,c: integer):integer;stdcall;
end;

implementation

function ttest.aa(b,c: integer):integer;stdcall;
begin
Result := b + i + c;
end;

end.

调用代码如下

var a:ttest;
j:integer;
begin
a := ttest.Create;
a.i := 50;
j:= a.aa(10,20);
end;

一。观察j := a.aa(10,20)的编译结果：

[要点]:
按stdcall调用传参数方式,从右到左将参数压栈,因为是对象的函数调用,
所以最后将对象的地址压栈,然后调用方法.

二。观察aa成员函数的编译结果：

[要点]:

1.对象地址获取：[ebp+$08],即最后一个压栈的参数(stdcall,其他调用
方式根据压栈顺序可以同理计算出来)

2.成员变量值的获取方法,i的偏移是8,因为是第二个整型数.

三。根据上面的分析,可以用汇编实现aa成员函数如下：

{用汇编实现该函数如下}
function ttest.aa(b,c: integer):integer;stdcall;
asm
mov eax,[ebp+$0c] //Result := b
mov edx,[ebp+$08] //获取对象/self地址 -> edx
add eax,[edx+i] //加上成员变量i的值(i在此为相对于self的偏移:
//Result := Result + i;
add eax,[ebp+$10] //Result := Result + c;
end;

[要点]:

1.Delphi过程/函数内嵌汇编中只有eax/ecx/edx可以随意使用,eax一般默认
作为函数的返回值存放寄存器.
2.其它寄存器要在过程/函数内使用时,最好先压栈,退出前还原.

 

 

----- 老鳃 -------- 

 

   本节将来详细研究一下DELPHI的事件机制,事件在底层实践上说白了就是过程/函数地址的扩展,一般过程/函数指针保存的就是纯粹的4个字节(32位操作系统)的过程/函数地址,对比如下:

 

  type

    TSimpleEvent = procedure(Sender: TObject) of object;

    TProcPointer = procedure(Sender: TObject);

 

   从定义上看,差别很明显,在于事件多了个" of object ",什么意思呢,因为事件过程往往定义在别的类的成员过程/函数,作为类成员过程/函数,肯定需要对象地址信息(用来访问对象成员变量),所以事件信息中除了过程/函数地址外还需要一个对象地址,如此可以推测事件和一般过程/函数指针的大小应该不一样,编写代码测试一个会发现:

 

    SizeOf(TSimpleEvent) 等于 8;

    SizeOf(TProcPointer ) 等于 4;

  

   下面我们就来验证一下以上的推测:

   

   新建一简单DELPHI工程,在form1中增加两个TSimpleEvent事件:

unit Unit1;

interface

uses
  Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
  Dialogs;

type
  TSimpleEvent = procedure(Sender: TObject) of object;
  TProcPointer = procedure(Sender: TObject);

  TForm1 = class(TForm)
    procedure FormCreate(Sender: TObject);
  private
    Faa: TNotifyEvent;
    Fcc: TNotifyEvent;

    procedure DoEvent(Sender: TObject);
    procedure Setaa(const Value: TNotifyEvent);
    procedure Setcc(const Value: TNotifyEvent);
  public
    property aa: TNotifyEvent read Faa write Setaa;
    property cc: TNotifyEvent read Fcc write Setcc;
  end;

 

var
  Form1: TForm1;
  iEventAddr: Integer; //事件过程地址
  i,j:integer;

implementation

 

{$R *.dfm}

procedure TForm1.DoEvent(Sender: TObject);
begin
  showmessage('DoEvent');
end;

 

procedure TForm1.FormCreate(Sender: TObject);

begin

  //设置事件属性
  aa := DoEvent;
  cc := DoEvent;

 

  asm
    mov eax,offset DoEvent
    mov iEventAddr,eax
  end;

 

  i := integer(@@cc);  //cc事件变量地址!!事件变量前加一个@表示内容
  j := integer(@@aa);  //aa事件变量地址
end;

 

procedure TForm1.Setaa(const Value: TNotifyEvent);
begin
  Faa := Value;
end;

 

procedure TForm1.Setcc(const Value: TNotifyEvent);
begin
  Fcc := Value;
end;

 

end.

 

在"  j := integer(@@aa);  //aa事件变量地址" 处设置断点,运行到这里后,再按F8跳到过程末尾,然后按Ctrl+Alt+C查看j地址处内存:

 

    

 

  发现两个事件变量保存的前4个字节都和iEventAddr(即事件处理过程DoEvent的地址)相同,即$4520C0,然后看看后4个字节内容$D51FE0,是否就是当前窗体对象地址呢,现在来验证一下:

   按CTRL+F7 查看@Form1 为$455BFC:

    

然后来看看该内存处的内容,果然为$D51FE0:

    

   真相大白了,事件变量保存的内容果然是过程/函数地址和过程/函数所属类的对象地址,OK,先研究到这里,欲知更详细内幕,且听下回继续分解......