problème Generics et CAST

Question

Possible en double:
“As” operator for constrained generic types

Le code réduit exemple suivant produit une erreur de compilation lors d'une tentative de jeter le type générique en utilisant l'opérateur as. Curieusement, la combinaison de l'opérateur is et d'une distribution dure fonctionne comme prévu.

program Project8; 

{$APPTYPE CONSOLE} 

uses 
    SysUtils, Controls, StdCtrls; 

type 
    TControlWrapperBase = class 
    protected 
    FCtrl : TControl; 
    public 
    constructor Create (Ctrl : TControl); 
    end; 

    TControlWrapper <T : TControl> = class (TControlWrapperBase) 
    public 
    function GetControl : T; 
    end; 


constructor TControlWrapperBase.Create(Ctrl : TControl); 
begin 
FCtrl := Ctrl; 
end; 


function TControlWrapper <T>.GetControl : T; 
begin 
Result := FCtrl as T;  // does not compile: E2010 Incompatible Types: TEdit and TControl 

if FCtrl is T then  // this does work 
    Result := T (FCtrl); 
end; 

var 
    Wrapper : TControlWrapper <TEdit>; 
    MyCtl : TEdit; 

begin 
try 
    MyCtl := TEdit.Create(nil); 
    TControlWrapper <TEdit>.Create (MyCtl).GetControl; 
except 
    on E: Exception do 
    Writeln(E.ClassName, ': ', E.Message); 
end; 

end. 

Comment cette erreur du compilateur peut-elle être surmontée?

Answer 1

Ceci est un problème connu: "As" operator for constrained generic types

Cependant, je ne comprends pas pourquoi vous ne pouvez pas l'écrire comme ceci:

type 
    TControlWrapper<T: TControl> = class 
    private 
    FCtrl: T; 
    public 
    property Ctrl: T read FCtrl; 
    end; 

Answer 2

Vous avez déjà demandé il y a près the same question plus de 2 ans . Je ne sais pas ce qui a changé dans les génériques Delphi depuis, mais probablement la réponse de Barry Kelly est toujours valide - le compilateur ne peut pas typecast génériques parce

Malheureusement, le compilateur n'est pas assez intelligent pour comprendre que contrainte de type classe signifie que T est garanti avoir la même taille qu'un pointeur .