Лучший способ реализовать отфильтрованный перечислитель на TList <TMyObject> - PullRequest
10 голосов
/ 05 июля 2010

Используя Delphi 2010, допустим, у меня объявлен класс, подобный этому:

TMyList = TList<TMyObject>

Для этого списка Delphi любезно предоставит нам перечислитель, поэтому мы можем написать это:

var L:TMyList;
    E:TMyObject;
begin
  for E in L do ;
end;

Проблема в том, что я хотел бы написать так:

var L:TMyList;
    E:TMyObject;
begin
  for E in L.GetEnumerator('123') do ;
end;

То есть я хочу иметь возможность предоставлять несколько перечислителей для одного и того же списка, используя некоторые критерии.К сожалению, реализация for X in Z требует наличия функции Z.GetEnumerator без параметров, которая возвращает данный перечислитель!Чтобы обойти эту проблему, я определяю интерфейс, который реализует функцию «GetEnumerator», затем я реализую класс, который реализует интерфейс, и, наконец, я пишу функцию в TMyList, которая возвращает интерфейс!И я возвращаю интерфейс, потому что я не хочу возиться с ручным освобождением очень простого класса ... В любом случае, это требует МНОГО ввода.Вот как это будет выглядеть:

TMyList = class(TList<TMyObject>)
protected

  // Simple enumerator; Gets access to the "root" list
  TSimpleEnumerator = class
  protected
  public
    constructor Create(aList:TList<TMyObject>; FilterValue:Integer);

    function MoveNext:Boolean; // This is where filtering happens
    property Current:TTipElement;
  end;

  // Interface that will create the TSimpleEnumerator. Want this
  // to be an interface so it will free itself.
  ISimpleEnumeratorFactory = interface
    function GetEnumerator:TSimpleEnumerator;
  end;

  // Class that implements the ISimpleEnumeratorFactory
  TSimpleEnumeratorFactory = class(TInterfacedObject, ISimpleEnumeratorFactory)
    function GetEnumerator:TSimpleEnumerator;
  end;

public
  function FilteredEnum(X:Integer):ISimpleEnumeratorFactory;
end;

Используя это, я наконец могу написать:

var L:TMyList;
    E:TMyObject;
begin
  for E in L.FilteredEnum(7) do ;
end;

Знаете ли вы лучший способ сделать это?Может быть, Delphi поддерживает способ вызова GetEnumerator напрямую с параметром?

Позже Редактирование:

Я решил использовать идею Роберта Лава о реализации перечислителя с использованием анонимных методов ииспользуя "рекордную" фабрику Габра, чтобы сохранить еще один класс.Это позволяет мне создать новый перечислитель с кодом, используя всего несколько строк кода в функции, объявление нового класса не требуется.

Вот как объявляется мой универсальный перечислитель в модуле библиотеки:

TEnumGenericMoveNext<T> = reference to function: Boolean;
TEnumGenericCurrent<T> = reference to function: T;

TEnumGenericAnonim<T> = class
protected
  FEnumGenericMoveNext:TEnumGenericMoveNext<T>;
  FEnumGenericCurrent:TEnumGenericCurrent<T>;
  function GetCurrent:T;
public
  constructor Create(EnumGenericMoveNext:TEnumGenericMoveNext<T>; EnumGenericCurrent:TEnumGenericCurrent<T>);

  function MoveNext:Boolean;
  property Current:T read GetCurrent;
end;

TGenericAnonEnumFactory<T> = record
public
  FEnumGenericMoveNext:TEnumGenericMoveNext<T>;
  FEnumGenericCurrent:TEnumGenericCurrent<T>;
  constructor Create(EnumGenericMoveNext:TEnumGenericMoveNext<T>;   EnumGenericCurrent:TEnumGenericCurrent<T>);
  function GetEnumerator:TEnumGenericAnonim<T>;
end;

И вот как это можно использовать.В любой класс я могу добавить функцию, подобную этой (и я намеренно создаю перечислитель, который не использует List<T>, чтобы показать силу этой концепции):

type Form1 = class(TForm)
protected
  function Numbers(From, To:Integer):TGenericAnonEnumFactory<Integer>;  
end;

// This is all that's needed to implement an enumerator!
function Form1.Numbers(From, To:Integer):TGenericAnonEnumFactory<Integer>;
var Current:Integer;
begin
  Current := From - 1;
  Result := TGenericAnonEnumFactory<Integer>.Create(
    // This is the MoveNext implementation
    function :Boolean
    begin
      Inc(Current);
      Result := Current <= To;
    end
    ,
    // This is the GetCurrent implementation
    function :Integer
    begin
      Result := Current;
    end
  );
end;

И вот как яиспользовал бы этот новый перечислитель:

procedure Form1.Button1Click(Sender: TObject);
var N:Integer;
begin
  for N in Numbers(3,10) do
    Memo1.Lines.Add(IntToStr(N));
end;

Ответы [ 5 ]

8 голосов
/ 05 июля 2010

См. DeHL (http://code.google.com/p/delphilhlplib/). Вы можете написать код, который выглядит следующим образом:

for E in List.Where(...).Distinct.Reversed.Take(10).Select(...)... etc. 

Точно так же, как вы можете сделать в .NET (конечно, без синтаксиса linq).

6 голосов
/ 05 июля 2010

Вы подходите хорошо. Я не знаю лучшего способа.

Фабрика перечислителя также может быть реализована в виде записи вместо интерфейса.

Может быть, вы получите некоторые идеи здесь .

4 голосов
/ 05 июля 2010

Delphi Для поддержки в цикле требуется следующее: ( Из документов )

  • Примитивные типы, распознаваемые компилятором, такие как массивы, наборы или строки
  • Типы, которые реализуют IEnumerable
  • Типы, которые реализуют шаблон GetEnumerator, как описано в руководстве по языку Delphi

Если вы посмотрите на Generics.Collections.pas, вы найдете реализациюдля TDictionary<TKey,TValue>, где имеется три перечислителя для типов TKey, TValue и TPair<TKey,TValue>.Embarcadero показывает, что они использовали многословную реализацию.

Вы можете сделать что-то вроде этого:

unit Generics.AnonEnum;
interface
uses
 SysUtils,
 Generics.Defaults,
 Generics.Collections;

type

  TAnonEnumerator<T> = class(TEnumerator<T>)
  protected
    FGetCurrent : TFunc<TAnonEnumerator<T>,T>;
    FMoveNext : TFunc<TAnonEnumerator<T>,Boolean>;
    function DoGetCurrent: T; override;
    function DoMoveNext: Boolean; override;
  public
    Constructor Create(aGetCurrent : TFunc<TAnonEnumerator<T>,T>;
                       aMoveNext : TFunc<TAnonEnumerator<T>,Boolean>);
  end;

  TAnonEnumerable<T> = class(TEnumerable<T>)
  protected
    FGetCurrent : TFunc<TAnonEnumerator<T>,T>;
    FMoveNext : TFunc<TAnonEnumerator<T>,Boolean>;
    function DoGetEnumerator: TEnumerator<T>; override;
  public
    Constructor Create(aGetCurrent : TFunc<TAnonEnumerator<T>,T>;
                       aMoveNext : TFunc<TAnonEnumerator<T>,Boolean>);
  end;

implementation

{ TEnumerable<T> }

constructor TAnonEnumerable<T>.Create(aGetCurrent: TFunc<TAnonEnumerator<T>, T>;
  aMoveNext: TFunc<TAnonEnumerator<T>, Boolean>);
begin
  FGetCurrent := aGetCurrent;
  FMoveNext := aMoveNext;
end;

function TAnonEnumerable<T>.DoGetEnumerator: TEnumerator<T>;
begin
 result := TAnonEnumerator<T>.Create(FGetCurrent,FMoveNext);
end;


{ TAnonEnumerator<T> }

constructor TAnonEnumerator<T>.Create(aGetCurrent: TFunc<TAnonEnumerator<T>, T>;
  aMoveNext: TFunc<TAnonEnumerator<T>, Boolean>);
begin
  FGetCurrent := aGetCurrent;
  FMoveNext := aMoveNext;
end;

function TAnonEnumerator<T>.DoGetCurrent: T;
begin
  result := FGetCurrent(self);
end;

function TAnonEnumerator<T>.DoMoveNext: Boolean;
begin
 result := FMoveNext(Self);
end;

end.

Это позволит вам анонимно объявить ваши методы Current и MoveNext.

3 голосов
/ 06 июля 2010

Вы можете покончить с фабрикой и интерфейсом, если добавите функцию GetEnumerator() в свой счетчик, например:

TFilteredEnum = class
public
  constructor Create(AList:TList<TMyObject>; AFilterValue:Integer);

  function GetEnumerator: TFilteredEnum;

  function MoveNext:Boolean; // This is where filtering happens
  property Current: TMyObject;
end;

и просто вернете себя:

function TFilteredEnum.GetEnumerator: TSimpleEnumerator;
begin
  result := Self;
end;

и Delphi удобно очистит ваш экземпляр для вас, как и любой другой перечислитель:

var 
  L: TMyList;
  E: TMyObject;
begin
  for E in TFilteredEnum.Create(L, 7) do ;
end;

Затем вы можете расширить свой перечислитель для использования анонимного метода, который вы можете передать в конструкторе:

TFilterFunction = reference to function (AObject: TMyObject): boolean;

TFilteredEnum = class
private
  FFilterFunction: TFilterFunction;
public
  constructor Create(AList:TList<TMyObject>; AFilterFunction: TFilterFunction);

  ...
end;

...

function TFilteredEnum.MoveNext: boolean;
begin
  if FIndex >= FList.Count then
    Exit(False);
  inc(FIndex);
  while (FIndex < FList.Count) and not FFilterFunction(FList[FIndex]) do
    inc(FIndex);
  result := FIndex < FList.Count;
end;

Назовите это так:

var 
  L:TMyList;
  E:TMyObject;
begin
  for E in TFilteredEnum.Create(L, function (AObject: TMyObject): boolean
                                   begin
                                     result := AObject.Value = 7;
                                   end;
                                ) do 
  begin
    //do stuff here
  end
end;

Тогда вы можете даже сделать это общим, но я не буду этого делать, мой ответ достаточно длинный, так какэто так.

N @

1 голос
/ 05 июля 2010

Я использую этот подход ... где AProc выполняет тест фильтра.

TForEachDataItemProc = reference to procedure ( ADataItem: TDataItem; var AFinished: boolean );

procedure TDataItems.ForEachDataItem(AProc: TForEachDataItemProc);
var
  AFinished: Boolean;
  ADataItem: TDataItem;
begin
  AFinished:= False;
  for ADataItem in FItems.Values do
  begin
    AProc( ADataItem, AFinished );
    if AFinished then
      Break;
  end;
end;
...