術語上泛型類型

Question

當我讀到泛型編程，通常，使用此兩個術語：

1. 參數化類型;
2. 類型參數

它們之間是否有區別？

Answer 1

在Java中，在下面的聲明

public class Foo<T> { ... } 

Foo是parameterized type。 T是一個類型參數。

Answer 2

泛型類型也稱爲參數化類型。

類型參數指的是與泛型類型關聯的類型。例如，用

Dictionary<T1, T2> 

T1和T2是類型參數。

Answer 3

使用C++的術語：

類模板對應一個參數化類型 - 一旦你指定的參數變量就變成了類。

類型參數是模板的參數，參數是類型的參數。