"" opérateur pour les types génériques contraintes

Question

Tenir compte:

TTest <T : class, constructor> = class 
public 
    function CreateMyObject : T; 
end; 
function TTest<T>.CreateMyObject : T; 
var 
    Obj : TObject; 
begin 
    Obj := T.Create; 
    Result := (Obj as T); 
end; 

Pourquoi est-ce pas possible? Le compilateur génère un message d'erreur "Opérateur non applicable à ce type" pour l'opérateur en tant qu'opérateur. T est contraint à être un type de classe, donc cela devrait fonctionner, n'est-ce pas?

Merci pour l'aide.

Answer 1

je suis tombé sur le même problème et résolu en ajoutant une méthode pointeur copie de bas niveau à la classe comme une solution de contournement:

TTest <T : class, constructor> = class 
    private 
    function _ToGeneric(AItem: TObject): T; inline; //inline, so it's a little faster 
    public 
    function CreateMyObject : T; 
    end; 

    function TTest<T>.CreateMyObject : T; 
    var 
    Obj : TObject; 
    begin 
    Obj := T.Create; 
    Result := _ToGeneric(Obj); 
    end; 

    function TTest<T>._ToGeneric(AItem: TObject): T; 
    begin 
    System.Move(AItem,Result,SizeOf(AItem)) 
    end; 

Answer 2

Je ne sais pas pourquoi cela ne fonctionne pas. Je suppose qu'il y a encore quelques bizarreries/bugs dans l'implémentation des génériques.

Mais le code suivant fonctionne:

// Class definition 
function CreateMyObject<T : class, constructor> : T; 


// Class implementation 
function TForm1.CreateMyObject<T>: T; 
var 
    Obj : T; 
begin 
    Obj := T.Create; 
end; 

Answer 3

C'est a known issue avec le compilateur Delphi. Veuillez voter pour cela si vous souhaitez le voir corrigé. En attendant, vous pouvez travailler autour d'elle en disant

Result := (Obj as TClass(T));