在类声明中使用自己的类作为类型参数约束

当我在混合中添加另一个类并将其作为约束使用时,它可以正常工作:

AnotherTestClass = class
end;

TestClass = class;
TestClass = class
  function test(supplier: TFunc): T; // No Error
end;

我怀疑问题是前向类型声明没有告诉Delphi足够的TestClass类型.这可能更明显,因为以下尝试解决该问题会在不同的行上抛出相同的编译器错误:

TestClass = class;
AnotherTestClass = class (TestClass) // Compiler Error
end;
TestClass = class
  function test(supplier: TFunc): T;
end;

我做错了什么,如果没有,是否有解决这个问题的方法？

你没有做错任何事.您正在尝试的应该是可能的,但在我看来,编译器是有缺陷的.如果不完全改变设计,就没有可行的方法来解决这个问题.解决该问题的一种方法是在运行时强制执行约束.然而,在我看来,这将完全改变设计.

请注意,在.net中,您尝试做的事情是完全可能的:

class MyClass
{
    private static T test(Func arg) where T : MyClass
    {
        return null;
    }
}

type
  TestClass = class
  end;

  TestClassHelper = class helper for TestClass
    function test(supplier: TFunc): T;
  end;