如何检查 Delphi 类是否被声明为抽象类？

Question

在 Delphi 中是否可以使用 RTTI（或其他东西）来检查一个类是否被声明为抽象类？ 比如：

TMyAbstractClass = class abstract(TObject)
  // ...
end;

...

if IsAbstract(TMyAbstractClass.ClassInfo) then
  ShowMessage('Yeah')
else
  ShowMessage('Computer says no...');

Answer 1

我没有足够新的版本来直接回答您的问题，但请记住，类是否是抽象的并不真正重要。所做的只是让编译器阻止你直接在类上调用构造函数。如果您将类引用放入类引用变量中，编译器将允许您调用该变量的构造函数，并且在运行时您将拥有一个本应不可实例化的类的实例。

var
  c: TClass;
  o: TObject;
begin
  c := TMyAbstractClass;
  o := c.Create;
  Assert(o is TMyAbstractClass);
end;

真正重要的是类是否有抽象方法。你可以很容易地检查。查看班级的 VMT。任何包含指向System._AbstractError 的指针的虚方法槽都是抽象方法。棘手的部分是知道要检查多少虚拟方法槽，因为没有记录。 Allen Bauer demonstrated how to do that 在对 another question 的回答中，但在 cmets 中，Mason Wheeler 指出它可能会返回比应有的更大的值。他提到了JCL 中的GetVirtualMethodCount 函数，它应该可以更准确地计算用户定义的虚拟方法。使用该函数和同样来自 JCL 的 GetVirtualMethod，我们得到了这个函数：

function HasAbstractMethods(c: TClass): Boolean;
var
  i: Integer;
begin
  Result := True;
  for i := 0 to Pred(GetVirtualMethodCount(c)) do
    if GetVirtualMethod(c, i) = @_AbstractError then
      exit;
  Result := False;
end;

如果一个抽象类没有抽象方法，那么它到底能有多抽象呢？它必须被标记为抽象以防止开发人员创建它的实例，但如果你真的想要，无论如何你都可以创建它的实例，因此标记抽象类实际上更像是一个警告，而不是任何实际的使用限制。

Answer 2

快速浏览 TypInfo 单元并没有发现任何有用的信息。我认为“抽象类”的概念纯粹是为了编译器的利益。它给了它一个强制执行的规则——没有这个类的实例化，只有它的后代——但在运行时并没有真正做任何事情，所以没有必要为它记录任何 RTTI。

出于好奇，您为什么还要尝试找出这个问题？