Dart基础之Generics 泛型＜T＞

Java开发过程中，会通过重载实现根据不同的参数类型生成类似方法（多态），进一步可以通过泛型进一步提取基类方法；而对于 Dart 而言，为了解决多种方式构造对象的场景，也可以通过 Dart 中的 Generics 泛型来提取基类。

Generics

Generics 泛型是用于解决类/接口/方法复用性以及对不特定类型进行数据校验的一种方式；通常用 <…> 符号表示，其中参数一般用 T、E、S、K、V 字母代表；

泛型优势

Dart 不支持重载，所以可以通过设置多个不同名称的方法或不同的命名构造函数以用来区分不同功能的实现。

bool getBoolValue(bool value) {}
bool saveIntValue(int value) {}
String saveStringValue(String value) {}

上面代码设置多个类似的方法，可见代码过于冗余；不过Dart 中的类型实际是可选的，即在 Dart 中函数类型，可以省略参数类型和变量类型等；
因此也可以尝试不指定传参类型和返回类型，这样可以避免代码冗余，但是却放弃了代码检查；

getValue(value) => value;

此时，我们可以考虑用泛型方式来处理，而泛型的优势就是适当地指定泛型可以更好地帮助代码生成和减少代码冗余；

T getValue<T>(T value) => value;print('SpUtils -> getValue(bool) -> ${getValue(true)} -> ${getValue<bool>(true)}');
print('SpUtils -> getValue(int) -> ${getValue(123)} -> ${getValue<int>(1)}');
print('SpUtils -> getValue(String) -> ${getValue('dart泛型')} -> ${getValue<String>('dart泛型')}');

泛型方法

上述代码中定义了一个 getValue 的泛型方法，但是泛型的应用比较灵活，可以只限制参数或返回类型或两者均限制。

函数参数为泛型类型
getValue() 可以当作一个普通的函数使用，但是为了限制参数类型校验，可以在参数前加入固定类型；因为限制了 getValue 因此参数只能传递 String 类型，若传入其他类型参数则会异常提示；

getValue<T>(T value) => value;
print('${getValue<String>('dart泛型')}');
// 异常参数类型 getValue<String>(123)
// The argument type int can’t be assigned to the parameter type String.

函数返回值为泛型类型
getValue() 前添加泛型限制时，即限制了返回参数为泛型类型，其中的返回内容不能限制为固定的某一种类型，此时参数和返回值均会进行不确定类型校验；

T getValue<T>(T value) => value;
print('${getValue<String>('dart泛型')}');

泛型类

Dart 中常用的 List 或 Set 等基础数组类型均为泛型类；下面以 List 为例，创建了一个 MList 的泛型类；

class MList<T> {List _list = List<T>();void add<T>(T value) {this._list.add(value);}get myList => this._list;
}

这样不限制类型，可以在 MList 中添加任意类型的数据；当限制传入数据为 int 或 String 类型时，则只能传入固定类型数据，否则会异常提示；即通过泛型对不确定类型进行了数据校验；

MList mList1 = MyList();
mList1.add(true);
mList1.add(123);
mList1.add('dart泛型');
print('MList -> ${mList1.mList}');

输出：

I/flutter (13297): MyList -> [true, 123, dart泛型]

MList mList2 = MList<int>();
mList2.add(true);  // 只能传入固定 int 类型
mList2.add(123);
print('MList -> ${mList2.mList}');

输出：

type ‘bool’ is not a subtype of type ‘int’ of ‘value’

泛型接口

Dart 中定义泛型接口和泛型类是一样的，Dart 中定义接口方式可以是普通类也可以是抽象类；定义一个 Sp 接口，添加了 get / set 方法；

abstract class Sp<T> {void set(String key, T value);T get(String key);
}class SpUtils<T> implements Sp<T> {Map map = new Map();@overrideT get(String key) {return map[key];}@overridevoid set(String key, T value) {map[key] = value;}
}

使用时与泛型类一致，在不限制 set 类型时，可以是任意数据类型，而若设置 SpUtils 时，则限制 set 内容只能为 String 类型，若传入其他类型则会异常提示。

SpUtils spUtils = SpUtils();
spUtils.set('name', '张三');
spUtils.set('age', 10);
print('SpUtils -> ${spUtils.get('name')} -> ${spUtils.get('age')}');/// I/flutter (13297): SpUtils -> dart泛型 -> 10SpUtils spUtils2 = SpUtils<String>();
spUtils2.set('name', '张三');
spUtils2.set('age', 10);    // 只能传入固定 String 类型
print('SpUtils -> ${spUtils2.get('name')} -> ${spUtils2.get('age')}');/// type 'int' is not a subtype of type 'String' of 'value'

泛型约束

在使用泛型类型时可以限制其参数类型，例如，可以使用 extends 在进行限制；通过 extends 可以限制其当前参数类型及其子类参数类型；

class Animal {}
class FlyAnimal extends Animal {}
class LandAnimal extends Animal {}
class Bird extends FlyAnimal {}
class Dog extends LandAnimal {}
class Cat extends LandAnimal {}
class Foo<T extends LandAnimal> {}Foo foo1 = Foo<LandAnimal>();
Foo foo2 = Foo<Cat>();
Foo foo3 = Foo<Dog>();
Foo foo4 = Foo<FlyAnimal>();  /// 异常类型；

这里对泛型理解仅限于日常应用，对于协变 / 逆变等理解并未详细介绍；由于个人水平有限，如有错误，请多多指教！