c# - ジェネリック型に関する用語

Question

ジェネリック プログラミングについて読むと、次の 2 つの用語がよく使われます。

1. パラメータ化された型;
2. 型パラメータ

それらの間に違いはありますか？

Answer 1

Java では、次の宣言で

public class Foo<T> { ... }

Fooパラメータ化されたタイプです。T型パラメータです。

Answer 2

C++ 用語の使用:

クラス テンプレートは、パラメーター化された型に対応します。パラメーターに引数を指定すると、型になります。

型パラメーターは、引数が型であるテンプレートのパラメーターです。

Answer 3

ジェネリック型は、パラメーター化された型とも呼ばれます。

型パラメーターは、ジェネリック型に関連付けられた型を参照します。たとえば、

Dictionary<T1, T2>

T1 と T2 は型パラメーターです。