如果你查看 List 类型的 API 文档， 则可以看到 实际的类型定义为 List<E>。 这个 <…> 声明 list 是一个 泛型 (或者 参数化) 类型。 通常情况下，使用一个字母来代表类型参数， 例如 E, T, S, K, 和 V 等。
一、Why use generics?（为何使用泛型）
- 在 Dart 中类型是可选的，你可以选择不用泛型。 有些情况下你可能想使用类型来表明你的意图， 不管是使用泛型还是 具体类型。
例如，如果你希望一个 list 只包含字符串对象，你可以 定义为 List<String> (代表 “list of string”)。这样你、 你的同事、以及所使用的工具 ( IDE 以及 检查模式的 Dart VM )可以帮助你检查你的代码是否把非字符串类型对象给放到 这个 list 中了。下面是一个示例：
var names = new List<String>();
names.addAll(['Seth', 'Kathy', 'Lars']);
// ...
names.add(42); // 在检查模式下失败 (生产模式成功).
- 另外一个使用泛型的原因是减少重复的代码。 泛型可以在多种类型之间定义同一个实现， 同时还可以继续使用检查模式和静态分析工具提供的代码分析功能。
例如，你创建一个保存缓存对象的接口：
abstract class ObjectCache {
Object getByKey(String key);
setByKey(String key, Object value);
}
后来你发现你需要一个用来缓存字符串的实现， 则你又定义另外一个接口：
abstract class StringCache {
String getByKey(String key);
setByKey(String key, String value);
}
然后，你又需要一个用来缓存数字的实现， 在后来，你又需要另外一个类型的缓存实现，等等。。。
泛型可以避免这种重复的代码及类型不确定性。 你只需要创建一个接口即可：
abstract class Cache<T> {
T getByKey(String key);
setByKey(String key, T value);
}
在上面的代码中，T 是一个备用类型。这是一个类型占位符， 在开发者调用该接口的时候会指定具体类型。
二、Using collection literals（使用集合字面量）
- List 和 map 字面量也是可以参数化的。
参数化定义 list 需要在中括号之前 添加 <type> ， 定义 map 需要在大括号之前 添加 <keyType, valueType>。 如果你需要更加安全的类型检查，则可以使用 参数化定义。
下面是一些示例：
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（在构造函数中使用泛型）
在调用构造函数的时候， 在类名字后面使用尖括号(<...>)来指定 泛型类型。例如：
var names = new List<String>();
names.addAll(['Seth', 'Kathy', 'Lars']);
var nameSet = new Set<String>.from(names);
下面代码创建了一个 key 为 integer， value 为 View 类型 的 map：
var views = new Map<int, View>();
四、Generic collections and the types they contain(泛型集合及其包含的类型)
Dart 的泛型类型是固化的，在运行时有也 可以判断具体的类型。例如在运行时（甚至是生产模式） 也可以检测集合里面的对象类型：
var names = new List<String>();
names.addAll(['Seth', 'Kathy', 'Lars']);
print(names is List<String>); // true
注意 is 表达式只是判断集合的类型，而不是集合里面具体对象的类型。 在成产模式，List<String> 变量可以包含 非字符串类型对象。对于这种情况， 你可以选择分别判断每个对象的类型或者 处理类型转换异常。
注意： Java 中的泛型信息是编译时的，泛型信息在运行时是不存在的。 在 Java 中你可以测试一个对象是否为 List， 但是你无法测试一个对象是否为
List<String>。
五、Restricting the parameterized type（限制泛型类型）
当使用泛型类型的时候，你可能想限制泛型的具体类型。 使用 extends 可以实现这个功能：
// 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 类型都会导致警告，并在选中模式下导致运行时错误。
// var objectFoo = new Foo<Object>();
}
六、Using generic methods（使用泛型函数）
一开始，泛型只能在 Dart 类中使用。SDK 版本号为 1.21 或者更高版本语法也支持在函数和方法上使用泛型了。
T first<T>(List<T> ts) {
// ...进行一些初始工作或错误检查, 然后...
T tmp ?= ts[0];
// ...做一些额外的检查或处理...
return tmp;
}
这里的 first (<T>) 泛型可以在如下地方使用 参数 T ：
- 函数的返回值类型 (
T). - 参数的类型 (
List<T>). - 局部变量的类型 (
T tmp).
网友评论