なぜTObjectList <S: T>をTObjectListを受け取る関数に渡すことができません<T>？

Question

ジェネリック型を使用する私のコードに問題があります。コンパイラは、渡されたリスト（Result）がTObjectList<TItem>（TItemのタイプはTの場合はTItems）であることを知りません。

インタフェース：

type 
    TItem = class 
end; 

type 
    IItemsLoader = interface 
    procedure LoadAll(AList : TObjectList<TItem>); 
end; 

type 
    TItemsLoader = class(TInterfacedObject, IItemsLoader) 
public 
    procedure LoadAll(AList : TObjectList<TItem>); 
end; 

type 
    IItems<T : TItem> = interface 
    function LoadAll : TObjectList<T>; 
end; 

type 
    TItems<T : TItem> = class(TInterfacedObject, IItems<T>) 
    private 
    FItemsLoader : TItemsLoader; 
    public 
    constructor Create; 
    destructor Destroy; override; 
    function LoadAll : TObjectList<T>; 
end; 

実装：エラーを持つ関数で

procedure TItemsLoader.LoadAll(AList: TObjectList<TItem>); 
begin 
    /// some stuff with AList 
end; 

{ TItems<T> } 

constructor TItems<T>.Create; 
begin 
    FItemsLoader := TItemsLoader.Create; 
end; 

destructor TItems<T>.Destroy; 
begin 
    FItemsLoader.Free; 
    inherited; 
end; 

function TItems<T>.LoadAll: TObjectList<T>; 
begin 
    Result := TObjectList<T>.Create(); 

    /// Error here 
    /// FItemsLoader.LoadAll(Result); 
end; 

Answer 1

、ResultはTがTItemのいくつかのサブクラスですが、コンパイラは何を知っていないTObjectList<T>、ありますそれは特定のクラスです。コンパイラは、の値がTの値になるようにコンパイルする必要があります。これは引数タイプがLoadAll（TObjectList<TItem>が必要）と互換性がないため、コンパイラがコードを拒否します。

TがTItemDescendantであり、コンパイラがエラーコードをコンパイルして実行できるとします。 LoadAllがAList.Add(TItem.Create)を呼び出す場合、AListはTObjectList<TItemDescendant>であっても、TItemDescendantでないものを保持することになります。その汎用型パラメータが保持しているとは異なる型のオブジェクトを保持しています。

ちょうどSがサブタイプTであるため、X<S>はサブタイプX<T>であるとは限りません。あなたにもローダのジェネリック版を使用する必要が

Answer 2

：

type 
    TItem = class 
end; 

type 
    IItemsLoader<T: TItem> = interface 
    procedure LoadAll(AList : TObjectList<T>); 
end; 

type 
    TItemsLoader<T: TItem> = class(TInterfacedObject, IItemsLoader<T>) 
public 
    procedure LoadAll(AList : TObjectList<T>); 
end; 

type 
    IItems<T : TItem> = interface 
    function LoadAll : TObjectList<T>; 
end; 

type 
    TItems<T : TItem> = class(TInterfacedObject, IItems<T>) 
    private 
    FItemsLoader : TItemsLoader<T>; 
    public 
    constructor Create; 
    destructor Destroy; override; 
    function LoadAll : TObjectList<T>; 
end; 


implementation 

{$R *.dfm} 

procedure TItemsLoader<T>.LoadAll(AList: TObjectList<T>); 
begin 
    /// some stuff with AList 
end; 

{ TItems<T> } 

constructor TItems<T>.Create; 
begin 
    FItemsLoader := TItemsLoader<T>.Create; 
end; 

destructor TItems<T>.Destroy; 
begin 
    FItemsLoader.Free; 
    inherited; 
end; 

function TItems<T>.LoadAll: TObjectList<T>; 
begin 
    Result := TObjectList<T>.Create(); 

    /// Error here 
    FItemsLoader.LoadAll(Result); 
end;