乐趣区

关于dart:Flutter-112Flutter手把手教程Dart语言什么是泛型和泛型的使用场景

jiezi

作者 | 弗拉德
起源 | 弗拉德（公众号：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。

退出移动版