problem z rodzajowych i interfejsów i dziedziczenia

Question

Poniższy przykład daje mi ten błąd:
[DCC Error] Unit2.pas(54): E2010 Incompatible types: 'IBar' and 'Unit2.TFoo<Unit2.IBar>'

Myślę, że problem jest gdzieś wokół Self.Create Ponieważ po wielu próbach, aby to zestawionych przypadkowo wszedł FFoo : = TBar (Self). Utwórz; i skompilował i pracował.

używam 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

Twój Tfoo nie implementuje T jako interfejs. Właśnie dlatego FFoo i instancja TFoo nie są kompatybilne. Jeśli chcesz przypisać instancję TFoo do FFoo, musisz ją przeskanować.

Answer 2

Problem jest w tym zgodnie z deklaracją TBar:

FFoo := Self.Create; 

Aby zrozumieć, wyjaśnijmy typy za kodem z [zauważyć, jak to]:

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

Więc tu podsumować, mamy: [IBar] := [TFoo<IBar>]
Czy te typy są kompatybilne?
[Tfoo] tylko realizuje IFoo interfejs, nie IBAR jak stwierdzono w kodzie

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

Jest to błąd kompilacji!
AKTUALIZACJA: Rozwiązanie 1
Aby rozwiązać ten problem: zmienić deklarację TBar

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

AKTUALIZACJA: Rozwiązanie 2
Wymień FFoo := Self.Create przez

FFoo := Self.Create.Instance; 

a więc Prace !