类助手（Class Helper）破坏虚方法重写的技术咨询

program Project1;

{$APPTYPE CONSOLE}

{$R *.res}

uses
  System.SysUtils;

type
  TC1 = class
    procedure m; virtual;
  end;

  TC2 = class(TC1)
    procedure m; override;
  end;

  THelper = class helper for TC1
    procedure m;
  end;

procedure TC1.m; begin WriteLn('C1') end;
procedure TC2.m; begin WriteLn('C2') end;
procedure THelper.m; begin inherited m end;

procedure p(c : TC1);
begin
  C.m
end;

begin
  var C := TC2.Create;
  p(c);
  ReadLn
end.

问题现象 #

代码中基类TC1定义了虚方法m，子类TC2重写该方法，同时为TC1添加了类助手THelper并定义同名方法m。预期调用p(c)时会触发TC2的m方法输出C2，但实际输出C1；注释掉THelper及其m方法后，输出恢复为C2。

核心原因 #

Delphi类助手的方法会静态遮蔽原类的同名虚方法：

• 当类助手存在同名方法时，编译器会优先将调用绑定到助手的方法，而非触发虚方法的动态派发。在p(c)中，参数c为TC1类型，c.m被静态绑定到THelper.m。
• THelper.m中的inherited m并非指向虚方法表的实现，而是直接调用TC1的原始m方法，完全绕开了TC2的重写逻辑，因此输出C1。

修复方案 #

方案1：避免助手中定义同名虚方法 #

直接删除THelper中与TC1虚方法同名的m方法，保留原有继承体系的动态派发逻辑。

方案2：强制触发动态派发 #

如果必须在助手中保留同名方法，可通过显式指定原类类型调用，强制走虚方法表：

procedure THelper.m;
begin
  // 显式调用TC1的虚方法，触发动态派发
  Self.TC1.m;
end;

修改后，Self.TC1.m会根据对象实际类型（TC2）调用对应的重写方法，输出C2。

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