一个问题:关于类型转换Type Cast（汇编讲解 as 语法）

问题如下:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34

TBase = class     end;     TChild = class(TBase)   public     F1:Integer;     procedure Say;   end;   implementation   {$R *.dfm}   procedure TForm3.FormCreate(Sender: TObject); var   A:TBase;   B:TChild; begin   A:=TBase.Create;   try     B:=A as TChild;//编译成功,但是运行报错     B.Say;   finally     A.Free;   end; end;   { TChild }   procedure TChild.Say; begin   ShowMessage('%D',[F1]); end;

首先,为什么会报错?编译成功代表语法没有问题.
我们看看As 是怎么实现的?

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30

function _AsClass(Child: TObject; Parent: TClass): TObject; {$IFDEF PUREPASCAL} begin   Result := Child;   if not (Child is Parent) then     Error(reInvalidCast);   // loses return address end; {$ELSE} asm         { ->    EAX     left operand (class)    }         {       EDX VMT of right operand        }         { <-    EAX      if left is derived from right, else runtime error      }         TEST    EAX,EAX//如果对象是Nil就退出         JE      @@exit         MOV     ECX,EAX @@loop:         MOV     ECX,[ECX]//获取自己的类型         CMP     ECX,EDX//与要转换的类型进行比较         JE      @@exit//一样就退出         MOV     ECX,[ECX].vmtParent//不一样就取父类来比较         TEST    ECX,ECX//判断父类是否为空.         JNE     @@loop           {       do runtime error        }         MOV     AL,reInvalidCast//如果都不能匹配就报错         JMP     Error   @@exit: end; {$ENDIF}

可以看到As会对类型进行一些列要求,而且是必须的.
如果我们把代码改一下用强制类型转换看看:

1 2 3 4 5 6 7 8 9 10 11 12 13

procedure TForm3.FormCreate(Sender: TObject); var   A:TBase;   B:TChild; begin   A:=TBase.Create;   try     B:=TChild(A);//没有错误     B.Say;//但是 弹出来的数据非0   finally     A.Free;   end; end;

现在运行不会错了,但是弹出来的数据却不是0,为什么?成员变量会初始化的,那么如果创建一个TChild对象的话,
F1就应该是0,不管我们写没有写F1:=0;
要解释这个就需要用到我们之前的知识了.
正常情况下,A的内存:

偏移	0-3	4-7
内容	TBase的地址	$00000000

正常情况下,B的内存:

偏移	0-3	4-7	8-B
内容	TChild地址	$00000000	F1变量的值

也就是F1位于对象地址后面8个字节处.
那么上面的代码中,我们TChild.Say; 会用到F1,而我们把A当成TChild的实例了,是吧?那么去找F1,它就会跑到A+8的地方去,
但是我们看见实际A+8的地方不属于A管,所以这4个字节是未知的,没有被初始化成0,所以报出来也不太可能是0了.
谁叫A是下黑手去抢的内存.

从上面我们可以看到直接强制类型转换速度效率会快一些,所以我们在明白这样转换不会出问题就多用这样转换,但是这中间缺少检验的过程,所以有时候转换后结果可能会错误.
所以我们需要注意了:

1 2	If Sender Is TButton then     TButton(Sender).XXX;//别再用Sender As TButton了,都判断过了

好,今天就唠叨到这里,我是DH.