Dart 2（八）泛型

泛型

如果您查看基本数组类型List的API文档，您将看到该类型实际上是List<E> <..>标记列表为具有正式类型参数的泛型(或参数化)类型a。按照惯例，类型变量有单字母名称，例如E、T、S、K和V。
E, T, K, V是泛型中常用的几个名称,实际上定义泛型时完全可以不使用它们.

不过这几个字母用得人多了,也就有了可读性上的意义,这样可以更好的进行协作.

E代表Element,元素.

T代表Type,类型.

K代表Key,键.

V代表Value,值.

为什么使用泛型?

泛型通常是为了类型安全而必需的，但是它们比仅仅允许您的代码运行有更多的好处:

适当地指定泛型类型会生成更好的代码。
您可以使用泛型来减少代码重复。
如果想要List只包含字符串，可以将其声明为list <String>(读作“String列表”)。通过这种方式，您的程序员伙伴和您的工具可以检测到向列表分配非字符串可能是一个错误。这里有一个例子:

var names = List<String>();
names.addAll(['Seth', 'Kathy', 'Lars']);
names.add(42); // Error

使用泛型的另一个原因是为了减少代码重复。泛型允许您在许多类型之间共享一个接口和实现，同时还可以利用静态分析。例如，假设您创建了一个缓存对象的接口:

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

您发现需要此接口的特定字符串版本，因此创建了另一个接口:

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

稍后，您决定要此接口的特定于数字的版本……您就知道了。
泛型类型可以省去创建所有这些接口的麻烦。相反，您可以创建一个带有类型参数的接口:

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

在这段代码中，T是替代类型。它是一个占位符，您可以将其视为开发人员稍后将定义的类型。

使用集合文字

List和Map文字可以参数化。参数化的字面值就像您已经看到的字面值一样，只是在左括号前面添加了<type>(用于列表)或<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'
};

使用带构造函数的参数化类型

若要在使用构造函数时指定一个或多个类型，请将类型放在尖括号(<…>)中，刚好在类名之后。例如:

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

下面的代码创建了一个具有整型键和类型视图值的映射:

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

泛型集合及其包含的类型

Dart泛型类型被具体化了，这意味着它们在运行时携带着自己的类型信息。例如，您可以测试集合的类型:

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

注意:相反，Java中的泛型使用擦除，这意味着泛型类型参数在运行时被删除。在Java中，可以测试对象是否为列表，但不能检查它是否为列表<String>。

限制参数化类型

在实现泛型类型时，您可能希望限制其参数的类型。您可以使用extend来实现这一点。

class Foo<T extends SomeBaseClass> {
  // Implementation goes here...
  String toString() => "Instance of 'Foo<$T>'";
}

class Extender extends SomeBaseClass {...}

可以使用SomeBaseClass或它的任何子类作为通用参数:

var someBaseClassFoo = Foo<SomeBaseClass>();
var extenderFoo = Foo<Extender>();

也可以不指定通用参数:

var foo = Foo();
print(foo); // Instance of 'Foo<SomeBaseClass>'

指定任何非SomeBaseClass类型将导致错误:

var foo = Foo<Object>();

使用泛型方法

最初，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;
}

这里的第一个泛型类型参数(<T>)允许您在几个地方使用类型参数T:

在函数的返回类型(T)中。
在参数的类型中(列表<T>)。
在局部变量(T tmp)的类型中。