如果你查看 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
).