Utilizzando propria classe come vincolo parametro di tipo nella dichiarazione di classe

Question

Ho la seguente dichiarazione di una classe a Delfi XE8:

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

che getta il seguente errore del compilatore:

E2086 Type 'TestClass' is not yet completely defined 

Quando aggiungo un'altra classe al mix e usa quella come vincolo invece, funziona bene:

AnotherTestClass = class 
end; 

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

I susp Il problema è che la dichiarazione del tipo forward non dice ancora abbastanza a Delphi sul tipo TestClass. Questo è forse più evidente in quanto il seguente tentativo di aggirare il problema getta lo stesso errore del compilatore su una linea diversa:

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

sto facendo qualcosa di sbagliato e se non, c'è un modo per aggirare questo problema?

Answer 1

Non stai facendo niente di male. Quello che stai tentando dovrebbe essere possibile, ma il compilatore è, a mio avviso, difettoso. Non esiste un modo praticabile per ovviare a questo senza modificare completamente il design. Un modo per risolvere il problema sarebbe quello di applicare il vincolo in fase di esecuzione. Tuttavia, ciò avrebbe dovuto, ai miei occhi, cambiare completamente il design.

Si noti che in .net ciò che si sta cercando di fare è perfettamente possibile:

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

La caratteristica generici Delphi è basata su farmaci generici .net e io invece sospetto che il problema si faccia è giù per una svista da parte degli sviluppatori Delphi.

È necessario inviare una segnalazione di bug/richiesta di funzionalità.

Aggiorna 1

LU RD suggerisce una soluzione migliore. Utilizzare un helper di classe:

type 
    TestClass = class 
    end; 

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

Ciò consentirà di verificare il vincolo in fase di compilazione. Tuttavia, ti costringe a definire il metodo al di fuori della funzione che è disordinato e ti impedisce di utilizzare un helper di classe per qualsiasi altro scopo. Quindi, dovresti comunque inviare una segnalazione di bug/richiesta di funzionalità nella mia vista.

Update 2

Bug report: RSP-13348