泛型 - Generics

Android社区发表于 2019-07-04T00:45:23Z 收藏文章

如果你查看 List 类型的 API 文档，则可以看到实际的类型定义为 List。这个 <…> 声明 list 是一个泛型 (或者参数化) 类型。通常情况下，使用一个字母来代表类型参数，例如 E, T, S, K, 和 V 等。

Why use generics?（为何使用泛型）

在 Dart 中类型是可选的，你可以选择不用泛型。有些情况下你可能想使用类型来表明你的意图，不管是使用泛型还是具体类型。

例如，如果你希望一个 list 只包含字符串对象，你可以定义为 List (代表 “list of string”)。这样你、你的同事、以及所使用的工具 ( IDE 以及检查模式的 Dart VM )可以帮助你检查你的代码是否把非字符串类型对象给放到这个 list 中了。下面是一个示例：

var names = new List<String>();
names.addAll(['Seth', 'Kathy', 'Lars']);
// ...
names.add(42); // Fails in checked mode (succeeds in production mode).

另外一个使用泛型的原因是减少重复的代码。泛型可以在多种类型之间定义同一个实现，同时还可以继续使用检查模式和静态分析工具提供的代码分析功能。例如，你创建一个保存缓存对象的接口：

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 变量可以包含非字符串类型对象。对于这种情况，你可以选择分别判断每个对象的类型或者处理类型转换异常 (参考 Exceptions)。

注意： Java 中的泛型信息是编译时的，泛型信息在运行时是不纯在的。在 Java 中你可以测试一个对象是否为 List，但是你无法测试一个对象是否为 List。

Restricting the parameterized type（限制泛型类型）

当使用泛型类型的时候，你可能想限制泛型的具体类型。使用 extends 可以实现这个功能：

// T must be SomeBaseClass or one of its descendants.
class Foo<T extends SomeBaseClass> {...}

class Extender extends SomeBaseClass {...}

void main() {
  // It's OK to use SomeBaseClass or any of its subclasses inside <>.
  var someBaseClassFoo = new Foo<SomeBaseClass>();
  var extenderFoo = new Foo<Extender>();

  // It's also OK to use no <> at all.
  var foo = new Foo();

  // Specifying any non-SomeBaseClass type results in a warning and, in
  // checked mode, a runtime error.
  // var objectFoo = new Foo<Object>();
}

Using generic methods（使用泛型函数）

一开始，泛型只能在 Dart 类中使用。新的语法也支持在函数和方法上使用泛型了。

T first<T>(List<T> ts) {
  // ...Do some initial work or error checking, then...
  T tmp ?= ts[0];
  // ...Do some additional checking or processing...
  return tmp;
}

这里的 first (<T>) 泛型可以在如下地方使用参数 T ：

函数的返回值类型 (T).
参数的类型 (List).
局部变量的类型 (T tmp).

版本说明： 在 Dart SDK 1.21. 开始可以使用泛型函数。

如果你使用了泛型函数，则需要设置 SDK 版本号为 1.21 或者更高版本。

关于泛型的更多信息，请参考 Dart 的可选类型和使用泛型函数。