使用泛型创建链表

Question

我已经阅读了如何创建指向普通类的指针并在类定义中使用它：

type
  PExample = ^TExample;
  TExample = class
    data: Integer;
    next: PExample;
  end;

但是如何使用模板化参数来做到这一点？这不会在第二行编译时出现错误未声明的标识符：'TExample'：

type
 PExample = ^TExample;
 TExample<T> = class
   data: T;
   next: PExample;
 end;

将其更改为

PExample = ^TExample<T>;

并不能修复它。

Answer 1

由于您使用的是类，因此不需要使用 PExample。类已经是引用类型。

 TExample<T> = class
   data: T;
   next: TExample<T>;
 end;

这应该可以工作，而不需要声明任何指针类型。仅当您使用记录（值类型）时才需要指针类型。

编辑：

令我惊讶的是，我刚刚注意到这在 Delphi XE 中编译和工作：

program Project;

{$APPTYPE CONSOLE}

type
  TNode<T> = record
    Next: ^TNode<T>;
    Data: T;
  end;

var
  Node1, Node2: TNode<Integer>;

begin
  Node1.Next := @Node2;
  Node1.Data := 1;
  Node2.Next := nil;
  Node2.Data := 2;

  WriteLn(Node1.Data);
  WriteLn(Node1.Next.Data);
end.

它仍然没有解决定义一般通用指针类型的问题，因为这：

PNode<T> = ^TNode<T>;

不起作用。

Answer 2

其他答案告诉您如何构建类的通用链接列表。如果您需要构建通用的记录链接列表，目前无法这样做：

type
  PNode<T> = ^TNode<T>;
  TNode<T> = record
  public
    Next: PNode;
  end;

无法编译。

也不：

type
  TNode<T> = record
  type
    PNode = ^TNode;
  public
    Next: PNode;
  end;

我认为其原因是单遍编译器不支持方法的前向声明。实际上，这对于运算符重载来说比对于泛型来说更实际，因为类可以用于泛型链表。

Answer 3

是否有必要使用指向类的指针？对“下一个”字段使用类引用应该可行，如下所示：

type
 TExample<T> = class
   data: T;
   next: TExample<T>;
 end;

“下一个”字段仍然可以是 NIL，或者可以分配另一个 TExample 实例。这似乎否定了使用传统 ^ 指针的需要（尽管您可能会争辩说对类的引用也是一个指针，只是语法不同）。