3

我有一个 HashTable，我需要一些方法来返回not_found结果。

type
  TCell<T> = record
  .....
    property key: cardinal read FKey write FKey;
    property data: T read FData write FData;
  end;

  THashTable<T> = class(TEnumerable<T>)
  private
    FCells: array of TCell<T>;
    FEmpty: T;
  ...
    constructor Create(InitialSize: cardinal); overload;
    function Lookup(key: cardinal): T;
  ...
  end;

constructor THashTable<T>.Create(InitialSize: cardinal);
begin
  inherited Create;
  // Initialize regular cells
  FArraySize:= InitialSize;
  Assert((FArraySize and (FArraySize - 1)) = 0); // Must be a power of 2
  SetLength(FCells, FArraySize);

  FillChar(FEmpty, SizeOf(FEmpty), #0);  //Superfluous I know, just there to
                                         //demonstrate the point. 
end;

鉴于上述结构，我如何返回not found结果？
如果我有指针，我会返回一个nil指向T.
但是不允许指向泛型类型的指针。

所以我想出了下面的解决方案：

function THashTable<T>.Lookup(key: cardinal): T;
var
  Cell: NativeUInt;
begin
  if (key <> 0) then begin
    // Check regular cells
    Cell:= First_Cell(IntegerHash(key));
    while (true) do begin
      if (FCells[Cell].key = key) then Exit(FCells[Cell].data);
      if not (FCells[Cell].key = 0) then Exit(FEmpty);  <<-- is this correct?
      Cell:= Circular_Next(Cell);
    end;
  end else begin
    Result:= FEmpty;   <<--- Can I return an empty generic like this?
  end;
end;

我可以返回一个零初始化的泛型来表示no result吗？

或者我会遇到结构化类型（类/记录/变体/字符串等）的问题。

请注意，当T是整数时，我确实理解歧义。零很可能是一个有效值，因此它与 not_found 无法区分。
我不担心这些结果。

4

4 回答 4

12

您正在寻找的是default(T)，它将为任何类型的 T 返回一个零值。

于 2013-10-07T00:35:20.033 回答
3

我建议更改函数以使用var数据的输出参数，然后您可以使用 a Boolean，Result例如：

function THashTable<T>.Lookup(key: cardinal; var Value: T): Boolean;
var
  Cell: NativeUInt;
begin
  Result := False;
  if (key <> 0) then begin
    // Check regular cells
    Cell := First_Cell(IntegerHash(key));
    while Cell <> -1 do begin
      if (FCells[Cell].key = key) then begin
        Value := FCells[Cell].data;
        Exit(True);
      end;
      if (FCells[Cell].key <> 0) then Break;
      Cell := Circular_Next(Cell);
    end;
  end;
end;
于 2013-10-07T06:36:12.383 回答
3

@S.MAHDI 建议您可以编写以下代码：

Result := T(nil);

我最初的反应是这不会编译，因为演员表显然是无效的。例如，此代码无法编译：

var
  P: Pointer;
....
Result := T(P);

对于该代码，编译器报告：E2089 Invalid typecast。

但是分配T(nil)确实编译。当您查看生成的代码时，对于我调查的所有案例，代码都与为Default(T).

因此，我的结论是，编译器在通用上下文中对这种明显未记录的语法T(nil)进行了特殊处理，并且是Default(T).

我很想知道是否有人可以指出此功能的任何官方文档。

于 2013-10-07T11:27:27.543 回答
0

我决定改为返回指向泛型类型的指针。 

type 
  //P<T> = ^T;
  P<T> = record {holding a pointer to T with some operator overloading}

  ....
  FCells: array of T <<-- holds T directly now.

function THashTable<K,T>.Lookup(const key: K): P<T>;
begin
  ....
  if found then Result:= @FCells[CorrectIndex]
  else Result:= nil;
end;
于 2013-10-08T16:39:35.947 回答