Использование собственного класса в качестве параметра типа ограничения в объявлении класса

Question

У меня есть следующее объявление класса в Delphi X Е8:

TestClass = class; 
TestClass = class 
    function test<T: TestClass>(supplier: TFunc<T>): T; // Compiler error 
end; 

Который проливает следующее сообщение об ошибке компилятора:

E2086 Type 'TestClass' is not yet completely defined 

Когда я добавляю другой класс в смеси и использовать его в качестве ограничения вместо этого, он отлично работает:

AnotherTestClass = class 
end; 

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

I susp Проблема заключается в том, что объявление прямого типа еще не сообщает Delphi о типе TestClass. Это, пожалуй, более очевидна, так как следующая попытка обойти проблему бросает ту же самую ошибку компилятора на другой линии:

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

Я делаю что-то неправильно, и если нет, то есть ли способ обойти эту проблему?

Answer 1

Вы не делаете ничего плохого. То, что вы пытаетесь, должно быть возможно, но компилятор, на мой взгляд, неисправен. Нет никакого жизнеспособного способа обойти это без полного изменения дизайна. Один из способов обойти эту проблему - обеспечить принуждение к ограничению во время выполнения. Однако это, на мой взгляд, могло бы полностью изменить дизайн.

Обратите внимание, что в .net, что вы пытаетесь сделать, это вполне возможно:

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

Функция дженерики Delphi была основана на .net дженериков, и я подозреваю, что проблема вы сталкиваетесь вниз по недосмотру со стороны разработчиков Delphi.

Вы должны отправить сообщение об ошибке/запрос функции.

Update 1

LU RD предлагает лучшее решение. Использовать классный помощник:

type 
    TestClass = class 
    end; 

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

Это позволит вам испытывать ограничения во время компиляции. Тем не менее, это заставляет вас определять метод вне функции, которая является неопрятной, и она останавливает вас с помощью помощника класса для любых других целей. Таким образом, вы должны представить отчет об ошибке/запрос функции на мой взгляд.

Update 2

Отчет об ошибке: RSP-13348