【Flutter 1-12】Flutter手把手教程Dart语言——什么是泛型和泛型的使用场景

做者 | 弗拉德
来源 | 弗拉德（公众号：fulade_me)

泛型

若是你查看数组的API文档，你会发现数组List的实际类型为List<E>。<> 符号表示数组是一个泛型（或参数化类型）一般使用一个字母来表明类型参数，好比E、T、S、K 和 V 等等。

为何使用泛型？

泛型经常使用于须要要求类型安全的状况，可是它对代码运行也有好处：

• 适当地指定泛型能够更好地帮助代码生成。
• 使用泛型能够减小代码重复。

好比你想声明一个只能包含String类型的数组，你能够将该数组声明为List<String>，这表示只能包含字符串类型的数组。这样的话就能够很容易避免由于在该数组放入非String类变量而致使的诸多问题，同时编译器以及其余阅读代码的人均可以很容易地发现并定位问题：

var names = List<String>();
names.addAll(['Seth', 'Kathy', 'Lars']);
names.add(42); // 这样写就会报错

另外一个使用泛型的缘由是能够减小重复代码。泛型可让你在多个不一样类型实现之间共享同一个接口声明，好比下面的例子中声明了一个类用于缓存对象的接口：

/// 定义一个 抽象类
abstract class ObjectCache {
  Object getByKey(String key);
  void setByKey(String key, Object value);
}

不久后你可能又会想专门为String类对象作一个缓存，因而又有了专门为String作缓存的类：

/// 另一个抽象类
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、Set以及Map字面量也能够是参数化的。定义参数化的List只需在中括号前添加<type>；定义参数化的Map只须要在大括号前添加 <keyType, valueType>：

var names = <String>['小芸', '小芳', '小民'];
var uniqueNames = <String>{'小芸', '小芳', '小民'};
var pages = <String, String>{
  'index.html': '主页',
  'robots.txt': '网页机器人提示',
  'humans.txt': '咱们是人类，不是机器'
};

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

在调用构造方法时也能够使用泛型，只需在类名后用尖括号<...>将一个或多个类型包裹便可：

var nameSet = Set<String>.from(names);

下面代码建立了一个键为Int类型，值为View类型的Map对象：

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

泛型集合以及它们所包含的类型

Dart的泛型类型是固化的，这意味着即使在运行时也会保持类型信息：

var names = List<String>();
names.addAll(['小芸', '小芳', '小民']);
print(names is List<String>); // true

限制参数化类型

有时使用泛型的时候可能会想限制泛型的类型范围，这时候能够使用extends关键字：

class Foo<T extends SomeBaseClass> {
  // 具体实现……
  String toString() => "'Foo<$T>' 的实例";
}
class Extender extends SomeBaseClass {...}

这时候就能够使用SomeBaseClass或者它的子类来做为泛型参数：

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

这时候也能够指定无参数的泛型，这时无参数泛型的类型则为 Foo<SomeBaseClass>：

var foo = Foo();
print(foo); // 'Foo<SomeBaseClass>' 的例

将非SomeBaseClass的类型做为泛型参数则会致使编译错误：

/// 这样写是会报错的
var foo = Foo<Object>();

使用泛型方法

起初Dart只支持在类的声明时指定泛型，如今一样也能够在方法上使用泛型，称之为泛型方法：

T first<T>(List<T> ts) {
  // 处理一些初始化工做或错误检测……
  T tmp = ts[0];
  // 处理一些额外的检查……
  return tmp;
}

方法 first<T> 的泛型T能够在以下地方使用：

• 函数的返回值类型 T。
• 参数的类型 List<T>。
• 局部变量的类型 T tmp。