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类.我对么？

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提示]:H2509标识符'T'与容器类型的类型参数冲突

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

我不得不说这令我感到惊讶,因为我期待相反的事情.我原以为内部泛型参数会隐藏外部参数.事实上,据我所知,内部类型无法引用其泛型参数.

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

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

这就是类似的C++模板代码强制您做的事情.

在我看来,Delphi语言的设计缺点是允许您在本答案的顶部编译代码.