flutter 泛型_Flutter入门——泛型
在查看基本数组类型List的API文档，会看到该类型实际上是List。<...>表示法将List标记为泛型(或参数化)类型 - 具有正式类型参数的类型。按照惯例，大多数类型变量都有单字母名称，例如E，T，S，K和V.
为什么要使用泛型
类型安全通常需要泛型，除了允许让代码运行之外，还可以：正确指定泛型类型会生成更好的代码。
例如，可以使用List(字符串列表)，来表示列表中只包含字符串，这样编译器就会启用类型检查，非字符串类型是无法加入该列表的。
1
2
3var names = List();
names.addAll(['a', 'b', 'c']);
// names.add(1); // 错误可以减少代码重复。
泛型允许我们在多种类型之间共享单个接口和实现，同时仍然利用静态分析。例如，创建一个用于缓存对象的接口：
1
2
3
4
5// 抽象类
abstract class ObjectCache {
Object getByKey(String key);
void setByKey(String key, Object value);
}
当缓存字符串对象时，需要创建另一个版本，实际上写法相差无异，只是类型不一致。
1
2
3
4abstract class StringCache {
String getByKey(String key);
void setByKey(String key, String value);
}
此时会发现使用泛型可以省去这些麻烦，使用泛型示例：
1
2
3
4abstract class cache {
T getByKey(String key);
void setByKey(String key, T value);
}
上面示例中的T只是替身类型，在这里充当一个占位符，可视为开发人员稍后定义的类型。
使用集合文字
列表(List)，集合(Set)，和映射(Map)可以参数化。参数化文字对列表和集合来说在其前面加上,例如：
1
2var namesList = ['a', 'b', 'c'];
var uniqueNames = {'a', 'b', 'c'};
对映射(Map)来说，在其前面加上，例如：
1
2
3
4
5var pages = {
'index.html' : 'Homepage',
'robots.txt' : 'Hints for web robots',
'humans.txt' : 'we are people, not machines'
};
使用带有参数类型的构造函数
要在使用构造函数时指定一个或多个类型，请将类型放在类名称后面的尖括号<...>中。例如：
1
2
3
4// 集合
var nameSet = Set.from(names);
// Map
var views = Map();
通用集合及其包含的类型
Dart的泛型是具体的，也就是说他们在运行时会携带着类型信息。例如：
1
2
3
4var names = List();
names.addAll(['Seth', 'Kathy', 'Lars']);
bool b = names is List;
print('result:$b'); //true相反，Java中的泛型使用擦除，也就是说Java在运行时删除泛型类型参数。在Java中，您可以测试对象是否为List，但您无法测试它是否为一个字符串列表(List)。
限制参数类型
在使用泛型时，可以使用extends关键字来限制其参数类型：
1
2
3
4
5
6
7
8
9
10
11
12class SomeBaseClass {
}
// 泛型，限制类型
class Foo {
// Implementation goes here
String toString() => "Instace of 'Foo'";
}
// 继承
class Extender extends SomeBaseClass {
//do something
}
使用SomeBaseClass或其任何子类作为通用参数都是可以的，也可以不指定类型：
1
2
3
4
5
6var someBaseClassFoo = Foo();
// 可以使用子类
var extenderFoo = Foo();
// 也可以不指定泛型的类型
var foo = Foo();
print(foo);
使用泛型方法
Dart的泛型最初只支持对类使用。现在Dart的新语法已经支持在方法和函数上使用泛型。
1
2
3
4
5
6
7
8
9
10// 泛型方法
T first(List ts) {
// Do some initial work or error checking, then...
// List中的参数类型是泛型
T tmp = ts[0];
// Do some additional checking or processing...
//返回一个泛型的方法
return tmp;
}
上边first()的泛型类型参数，允许在以下几个地方使用类型参数T:在函数的返回类型T中。
在参数类型List中。
在局部变量的类型T tmp中。