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<String>();
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> {
  T getByKey(String key);
  void setByKey(String key, T value);
}

Using collection literals 使用集合

List和map的字面量

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

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 = List<String>();
names.addAll(['Seth', 'Kathy', 'Lars']);
var nameSet = Set<String>.from(names);

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

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

Generic collections and the types they contain

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

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

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

Restricting the parameterized type

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

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

class Extender extends SomeBaseClass {...}

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

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

也可以不指定泛型参数。

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

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

var foo = Foo<Object>();

Using generic methods 泛型方法

Initially, Dart’s generic support was limited to classes. A newer syntax, called generic methods, allows type arguments on methods and functions:

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;
}

下面是允许使用泛型方法的场景：

In the function’s return type (T).
In the type of an argument (List).
In the type of a local variable (T tmp).