Dart官方文档:https://dart.dev/language/class-modifiers
重要说明:本博客基于Dart官网文档,但并不是简单的对官网进行翻译,在覆盖核心功能情况下,我会根据个人研发经验,加入自己的一些扩展问题和场景验证。
类型修饰符主要是控制类或者Mixin如何被使用,包括在库内部和外部使用。修饰符关键字出现在类型或Mixin申明的前面,如abstract class
通过abstract
修饰符定义了一个抽象类。
可用于声明类的修饰符关键字列表如下:
- abstract
- base
- final
- interface
- sealed
- mixin
约束:上面的修饰符列表,只有base
能用于Mixin类型;同时,上诉修饰符不能用于包括enum
、typedef
和extension
等类型声明。
实战:当我们决定要使用修饰符时,可能需要考虑一下类的预期用途和类需要提供哪些行为。
无修饰符
当我们定义类或者Mixin时,不希望对构造函数或者子类进行限制时,我们可以不使用修饰符。
当类或者Mixin没有修饰符时,默认情况下,可以对这些类或者Mixin进行以下操作:
- 通过构造函数创建类实例
- 通过继承类来创建子类
- 实现类或者Mixin的接口
- 混入Mixin或者Mixin类
abstract修饰符(抽象类)
使用场景:当我们定义了一个类(即:抽象类),但又没有完整地实现了它所有的接口时使用(和Java语言一样),请使用abstract
修饰符。
约束:抽象类不能被实例化;一般情况,抽象类都包含抽象方法。
|
|
base修饰符(基类)
使用场景:当我们用base
修饰符定义了一个类或者Mixin时(即:基类),那么这个基类的实现只能基类所在库内。这样做的目的:
- 每当创建子类实例时,基类的构造函数被调用
- 所有已经实现的私有成员都在子类中
- 在基类中新增加的成员会被所有子类继承(除非:子类中申明了同名的成员但并不兼容的签名。如:子类申明了同名方法,但是方法入参或者返回结果与基类不兼容)
实战:为了保证基类不会被破坏,子类必须使用base
,final
或者sealed
修饰符。
如下代码样例,基类可以实例化、被继承,但是不能被实现:
|
|
interface修饰符(接口类)
使用场景:使用interface
修饰符定义一个接口。接口可以被外部库实现,但是不能被继承。这样做的目的:
- 当类的一个实例方法使用
this
调用另一个实例方法时,它总是调用同一个库的实例方法 - 为了避免不可预期的方法调用,其他库不能重新接口已有的方法
如下代码样例,接口类可以实例化、被实现,但是不能被继承:
|
|
abstrace interface(抽象接口类)
一般情况下,我们使用interface
来定义纯粹接口。
当我们使用abstract interface class
组合修饰符时,可以定义一个抽象接口类:它即有接口类的功能(可被实现,但不能被继承),也有抽象类的功能(有抽象成员)。
final修饰符(不可变类)
使用场景:当使用final
修饰符时,表示该类不能被其他库继承和实现(和Java还有点不一样)。这样做的目的:
- 可以安全地进行API变更
- 该类不会被第三方子类覆盖,因此可以放心调用实例方法
约束:final
不可变类可以在本库中被继承和实现,final
修饰符包含了base
修饰符特性,因此,子类必须使用base
,final
或者sealed
修饰符。
|
|
sealed修饰符(密封类)
使用场景:当我们定义了一个类(即:密封类),且明确该类的所有子类集合时,请使用sealed
修饰符。这允许我们通过switch
穷举所有的子类型。
约束:sealed
修饰的类,禁止被其他库继承或者实现,它隐含abstract
修饰符:
- 不能被实例化
- 可以有工厂构造函数
- 可以定义构造函数,子类可直接使用
- 子类并不是
abstract
抽象类
编译器可以知道所有sealed
修饰符类的子类(因为他们在同一个库中),这样在switch
中,如未穷举,编译器能发出错误警告!
|
|
在switch
中,如果我们不想穷举sealed
类的子类;又或者以后还会增加子类,但又不想破坏API设计,我也可以使用final
修饰符。关于final
和sealed
修饰符的深入比较,请稍等本博客的下一个博客介绍(请容许我卖个关子!)。
组合修饰符
通过组合修饰符,可以起到叠加限制效果。我们申明类时,按照顺序,可以叠加的修饰符:
- 可选的
abstract
修饰符:类包含抽象成员,且不能被实例化 - 可选的
base
、interface
、final
和sealed
修饰符:限制其他库的子类型 - 可选的
mixin
修饰符:类是否可被混入 - 必选的
class
类关键字
部分修饰符是不能组合使用,因为他们可能多余或者矛盾互斥:
abstract
修饰符和sealed
修饰符:原因是sealed
隐含了abstract
修饰符interface
、final
或sealed
修饰符和mixin
修饰符:原因是这些修饰符都禁止被混入
完整的有效的修饰符组合列表如下:
我的本博客原地址:https://ntopic.cn/p/2023110501