Delphi中未初始化TForm变量调用Close为何无访问违例且等效Self.Close

你的两个猜测全部不成立，代码不存在你说的两种解析情况：

• Delphi语法中，成员访问符.前后本来就允许插入任意空白（空格、换行、制表符都合法），但不存在“点号单独作为语句结尾”的语法，你单独写一行MyHelloVar.根本无法通过编译，会直接报语法错误。
• 这段代码是被正常解析为对MyHelloVar变量调用Close方法，没有隐式添加Self前缀。你可以简单验证：把MyHelloVar的类型改成没有Close方法的类，比如TButton，这行代码会直接编译报错，足以证明编译器确实在查找MyHelloVar对应类型的成员。

核心原因：未初始化局部变量的栈残留值刚好等于Self #

你遇到的是典型的未定义行为，只是刚好在当前测试环境下踩中了栈内存的残留规律：

1. 32位Delphi默认使用register调用约定，类实例方法的隐式Self参数会通过EAX寄存器传入方法内部。如果方法逻辑中需要用到Self，编译器建立栈帧时，会把EAX存储的Self指针暂存到栈上的固定位置。
2. 你写的Button1Click方法里，MyHelloVar是唯一的局部变量，编译器给局部变量分配栈空间时，预留的4字节（32位程序指针长度）位置，刚好就是编译器用来暂存Self的位置。
3. Delphi对非托管类型的局部变量不会做自动初始化，局部变量的初始值就是对应栈位置上的现有残留值——所以MyHelloVar这个未赋值的野指针，刚好用到了暂存的Self值，指向的就是当前运行的主窗体实例本身。
4. 这种情况下调用MyHelloVar.Close，本质上就是调用Self.Close，自然不会触发访问违例，执行效果也完全一致。

验证方法 #

你只要稍微改动代码结构，打破这个栈内存的巧合，这个现象会立刻消失：

procedure TForm1.Button1Click(Sender: TObject);
var
  MyHelloVar: TForm;
  i: Integer; // 新增一个局部变量
begin
  i := 0; // 给新变量赋值，覆盖对应栈位置的原有值
  MyHelloVar.Close; // 此时MyHelloVar是随机野指针，调用会直接触发访问违例
end;

你也可以在现有代码中加一句调试输出，就能看到MyHelloVar的值确实和Self完全相等：

ShowMessage(Format('MyHelloVar指针：%p，Self指针：%p，是否相等：%s',
  [Pointer(MyHelloVar), Pointer(Self), BoolToStr(MyHelloVar = Self, True)]));

在你当前的测试环境下，两个指针值完全一致，判断结果为True。

注意：这是完全不可靠的未定义行为，触发条件和编译器版本、编译优化选项、方法内的代码布局、调用约定强相关，只要任意条件变动现象就会消失，绝对不能在生产代码中依赖这种巧合。

内容的提问来源于stack exchange，提问作者emailx45