Dart语法糖

（八)Dart Generics（泛型）

2019-06-02  本文已影响10人  小哥_xiaoge

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

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

例如，如果你希望一个 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 需要在中括号之前 添加 <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 ：

上一篇下一篇

猜你喜欢

热点阅读