08-dart-Generics

8. dart类中的泛型

简介

熟悉JAVA的朋友可能知道,JAVA在8中引入了泛型的概念。什么是泛型呢?泛型就是一种通用的类型格式,一般用在集合中,用来指定该集合中应该存储的对象格式。

有了泛型可以简化我们的编程,并且可以减少错误的产生,非常的方便。

dart语言中也有泛型。一起来看看吧。

为什么要用泛型

使用泛型的主要目的是保证类型安全,比如我们有一个List,然后只希望List中保存String类型,那么在dart中可以这样指定:

var stringList = <String>[];
stringList.addAll(['jack ma', 'tony ma']);
stringList.add(18); // 报错

那么在使用的过程中,只能向stringList中添加字符串,如果向其添加数字,则会报错,从而保证List中类型的一致性。

巧妙的使用泛型还能够减少我们的代码量,因为泛型可以代表一类通用的类型。

比如,在学校中,我们有寝室,寝室是有男女之分的,那么对应男生来说有这样的定义:

abstract class BoyRoom {
    Boy getByName(String name);
}

对于女生来说有这样的定义:

abstract class GirlRoom{
    Girl getByname(String name);
}

事实上,两者本质上没太大区别,只是参数或者返回值的类型发生了变化,那么我们可以这样写:

abstract class Room<T>{
    T getByname(String name);
}

从而简化了代码的使用。

怎么使用泛型

泛型一般使用大写的单个字符来表示,通常来说是E, T, S, K 和 V等。

泛型最常见的使用地方是集合中,比如List, set 和 map中:

var listExample = <String>['jack ma', 'tony ma'];
var setExamples = <String>{'jack ma', 'tony ma'};
var mapExamples = <String, String>{
  'name1': 'jack ma',
  'name2': 'tony ma',
};

泛型还可以用在这些集合类的构造函数中,如下:

var stringMap = Map<String, String>();

表示构造出来的集合中,应该包含对应的类型。

类型擦除

虽然JAVA中也有泛型,但是JAVA中的泛型有一个类型擦除的特点。什么时候类型擦除呢?类型擦除就是指泛型指定的类型,只在编译的时候生效,而在运行时是没有泛型的概念的。

对于一个List 来说,JAVA在运行时,只能判断对象是不是List,而不能判断对象是不是List。

dart就和java不一样了,dart在运行时能够携带类型信息,也就是说,在dart中可以判断一个对象是不是List。

var stringList = <String>[];
stringList.addAll(['jack ma', 'tony ma']);
print(names is List<String>); // true

泛型的继承

使用泛型的目的是限制参数的类型,所以我们通常会指定泛型的父类,以限制泛型的类型范围:

class Room<T extends Student> {

}

class Boy extends Student {...}

在使用的过程中,可以传入Student本身,也可以传入Student的子类Boy,还可以不传:

var student = Room<Student>();
var boy = Room<Boy>();
var studentDefault = Room();

泛型方法

dart中的泛型除了可以用在class中以外,还可以用在方法中:

T doSomething<T>(List<T> list) {
  T result = list[0];
  return result;
}

方法中指定的泛型可以用在返回类型、参数和方法中的本地变量类型中。

总结

以上就是dart中泛型和其使用的介绍。

最后更新于