阿里P7移动互联网架构师进阶视频(每日更新中)免费学习请点击:https://space.bilibili.com/474380680
Dart作为高级语言,支持面向对象的很多特性,并且支持基于mixin的继承方式,基于mixin的继承方式是指:一个类可以继承自多个父类,相当于其他语言里的多继承。所有的类都有同一个基类Object,这和特性类似于Java语言,Java所有的类也都是继承自Object,也就是说一切皆对象。
继承
dart作为面向对象的语言,所以也有面向对象的三大特性,封装、继承、多态。封装就是之前的_前缀,而dart以库作为单位的,而库则是dart中的文件。接下来我们先看继承。
继承。使用extends关键字。格式和Java的是一样的。继承是复用的一种手段,子类继承父类,会继承父类的所有公开属性和公开方法(包括计算属性),私有的属性和方法则不会被继承。子类可以覆写父类的公开方法。
class Person {
String name;
int age;
//私有属性,不能被访问
String _birthday;
//是否成年,计算属性
bool get isAdult => age > 18;
void run() {
print('run -> name=$name, age=$age');
}
}
class Student extends Person {
void study() {
print('study...');
}
//复写计算属性,加上@override注解
@override
bool get isAdult => age > 15;
//复写方法
@override
void run() {
print('student run...');
}
}
void main() {
var student = new Student();
student.study();
//继承Person的可见属性
student.name = 'wally';
student.age = 17;
print('是否成年:${student.isAdult}');
student.run();
}
多态。子类通过覆写覆写中的方法,在构造时,使用父类类型接收,调用父类方法则调用到了子类覆写的方法,则出现了多态。多态后,只能调用父类中公开的方法和属性,不能访问到子类的公开属性和方法了,如果要访问,则需要强转后调用。
//多态
Person person = new Student();
person.name = 'barry';
person.age = 19;
//多态后,只能访问父类中的属性和方法
person.run();
//不能访问子类的方法
//person.study();
//如果需要访问子类的方法,就需要强转
if (person is Student) {
person.study();
}
继承中的构造方法
通过继承我们复用了父类的属性和方法,而构造方法,也会被复用,但和Java的有些许不同。
子类默认继承父类中的无参构造方法。
class Person {
String name;
//重写无参构造方法
Person() {
print("person...");
}
}
class Student extends Person {
}
如果父类没有无参构造方法,只有有参构造或命名构造放方法,则子类需要显示调用父类的有参构造方法或者命名构造方法,还可以结合初始化列表进行使用。
class Person {
String name;
//如果父类没有无参构造方法,只有有参构造或命名构造放方法,则子类需要显示调用父类的有参构造方法或者命名构造方法
Person(this.name);
Person.withName(this.name);
}
class Student extends Person {
final String gender;
//有参构造方法,调用父类的有参构造方法
Student(String name, String gender)
: gender = gender,
super(name);
//子类中的命名构造方法也是一样
Student.withName(this.name, this.gender)
super.withName(name);
//如果gender在初始化列表中初始化也是可以的
Student.withName(String name) : super.withName(name);
Student.withName(String name, String g)
//初始化列表
: gender = g,
super.withName(name);
}
抽象类
抽象abstract是面向对象中的一个非常重要的概念,通常用于描述父类拥有一种行为但无法给出细节实现,而需要通过子类来实现抽象的细节。这种情况下父类被定义为抽象类,子类继承父类后实现其中的抽象方法。
同Java语言类似,Dart中的抽象类也使用abstract来实现,不过抽象函数无需使用abstract,直接给出定义不给出方法体实现即可
抽象类中可以有数据,可以有常规函数,可以有抽象函数,但抽象类不能实例化。子类继承抽象类后必须实现其中的抽象函数。
演示示例:Dog类继承Animal抽象类
main(){
var d = new Dog();
d.name = "dog";
d.eat();
d.display();
}
abstract class Animal{
String name; //数据
void display(){ //普通函数
print("名字是:${name}");
}
void eat(); //抽象函数
}
class Dog extends Animal{
@override
void eat() { //实现抽象函数
print("eat");
}
}
运行结果
接口
和Java一样,dart也有接口,但是和Java还是有区别的。
首先,dart的接口没有interface关键字定义接口,而是普通类或抽象类都可以作为接口被实现。
同样使用implements关键字进行实现。
但是dart的接口有点奇怪,如果实现的类是普通类,会将普通类和抽象中的属性的方法全部需要覆写一遍。而因为抽象类可以定义抽象方法,普通类不可以,所以一般如果要实现像Java接口那样的方式,一般会使用抽象类。
class Person {
String name;
//计算属性
int get age => 18;
void run() {
print('Person run...');
}
}
//dart的接口,类也可以作为接口,使用implements关键字进行实现,需要将所有属性和方法都实现...
class Student implements Person {
@override
String name;
@override
int get age => null;
@override
void run() {
}
}
一般会使用抽象类进行实现。
//dart的接口有点奇怪,所以一般会将抽象类作为接口来使用
abstract class Person {
void run();
}
class Student implements Person {
@override
void run() {
print('student...run...');
}
}
var student = new Student();
student.run();
基于Mixins的多继承
除了上面和其他语言类似的单继承外,在Dart中还提供了另一继承的机制就是基于Mixins的多继承,但是它不是真正意义上类的多继承,它始终还是只能有一个超类(基类)。
1、为什么需要Mixins?
为什么需要Mixins多继承?它实际上为了解决单继承所带来的问题,我们很多语言中都是采用了单继承+接口多实现的方式。但是这种方式并不能很好适用于所有场景。
假设一下下面场景,我们把车进行分类,然后下面的颜色条表示各种车辆具有的能力。
我们通过上图就可以看到,这些车辆都有一个共同的父类 Vehicle,然后它又由两个抽象的子类: MotorVehicle 和 NonMotorVehicle 。有些类是具有相同的行为和能力,但是有的类又有自己独有的行为和能力。比如公交车 Bus 和摩托车 Motor 都能使用汽油驱动,但是摩托车 Motor 还能载货公交车 Bus 却不可以。
如果仅仅是单继承模型下,无法把部分子类具有相同行为和能力抽象放到基类,因为对于不具有该行为和能力的子类来说是不妥的,所以只能在各自子类另外实现。那么就问题来了,部分具有相同能力和行为的子类中都要保留一份相同的代码实现。这就是产生冗余,突然觉得单继承模型有点鸡肋,食之无味弃之可惜。
//单继承模型的普通实现
abstract class Vehicle {}
abstract class MotorVehicle extends Vehicle {}
abstract class NonMotorVehicle extends Vehicle {}
class Motor extends MotorVehicle {
void petrolDriven() => print("汽油驱动");
void passengerService() => print('载人');
void carryCargo() => print('载货');
}
class Bus extends MotorVehicle {
void petrolDriven() => print("汽油驱动");
void electricalDriven() => print("电能驱动");
void passengerService() => print('载人');
}
class Truck extends MotorVehicle {
void petrolDriven() => print("汽油驱动");
void carryCargo() => print('载货');
}
class Bicycle extends NonMotorVehicle {
void electricalDriven() => print("电能驱动");
void passengerService() => print('载人');
}
class Bike extends NonMotorVehicle {
void passengerService() => print('载人');
}
可以从上述实现代码来看发现,有很多相同冗余代码实现,请注意这里所说的相同代码是连具体实现都相同的。很多人估计想到一个办法那就是将各个能力提升成接口,然后各自的选择去实现相应能力。但是我们知道即使抽成了接口,各个实现类中还是需要写对应的实现代码,冗余还是无法摆脱。不妨我们来试试用接口:
//单继承+接口多实现
abstract class Vehicle {}
abstract class MotorVehicle extends Vehicle {}
abstract class NonMotorVehicle extends Vehicle {}
//将各自的能力抽成独立的接口,这样的好处就是可以从抽象角度对不同的实现类赋予不同接口能力,
// 职责更加清晰,但是这个只是一方面的问题,它还是无法解决相同能力实现代码冗余的问题
abstract class PetrolDriven {
void petrolDriven();
}
abstract class PassengerService {
void passengerService();
}
abstract class CargoService {
void carryCargo();
}
abstract class ElectricalDriven {
void electricalDriven();
}
//对于Motor赋予了PetrolDriven、PassengerService、CargoService能力
class Motor extends MotorVehicle implements PetrolDriven, PassengerService, CargoService {
@override
void carryCargo() => print('载货');//仍然需要重写carryCargo
@override
void passengerService() => print('载人');//仍然需要重写passengerService
@override
void petrolDriven() => print("汽油驱动");//仍然需要重写petrolDriven
}
//对于Bus赋予了PetrolDriven、ElectricalDriven、PassengerService能力
class Bus extends MotorVehicle implements PetrolDriven, ElectricalDriven, PassengerService {
@override
void electricalDriven() => print("电能驱动");//仍然需要重写electricalDriven
@override
void passengerService() => print('载人');//仍然需要重写passengerService
@override
void petrolDriven() => print("汽油驱动");//仍然需要重写petrolDriven
}
//对于Truck赋予了PetrolDriven、CargoService能力
class Truck extends MotorVehicle implements PetrolDriven, CargoService {
@override
void carryCargo() => print('载货');//仍然需要重写carryCargo
@override
void petrolDriven() => print("汽油驱动");//仍然需要重写petrolDriven
}
//对于Bicycle赋予了ElectricalDriven、PassengerService能力
class Bicycle extends NonMotorVehicle implements ElectricalDriven, PassengerService {
@override
void electricalDriven() => print("电能驱动");//仍然需要重写electricalDriven
@override
void passengerService() => print('载人');//仍然需要重写passengerService
}
//对于Bike赋予了PassengerService能力
class Bike extends NonMotorVehicle implements PassengerService {
@override
void passengerService() => print('载人');//仍然需要重写passengerService
}
针对相同实现代码冗余的问题,使用Mixins就能很好的解决。它能复用类中某个行为的具体实现,而不是像接口仅仅从抽象角度规定了实现类具有哪些能力,至于具体实现接口方法都必须重写,也就意味着即使是相同的实现还得重新写一遍。一起看下Mixins改写后代码:
//mixins多继承模型实现
abstract class Vehicle {}
abstract class MotorVehicle extends Vehicle {}
abstract class NonMotorVehicle extends Vehicle {}
//将各自的能力抽成独立的Mixin类
mixin PetrolDriven {//使用mixin关键字代替class声明一个Mixin类
void petrolDriven() => print("汽油驱动");
}
mixin PassengerService {//使用mixin关键字代替class声明一个Mixin类
void passengerService() => print('载人');
}
mixin CargoService {//使用mixin关键字代替class声明一个Mixin类
void carryCargo() => print('载货');
}
mixin ElectricalDriven {//使用mixin关键字代替class声明一个Mixin类
void electricalDriven() => print("电能驱动");
}
class Motor extends MotorVehicle with PetrolDriven, PassengerService, CargoService {}//利用with关键字使用mixin类
class Bus extends MotorVehicle with PetrolDriven, ElectricalDriven, PassengerService {}//利用with关键字使用mixin类
class Truck extends MotorVehicle with PetrolDriven, CargoService {}//利用with关键字使用mixin类
class Bicycle extends NonMotorVehicle with ElectricalDriven, PassengerService {}//利用with关键字使用mixin类
class Bike extends NonMotorVehicle with PassengerService {}//利用with关键字使用mixin类
可以对比发现Mixins类能真正地解决相同代码冗余的问题,并能实现很好的复用;所以使用Mixins多继承模型可以很好地解决单继承模型所带来冗余问题。
2、Mixins是什么?
用dart官网一句话来概括: Mixins是一种可以在多个类层次结构中复用类代码的方式。
基本语法
方式一: Mixins类使用关键字 mixin 声明定义
mixin PetrolDriven {//使用mixin关键字代替class声明一个Mixin类
void petrolDriven() => print("汽油驱动");
}
class Motor extends MotorVehicle with PetrolDriven {//使用with关键字来使用mixin类
...
}
class Petrol extends PetrolDriven{//编译异常,注意:mixin类不能被继承
...
}
main() {
var petrolDriven = PetrolDriven()//编译异常,注意:mixin类不能实例化
}
方式二: Dart中的普通类当作Mixins类使用
class PetrolDriven {
factory PetrolDriven._() => null;//主要是禁止PetrolDriven被继承以及实例化
void petrolDriven() => print("汽油驱动");
}
class Motor extends MotorVehicle with PetrolDriven {//普通类也可以作为Mixins类使用
...
}
3、使用Mixins多继承的场景
那么问题来了,什么时候去使用Mixins呢?
当想要在不同的类层次结构中多个类之间共享相同的行为时或者无法合适抽象出部分子类共同的行为到基类中时.
比如说上述例子中在 MotorVehicle (机动车)和 Non-MotorVehicle (非机动车)两个不同类层次结构中,其中 Bus (公交车)和 Bicycle (电动自行车)都有相同行为 ElectricalDriven 和 PassengerService. 但是很明显你无法把这个两个共同的行为抽象到基类 Vehicle 中,因为这样的话 Bike (自行车)继承 Vehicle 会自动带有一个 ElectricalDriven 行为就比较诡异。所以这种场景下mixins就是一个不错的选择,可以跨类层次之间复用相同行为的实现。
4、Mixins的线性化分析
在说Mixins线性化分析之前,一起先来看个例子
class A {
void printMsg() => print('A');
}
mixin B {
void printMsg() => print('B');
}
mixin C {
void printMsg() => print('C');
}
class BC extends A with B, C {}
class CB extends A with C, B {}
main() {
var bc = BC();
bc.printMsg();
var cb = CB();
cb.printMsg();
}
不妨考虑下上述例子中应该输出啥呢?
输出结果:
C
B
Process finished with exit code 0
为什么会是这样的结果?实际上可以通过线性分析得到输出结果。理解Mixin线性化分析有一点很重要就是:
在Dart中Mixins多继承并不是真正意义上的多继承,实际上还是单继承;而每次Mixin都是会创建一个新的中间类。并且这个中间类总是在基类的上层。
关于上述结论可能有点难以理解,下面通过一张mixins继承结构图就能清晰明白了:
通过上图,我们可以很清楚发现Mixins并不是经典意义上获得多重继承的方法。 Mixins是一种抽象和复用一系列操作和状态的方式,而是生成多个中间的mixin类(比如生成ABC类,AB类,ACB类,AC类)。它类似于从扩展类获得的复用,但由于它是线性的,因此与单继承兼容。
上述mixins代码在语义理解上可以转化成下面形式:
//A with B 会产生AB类混合体,B类中printMsg方法会覆盖A类中的printMsg方法,那么AB中间类保留是B类中的printMsg方法
class AB = A with B;
//AB with C 会产生ABC类混合体,C类中printMsg方法会覆盖AB混合类中的printMsg方法,那么ABC中间类保留C类中printMsg方法
class ABC = AB with C;
//最终BC类相当于继承的是ABC类混合体,最后调用的方法是ABC中间类保留C类中printMsg方法,最后输出C
class BC extends ABC {}
//A with C 会产生AC类混合体,C类中printMsg方法会覆盖A类中的printMsg方法,那么AC中间类保留是C类中的printMsg方法
class AC = A with C;
//AC with B 会产生ACB类混合体,B类中printMsg方法会覆盖AC混合类中的printMsg方法,那么ACB中间类保留B类中printMsg方法
class ACB = AC with B;
//最终CB类相当于继承的是ACB类混合体,最后调用的方法是ACB中间类保留B类中printMsg方法,最后输出B
class CB extends ACB {}
5、Mixins中的类型
有了上面的探索,不妨再来考虑一个问题,mixin的实例对象是什么类型呢? 我们都知道它肯定是它基类的子类型。 一起来看个例子:
class A {
void printMsg() => print('A');
}
mixin B {
void printMsg() => print('B');
}
mixin C {
void printMsg() => print('C');
}
class BC extends A with B, C {}
class CB extends A with C, B {}
main() {
var bc = BC();
print(bc is A);
print(bc is B);
print(bc is C);
var cb = CB();
print(cb is A);
print(cb is B);
print(cb is C);
}
输出结果:
true
true
true
true
true
true
Process finished with exit code 0
可以看到输出结果全都是true, 这是为什么呢?
其实通过上面那张图就能找到答案,我们知道mixin with后就会生成新的中间类,比如中间类AB、ABC. 同时也会生成
一个新的接口AB、ABC(因为所有Dart类都定义了对应的接口, Dart类是可以直接当做接口实现的)。新的中间类AB继承基类A以及A类和B类混合的成员(方法和属性)副本,但它也实现了A接口和B接口。那么就很容易理解,ABC混合类最后会实现了A、B、C三个接口,最后BC类继承ABC类实际上也相当于间接实现了A、B、C三个接口,所以BC类肯定是A、B、C的子类型,故所有输出都是true。
其实一般情况mixin中间类和接口都是不能直接引用的,比如这种情况:
class BC extends A with B, C {}//这种情况我们无法直接引用中间AB混合类和接口、ABC混合类和接口
但是如果这么写,就能直接引用中间混合类和接口了:
class A {
void printMsg() => print('A');
}
mixin B {
void printMsg() => print('B');
}
mixin C {
void printMsg() => print('C');
}
class AB = A with B;
class ABC = AB with C;
class D extends AB {}
class E implements AB {
@override
void printMsg() {
// TODO: implement printMsg
}
}
class F extends ABC {}
class G implements ABC {
@override
void printMsg() {
// TODO: implement printMsg
}
}
main() {
var ab = AB();
print(ab is A);
print(ab is B);
var e = E();
print(e is A);
print(e is B);
print(e is AB);
var abc = ABC();
print(abc is A);
print(abc is B);
print(abc is C);
var f = F();
print(f is A);
print(f is B);
print(f is C);
print(f is AB);
print(f is ABC);
}
输出结果:
true
true
true
true
true
true
true
true
true
true
true
true
true
Process finished with exit code 0
参考:
https://www.jianshu.com/p/5f41d9cec771
https://www.cnblogs.com/upwgh/p/11198535.html
https://juejin.im/post/5dca26976fb9a04a61247f28
https://www.jianshu.com/p/22d2d19c97d8
阿里P7移动互联网架构师进阶视频(每日更新中)免费学习请点击:https://space.bilibili.com/474380680