Problema con i generici e interfacce ed ereditarietà

Question

L'esempio seguente mi sta dando questo errore:
[DCC Error] Unit2.pas(54): E2010 Incompatible types: 'IBar' and 'Unit2.TFoo<Unit2.IBar>'

Credo che il problema è da qualche parte intorno al Self.Create Perché dopo molti tentativi per farlo compilato ho accidentalmente entrato FFOO : = TBar (auto). Crea; e ha compilato e lavorato.

sto usando Delphi XE

IFoo = interface 
end; 

TFoo<T: IInterface> = class(TInterfacedObject, IFoo) 
private class var 
    FFoo: T; 
public class 
    function Instance: T; 
end; 

IBar = interface(IFoo) 
end; 

TBar = class(TFoo<IBar>, IBar) 
end; 

class function TFoo<T>.Instance: T; 
begin 
    if not Assigned(FFoo) then 
    begin 
    FFoo := Self.Create; 
    end; 
    Result := FFoo; 
end; 

Answer 1

tuo TFoo non implementa T come interfaccia. Ecco perché FFoo e un'istanza di TFoo non sono compatibili. Se vuoi assegnare un'istanza di TFoo a FFoo devi hardcast.

Answer 2

Il problema è in questa linea con la dichiarazione TBar:

FFoo := Self.Create; 

Per capire, spieghiamo i tipi dietro il codice [notare come questo]:

FFoo:[IBar] := Self:[TFoo(IBar)].Create():[TFoo<IBar>] 

Quindi, tu riassumere, abbiamo: [IBar] := [TFoo<IBar>]
Questi tipi sono compatibili?
Un [TFoo] implementa solo IFoo interfaccia, non IBar come si afferma nel codice

TFoo<T: IInterface> = class(TInterfacedObject, IFoo) 

Questo è l'errore di compilazione!
UPDATE: Soluzione 1
Per risolvere il problema: modificare la dichiarazione TBar

TBar = class(TFoo<IFoo>, IBar) 
end; 

UPDATE: Soluzione 2
Sostituire il FFoo := Self.Create da

FFoo := Self.Create.Instance; 

e così è lavori !