Delphiのネストされたクラス

Question

私はC++とDelphiを比較していました。

これは非常に簡単なC++コードです。このシナリオでは

template<typename T> 
class C { 

class D { 
    T x; 
} 

} 

、私たちはクラスCはテンプレートクラス（=ジェネリッククラス）で、ネストされたクラスDもテンプレートクラスであることを持っています。 Tがdoubleである場合、の中のxはdoubleです。

私はこれを言うことができない：私はすでにC「内部」だと、別のTが競合になるので、

template<typename T> 
class C { 

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

} 

エラーであること。エラーを修正するには、Uのような別の名前を使用する必要があります。

template<typename T> 
class C { 

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

} 

Delphiでは、私はこれを書くことができる：Tはxは以来integerある今、integerある

type 
TClassC<T> = class 
    private 

    type 
    TClassD = class 
    private 
     x: T; 
    end; 

end; 

場合（私はオンライン読んで理解した内容から）TClassDがintegerです。デルファイでは、これも法的です：

type 
TClassC<T> = class 
    private 

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

end; 

現在はどうなっていますか？ を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言語の設計上の弱点です。