8

我的代码有问题，它使用泛型类型。为什么编译器不知道传递的列表 ( Result) 是TObjectList<TItem>( TItemis type for Tin 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;
4

2 回答 2

4

您还必须使用通用版本的 Loader：

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;
于 2012-04-27T21:46:42.980 回答
3

在有错误的函数中，Result是 a TObjectList<T>，其中T是 的某个子类TItem，但编译器不知道它是什么特定类。编译器必须对其进行编译，以便它可以安全地运行任何. 这可能与需要 aT的参数类型不兼容，因此编译器会拒绝该代码。LoadAllTObjectList<TItem>

假设T是TItemDescendant，并且编译器允许错误代码编译和执行。如果LoadAll调用AList.Add(TItem.Create)，那么AList最终将持有不是 a 的东西TItemDescendant，即使它是 a TObjectList<TItemDescendant>。它拥有一个类型与其泛型类型参数所说的不同类型的对象。

仅仅因为S是的子类型T并不意味着它X<S>是的子类型X<T>。

于 2012-04-27T17:51:15.420 回答