Delphi 泛型 TObjectList 继承

Question

我想创建一个TObjectList<T>后代来处理我的应用程序中对象列表之间的常见功能。然后我想进一步从这个新类继承来在需要时引入附加功能。我似乎无法使用超过 1 级的继承来使其工作。我可能需要更多地了解泛型，但我到处寻找正确的方法来做到这一点，但没有成功。这是到目前为止我的代码:

unit edGenerics;

interface

uses
  Generics.Collections;

type

  TObjectBase = class
  public
    procedure SomeBaseFunction;
  end;

  TObjectBaseList<T: TObjectBase> = class(TObjectList<T>)
  public
    procedure SomeOtherBaseFunction;
  end;

  TIndexedObject = class(TObjectBase)
  protected
    FIndex: Integer;
  public
    property Index: Integer read FIndex write FIndex;
  end;

  TIndexedObjectList<T: TIndexedObject> = class(TObjectBaseList<T>)
  private
    function GetNextAutoIndex: Integer;
  public
    function Add(AObject: T): Integer;
    function ItemByIndex(AIndex: Integer): T;
    procedure Insert(AIndex: Integer; AObject: T);
  end;

  TCatalogueItem = class(TIndexedObject)
  private
    FID: integer;
  public
    property ID: integer read FId write FId;
  end;

  TCatalogueItemList = class(TIndexedObjectList<TCatalogueItem>)
  public
    function GetRowById(AId: Integer): Integer;
  end;

implementation

uses
  Math;

{ TObjectBase }

procedure TObjectBase.SomeBaseFunction;
begin
end;

{ TObjectBaseList<T> }

procedure TObjectBaseList<T>.SomeOtherBaseFunction;
begin
end;

{ TIndexedObjectList }

function TIndexedObjectList<T>.Add(AObject: T): Integer;
begin
  AObject.Index := GetNextAutoIndex;
  Result := inherited Add(AObject);
end;

procedure TIndexedObjectList<T>.Insert(AIndex: Integer; AObject: T);
begin
  AObject.Index := GetNextAutoIndex;
  inherited Insert(AIndex, AObject);
end;

function TIndexedObjectList<T>.ItemByIndex(AIndex: Integer): T;
var
  I: Integer;
begin
  Result := Default(T);
  while (Count > 0) and (I < Count) and (Result = Default(T)) do
    if Items[I].Index = AIndex then
      Result := Items[I]
    else
      Inc(I);
end;

function TIndexedObjectList<T>.GetNextAutoIndex: Integer;
var
  I: Integer;
begin
  Result := 0;
  for I := 0 to Count - 1 do
    Result := Max(Result, Items[I].Index);
  Inc(Result);
end;

{ TCatalogueItemList }

function TCatalogueItemList.GetRowById(AId: Integer): Integer;
var
  I: Integer;
begin
  Result := -1;
  for I := 0 to Pred(Self.Count) do
    if Self.Items[I].Id = AId then
    begin
      Result := I;
      Break;
    end;
end;

end.
/////// ERROR HAPPENS HERE ////// ???? why is beyond me

似乎有以下声明:

>>> TCatalogueItemList = class(TIndexedObjectList<TCatalogueItem>) <<<<

导致以下编译器错误:

[DCC Error] edGenerics.pas(106): E2010 Incompatible types: 'TCatalogueItem' and 'TIndexedObject'

但是编译器在编译单元的末尾(第 106 行)显示错误，而不是在声明本身上显示错误，这对我来说没有任何意义...

基本上，我的想法是，我有一个从 TObjectList 继承的通用列表，我可以根据需要使用新功能进行扩展。任何有关这方面的帮助都会很棒!!!

我应该添加，使用 Delphi 2010。

谢谢。

Answer 1

您的错误在于类型转换，编译器错误是正常的(但它无法在我的 Delphi XE3 中找到正确的文件)。

您的 ItemByIndex 方法已声明:

TIndexedObjectList<T>.ItemByIndex(AIndex: Integer): T;

但是你有这样的行:

Result := TIndexedObject(nil);

这对于父类TIndexedObjectList来说很好，其中函数的结果是TIndexedObject类型，但不是对于后代类来说没问题 TCatalogueItemList，其中函数结果的类型为 TCatalogueItem。

您可能知道，TCatalogueItem 实例的赋值与 TIndexedObject 变量兼容，但反之则不然。它翻译成这样:

function TCatalogueItemList.ItemByIndex(AIndex: Integer): TCatalogueItem;
begin
  Result := TIndexedObject(nil);  //did you see the problem now?

要将结果初始化为 nil 值，您可以调用 Default() 伪函数，如下所示:

Result := Default(T);

在 Delphi XE 或更高版本中，该解决方案也是通用的。您无需将结果类型转换为固定的 TIndexedObjectList 类，而是使用 T 类型应用通用类型转换

Result := T(nil);
//or 
Result := T(SomeOtherValue);

但是，在这种特定情况下，不需要对 nil 常量进行类型转换，因为 nil 是一个特殊值，即赋值与任何引用兼容，因此您只需将该行替换为:

Result := nil;

它将编译，并希望按您的预期工作。