声明“泛型类型”的泛型类型

Question

不确定如何提出这个问题，但是使用lazarus v1.8.2，我尝试定义一个泛型类型，使用另一个泛型类型：

//initial interface
  IOtherInterface<T> = interface
    function ExampleFunction : T;
  end;
  //some generic record
  TSomething<T> = record
    Something : T;
  end;
 //attempting to further genericize
  IOtherSomething<T> = IOtherInterface<TSomething<T>>;

我收到的错误是：Fatal: Syntax error, "," expected but "<" found

我使用了delphi模式，因为我想保持对这两个编译器的兼容。我很有信心，我以前在delphi中做过这种专门化，但没有很好的途径来测试专业版本。这是对FPC方面的限制，还是我错过了什么？非常感谢您的任何帮助。

Answer 1

我不确定是什么

 IOtherSomething<T> = IOtherInterface<TSomething<T>>;

是要在这里实现的。如果你想扩展这个接口，你需要像这样的东西

IOtherSomething<T> = interface(IOtherInterface<TSomething<T>>)
end;

它可以在Delphi中编译。我不需要拉撒路来测试。

如果这不是你想要做的，我会删除答案。

如果是，我将进行编辑以删除这些注释。

Answer 2

你仍然应该声明IOtherInterface，然后用TSomething来专门化它。

Generics.Collections是这样工作的( TPair扮演TSomething的角色)。

无论如何，FPC修复了一个双重专门化的问题，它将>>或<<视为移位标记。这是在主干中修复的