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修饰符。
约束：抽象类不能被实例化；一般情况，抽象类都包含抽象方法。- // 抽象类
- abstract class Vehicle {
- void moveForward(int meters);
- }
- // 实现类
- class MockVehicle implements Vehicle {
- @override
- void moveForward(int meters) {
- // ...
- }
- }
使用场景：当我们用base修饰符定义了一个类或者Mixin时（即：基类），那么这个基类的实现只能基类所在库内。这样做的目的：
- 每当创建子类实例时，基类的构造函数被调用
- 所有已经实现的私有成员都在子类中
- 在基类中新增加的成员会被所有子类继承（除非：子类中申明了同名的成员但并不兼容的签名。如：子类申明了同名方法，但是方法入参或者返回结果与基类不兼容）
实战：为了保证基类不会被破坏，子类必须使用base，final或者sealed修饰符。
如下代码样例，基类可以实例化、被继承，但是不能被实现：- // 基类
- base class Vehicle {
- void moveForward(int meters) {
- // ...
- }
- }
- // 1. 实例化
- Vehicle myVehicle = Vehicle();
- // 2. 被继承
- base class Car extends Vehicle {
- int passengers = 4;
- // ...
- }
- // 3. ERROR：不能被实现
- base class MockVehicle implements Vehicle {
- @override
- void moveForward() {
- // ...
- }
- }
使用场景：使用interface修饰符定义一个接口。接口可以被外部库实现，但是不能被继承。这样做的目的：
- 当类的一个实例方法使用this调用另一个实例方法时，它总是调用同一个库的实例方法
- 为了避免不可预期的方法调用，其他库不能重新接口已有的方法
如下代码样例，接口类可以实例化、被实现，但是不能被继承：- // a.dart 接口类
- interface class Vehicle {
- void moveForward(int meters) {
- // ...
- }
- }
- //
- // b.dart
- //
- import 'a.dart';
- // 1. 实例化
- Vehicle myVehicle = Vehicle();
- // 2. 被实现
- class MockVehicle implements Vehicle {
- @override
- void moveForward(int meters) {
- // ...
- }
- }
- // 3. ERROR: 不能被继承
- class Car extends Vehicle {
- int passengers = 4;
- // ...
- }
一般情况下，我们使用interface来定义纯粹接口。
当我们使用abstract interface class组合修饰符时，可以定义一个抽象接口类：它即有接口类的功能（可被实现，但不能被继承），也有抽象类的功能（有抽象成员）。
final修饰符（不可变类）
使用场景：当使用final修饰符时，表示该类不能被其他库继承和实现（和Java还有点不一样）。这样做的目的：
- 可以安全地进行API变更
- 该类不会被第三方子类覆盖，因此可以放心调用实例方法
约束：final不可变类可以在本库中被继承和实现，final修饰符包含了base修饰符特性，因此，子类必须使用base，final或者sealed修饰符。- // a.dart 接口类
- final class Vehicle {
- void moveForward(int meters) {
- // ...
- }
- }
- //
- // b.dart
- //
- import 'a.dart';
- // 1. 实例化
- Vehicle myVehicle = Vehicle();
- // 2. ERROR: 不能被继承
- class Car extends Vehicle {
- int passengers = 4;
- // ...
- }
- class MockVehicle implements Vehicle {
- // 3. ERROR: 不能被实现
- @override
- void moveForward(int meters) {
- // ...
- }
- }
使用场景：当我们定义了一个类（即：密封类），且明确该类的所有子类集合时，请使用sealed修饰符。这允许我们通过switch穷举所有的子类型。
约束：sealed修饰的类，禁止被其他库继承或者实现，它隐含abstract修饰符：
- 不能被实例化
- 可以有工厂构造函数
- 可以定义构造函数，子类可直接使用
- 子类并不是abstract抽象类
编译器可以知道所有sealed修饰符类的子类（因为他们在同一个库中），这样在switch中，如未穷举，编译器能发出错误警告！- // 密封类
- sealed class Vehicle {}
- class Car extends Vehicle {}
- class Truck implements Vehicle {}
- class Bicycle extends Vehicle {}
- // 1. ERROR: 不能被实例化
- Vehicle myVehicle = Vehicle();
- // 2. 子类可以被实例化
- Vehicle myCar = Car();
- String getVehicleSound(Vehicle vehicle) {
- // 3. ERROR: switch中子类未穷举（还有Bicycle子类）
- return switch (vehicle) {
- Car() => 'vroom',
- Truck() => 'VROOOOMM',
- };
- }
组合修饰符
通过组合修饰符，可以起到叠加限制效果。我们申明类时，按照顺序，可以叠加的修饰符：
- 可选的abstract修饰符：类包含抽象成员，且不能被实例化
- 可选的base、interface、final和sealed修饰符：限制其他库的子类型
- 可选的mixin修饰符：类是否可被混入
- 必选的class类关键字
部分修饰符是不能组合使用，因为他们可能多余或者矛盾互斥：
- abstract修饰符和sealed修饰符：原因是sealed隐含了abstract修饰符
- interface、final或sealed修饰符和mixin修饰符：原因是这些修饰符都禁止被混入
完整的有效的修饰符组合列表如下：
我的本博客原地址：https://ntopic.cn/p/2023110501
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！ |
