如果你查看 List 類型的 API 文檔， 則可以看到 實際的類型定義為 List<E>。 這個 <…> 聲明 list 是一個 泛型 (或者 參數(shù)化) 類型。 通常情況下，使用一個字母來代表類型參數(shù)， 例如 E, T, S, K, 和 V 等。

一、Why use generics?（為何使用泛型）

• 在 Dart 中類型是可選的，你可以選擇不用泛型。 有些情況下你可能想使用類型來表明你的意圖， 不管是使用泛型還是 具體類型。

例如，如果你希望一個 list 只包含字符串對象，你可以 定義為 List<String> (代表 “l(fā)ist of string”)。這樣你、 你的同事、以及所使用的工具 ( IDE 以及 檢查模式的 Dart VM )可以幫助你檢查你的代碼是否把非字符串類型對象給放到 這個 list 中了。下面是一個示例：

var names = new List<String>();
names.addAll(['Seth', 'Kathy', 'Lars']);
// ...
names.add(42); // 在檢查模式下失敗 (生產(chǎn)模式成功).

• 另外一個使用泛型的原因是減少重復(fù)的代碼。 泛型可以在多種類型之間定義同一個實現(xiàn)， 同時還可以繼續(xù)使用檢查模式和靜態(tài)分析工具提供的代碼分析功能。

例如，你創(chuàng)建一個保存緩存對象的接口：

abstract class ObjectCache {
  Object getByKey(String key);
  setByKey(String key, Object value);
}

后來你發(fā)現(xiàn)你需要一個用來緩存字符串的實現(xiàn)， 則你又定義另外一個接口：

abstract class StringCache {
  String getByKey(String key);
  setByKey(String key, String value);
}

然后，你又需要一個用來緩存數(shù)字的實現(xiàn)， 在后來，你又需要另外一個類型的緩存實現(xiàn)，等等。。。

泛型可以避免這種重復(fù)的代碼及類型不確定性。 你只需要創(chuàng)建一個接口即可：

abstract class Cache<T> {
  T getByKey(String key);
  setByKey(String key, T value);
}

在上面的代碼中，T 是一個備用類型。這是一個類型占位符， 在開發(fā)者調(diào)用該接口的時候會指定具體類型。

二、Using collection literals（使用集合字面量）

• List 和 map 字面量也是可以參數(shù)化的。

參數(shù)化定義 list 需要在中括號之前 添加 <type> ， 定義 map 需要在大括號之前 添加 <keyType, valueType>。 如果你需要更加安全的類型檢查，則可以使用 參數(shù)化定義。

下面是一些示例：

var names = <String>['Seth', 'Kathy', 'Lars'];
var pages = <String, String>{
  'index.html': 'Homepage',
  'robots.txt': 'Hints for web robots',
  'humans.txt': 'We are people, not machines'
};

三、Using parameterized types with constructors（在構(gòu)造函數(shù)中使用泛型）

在調(diào)用構(gòu)造函數(shù)的時候， 在類名字后面使用尖括號(<...>)來指定 泛型類型。例如：

var names = new List<String>();
names.addAll(['Seth', 'Kathy', 'Lars']);
var nameSet = new Set<String>.from(names);

下面代碼創(chuàng)建了一個 key 為 integer， value 為 View 類型 的 map：

var views = new Map<int, View>();

四、Generic collections and the types they contain(泛型集合及其包含的類型)

Dart 的泛型類型是固化的，在運行時有也 可以判斷具體的類型。例如在運行時（甚至是生產(chǎn)模式） 也可以檢測集合里面的對象類型：

var names = new List<String>();
names.addAll(['Seth', 'Kathy', 'Lars']);
print(names is List<String>); // true

注意 is 表達式只是判斷集合的類型，而不是集合里面具體對象的類型。 在成產(chǎn)模式，List<String> 變量可以包含 非字符串類型對象。對于這種情況， 你可以選擇分別判斷每個對象的類型或者 處理類型轉(zhuǎn)換異常。

注意： Java 中的泛型信息是編譯時的，泛型信息在運行時是不存在的。 在 Java 中你可以測試一個對象是否為 List， 但是你無法測試一個對象是否為 List<String>。

五、Restricting the parameterized type（限制泛型類型）

當(dāng)使用泛型類型的時候，你可能想限制泛型的具體類型。 使用 extends 可以實現(xiàn)這個功能：

// T一定是某個基類或者它的子類.
class Foo<T extends SomeBaseClass> {...}

class Extender extends SomeBaseClass {...}

void main() {
  // 可以在<>中使用某個基類或它的任何子類 .
  var someBaseClassFoo = new Foo<SomeBaseClass>();
  var extenderFoo = new Foo<Extender>();

  // 完全不使用<>也是可以的.
  var foo = new Foo();

  // 指定任何 non-SomeBaseClass 類型都會導(dǎo)致警告，并在選中模式下導(dǎo)致運行時錯誤。
  // var objectFoo = new Foo<Object>();
}

六、Using generic methods（使用泛型函數(shù)）

一開始，泛型只能在 Dart 類中使用。SDK 版本號為 1.21 或者更高版本語法也支持在函數(shù)和方法上使用泛型了。

T first<T>(List<T> ts) {
  // ...進行一些初始工作或錯誤檢查, 然后...
  T tmp ?= ts[0];
  // ...做一些額外的檢查或處理...
  return tmp;
}

這里的 first (<T>) 泛型可以在如下地方使用 參數(shù) T ：

• 函數(shù)的返回值類型 (T).
• 參數(shù)的類型 (List<T>).
• 局部變量的類型 (T tmp).