Delphi：使用枚举器过滤TList按班级类型？

Question

好吧，这可能会令人困惑。我想做的是使用枚举器仅返回基于类类型的通用列表中的某些项目。

给定以下层次结构：

type
    TShapeClass = class of TShape;

    TShape = class(TObject)
    private
        FId: Integer;
    public
        function ToString: string; override;
        property Id: Integer read FId write FId;
    end;

    TCircle = class(TShape)
    private
        FDiameter: Integer;
    public
        property Diameter: Integer read FDiameter write FDiameter;
    end;

    TSquare = class(TShape)
    private
        FSideLength: Integer;
    public
        property SideLength: Integer read FSideLength write FSideLength;
    end;

    TShapeList = class(TObjectList<TShape>)
    end;

如何扩展 TShapeList 以便我可以执行类似于以下操作的操作：

procedure Foo;
var
    ShapeList: TShapeList;
    Shape: TShape;
    Circle: TCircle;
    Square: TSquare;

begin
    // Create ShapeList and fill with TCircles and TSquares
    for Circle in ShapeList<TCircle> do begin
        // do something with each TCircle in ShapeList
    end;
    for Square in ShapeList<TSquare> do begin
        // do something with each TSquare in ShapeList
    end;
    for Shape in ShapeList<TShape> do begin
        // do something with every object in TShapeList
    end;
end;

我尝试使用 Primoz Gabrijelcic 的改编版本扩展 TShapeList 参数化枚举器使用工厂记录，如下所示：

type
    TShapeList = class(TObjectList<TShape>)
    public
        type
            TShapeFilterEnumerator<T: TShape> = record
            private
                FShapeList: TShapeList;
                FClass: TShapeClass;
                FIndex: Integer;
                function GetCurrent: T;
            public
                constructor Create(ShapeList: TShapeList);
                function MoveNext: Boolean;
                property Current: T read GetCurrent;
            end;

            TShapeFilterFactory<T: TShape> = record
            private
                FShapeList: TShapeList;
            public
                constructor Create(ShapeList: TShapeList);
                function GetEnumerator: TShapeFilterEnumerator<T>;
            end;

        function FilteredEnumerator<T: TShape>: TShapeFilterFactory<T>;
    end;

然后我将 Foo 修改为：

procedure Foo;
var
    ShapeList: TShapeList;
    Shape: TShape;
    Circle: TCircle;
    Square: TSquare;

begin
    // Create ShapeList and fill with TCircles and TSquares
    for Circle in ShapeList.FilteredEnumerator<TCircle> do begin
        // do something with each TCircle in ShapeList
    end;
    for Square in ShapeList.FilteredEnumerator<TSquare> do begin
        // do something with each TSquare in ShapeList
    end;
    for Shape in ShapeList.FilteredEnumerator<TShape> do begin
        // do something with every object in TShapeList
    end;
end;

但是，当我尝试编译 Foo 时，Delphi 2010 抛出关于不兼容类型：TCircle 和 TShape 的错误。如果我注释掉 TCircle 循环，那么我会收到关于 Tquare 的类似错误。如果我也注释 TSquare 循环，则代码将编译并运行。嗯，它的工作原理是枚举每个对象，因为它们都源自 TShape。奇怪的是，编译器指示的行号比我的文件末尾多了 2 行。在我的演示项目中，它指示第 177 行，但实际上只有 175 行。

有什么办法可以让这个工作吗？我希望能够直接分配给 Circle，而无需进行任何类型转换或检查我的 for 循环本身。

Answer 1

您没有在此处显示它，但问题可能在于 GetCurrent 的实现。

虽然编译器接受类似于

result := FShapeList[FIndex];

泛型类中的内容，但当结果类不等于TShape时，这将失败，TCircle和TSquare<就是这种情况/em>。这就是它在第三个循环中起作用的原因。

将代码更改为

result := T(FShapeList[FIndex]);

，就可以了。

错误的不存在行号是由于解析编译器完成的内部泛型而导致的，该内部泛型不能很好地映射到行号。

Answer 2

您不能直接在枚举器中执行此操作。恐怕你被“是”困住了。唯一的方法确实是创建一些辅助枚举器。在您的情况下，请尝试注释掉行，直到找到唯一使编译器不满意的行。

抱歉，我只能建议这么多。

Answer 3

您在问题中写下了答案:)

您只需调用正确的函数：

for Circle in ShapeList.FilteredEnumerator<TCircle> do
  //blah blah

for Square in ShapeList.FilteredEnumerator<TSquare> do
  //blah blah

关于您的代码的一个小注释：您可以转储您的 TShapeFilterFactory 记录，然后只需添加一个方法：

TShapeFilterEnumerator<T>.GetEnumerator : TShapeFilterEnumerator<T>;
begin
  Result := Self;
end;