8.Generics 泛型(Dart中文文档)

• 这篇翻译的不好

如果你看API文档中的数组篇，你会发现类型一般写成List.<...>的写法表示通用类型的数组（未明确指定数组中的数据类型）。通常情况泛型类型用E,T,S,K,V表示。

Why use generics? 为什么用泛型

泛型是类型安全的（意思是你必须指定数据的类型），但是它的写法比硬编码指定类型高效的多：

• Properly specifying generic types results in better generated code.
• 减少重复代码

如果你想让数组只有String值，定义为List。这样，后续代码中，如果给数组赋值了非String类型，编译器将提示报错，

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

另一个使用泛型是原因是为了减少重复代码。泛型让你通过一个单一类可以适配多种类型的数据操作，同时可以进行静态代码检查（比如，类型安全检查）。

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

上面代码是对Object类型操作，在没用泛型的情况下，你想对String类型操作，就得重新定义一个类

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

后面，你如果相对num类型操作，还得重新定义一个类。

而泛型就可以解决上面的问题，它通过对类型参数化，实现一个类针对多种数据类型操作的适配。

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

Using collection literals 使用集合

List和map的字面量

List和map的字面量方式可以用指定类型参数。

var names = ['Seth', 'Kathy', 'Lars'];
var pages = {
  'index.html': 'Homepage',
  'robots.txt': 'Hints for web robots',
  'humans.txt': 'We are people, not machines'
};

Using parameterized types with constructors 构造器中使用类型参数

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

下面是map的泛型构造写法：

var views = Map();

Generic collections and the types they contain

Dart的泛型类型是在运行时绑定的，这样，在运行时，可以知道List内具体类型。

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

注意：java中，泛型是采用擦除的方式，它在运行时，其实对象都是Object类型或者泛型的约束父类。

Restricting the parameterized type

当泛型时，希望限制参数的类型范围，可以用extends关键字约束。

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

class Extender extends SomeBaseClass {...}

添加约束后，只要是指定的父类或者其子类都可以作为泛型参数。

var someBaseClassFoo = Foo();
var extenderFoo = Foo();

也可以不指定泛型参数。

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

不可以用限定范围的泛型参数，这样静态代码检查器将提示错误。

var foo = Foo