Delphi泛型嵌套类

Question

我正在对 C++ 和 Delphi 进行比较，我发现了一些对我来说很棘手的事情。

这是非常简单的 C++ 代码:

template<typename T>
class C {

 class D {
  T x;
 }

}

在这种情况下，我们有类 C是一个模板类(=泛型类)和嵌套类 D也是一个模板类。如果T是 double ，x里面D是 double .

我不能这么说:

template<typename T>
class C {

 template<typename T>
 class D {
  T x;
 }

}

这是一个错误，因为我已经在“内部”C另一个T会发生冲突。要修复该错误，我应该使用不同的名称，例如 U .

template<typename T>
class C {

 template<typename U>
 class D {
  T x;
 }

}

在 Delphi 中，我可以这样写:

type
 TClassC<T> = class
  private

   type
    TClassD = class
     private 
      x: T;
    end;

 end;

如果T是 integer ，现在x是 integer因为(根据我在网上阅读的理解)TClassD是 integer 。在 Delphi 中这也是合法的:

type
 TClassC<T> = class
  private

   type
    TClassD<T> = class // <-- note the <T> repeated!!
     private 
      x: T;
    end;

 end;

那现在呢？如果我能够声明T再次在 TClassD ，这意味着没有 <T>我有一个非通用的 TClassD类(class)。我说得对吗？

Answer 1

考虑这个简单的程序:

type
  TClassC<T> = class
  private
    type
    TClassD<T> = class
    private
      x: T;
    end;
  end;

var
  obj: TClassC<Integer>.TClassD<string>;

begin
  obj := TClassC<Integer>.TClassD<string>.Create;
  obj.x := 42;
end.

该程序编译，但发出以下提示:

[dcc32 Hint]: H2509 Identifier 'T' conflicts with type parameters of container type

赋值证明x从外部泛型参数而不是内部获取其类型。

我不得不说这让我感到惊讶，因为我的预期恰恰相反。我期望内部通用参数会隐藏外部。事实上，据我所知，内部类型无法引用其泛型参数。

为了能够引用这两个通用参数，您需要为它们使用不同的名称。例如:

type
  TClassC<T1> = class
  private
    type
    TClassD<T2> = class
    private
      x: T2;
    end;
  end;

这就是类似的 C++ 模板代码强制您执行的操作。

在我看来，允许您编译此答案顶部的代码是 Delphi 语言的设计弱点。