Dart中抽象类与接口的本质区别

接口存在的意义

在许多主流编程语言中，接口定义了一组抽象方法，用于规范类的行为。在Dart中，并没有像Java那样明确的interface关键字，这并非意味着弱化了接口概念，而是Dart的设计哲学更为特殊。

如果去掉接口，仅依靠抽象类，则一切依赖必须通过继承（extends）来维系is-a关系。然而，多继承往往会导致严重的二义性问题。因此，接口的存在本质上是为了解决“多继承带来的冲突”，允许一个类在不产生二义性的前提下，融合多种行为能力。

继承与实现的本质区别

要理解这一区别，首先需要分析当类同时拥有同名成员变量和方法时，系统如何判断归属。

假设存在两个类 A 和 B，均包含 name 属性和 run() 方法：

class A{
  String name;
  A(this.name);
  void run(){ print("B"); }
}
class B{
  String name;
  B(this.name);
  void run(){ print("B"); }
}

若支持多继承，派生类 C 将面临无解的局面：

1. 问题一：基类中存在同名成员变量，无法确定该赋值给 A 还是 B 的成员。
2. 问题二：若子类未覆写 run 方法，调用时将无法确定执行哪个基类的实现。

而接口的多实现能完美规避这些风险。在传统的狭义接口设计中，接口不允许定义普通成员变量，且只定义抽象方法，强制由实现类去完成具体的业务逻辑。

abstract class A{ void run(); }
abstract class B{ void run(); }
class C implements A,B{
  @override
  void run() {
    print("C");
  }
}

由此可以看出，继承是“代码复用的聚合”，面临二义性困境；而实现是“行为的承诺”，通过强制覆写消除了歧义。

Dart中接口的特殊性

在Dart中，任何类（包括具体实现的类）都可以被用作接口。这意味着 Dart 中的 `implements` 不仅要解决方法的二义性，还必须显式地解决变量的二义性。

当一个类实现多个包含同名状态成员的类时，Dart编译器采取了严苛的规则：

解决方法冲突：强制覆写

若 A、B 两个类拥有同名的 `run` 方法，类 C 在实现它们时必须手动覆写该方法以消除歧义：

解决变量冲突：强制Getter

针对 `name` 这样的最终字段冲突，Dart规定派生类不能直接引用基类的私有或同名变量，而是必须为每个冲突的成员变量提供一个独立的 `get` 访问器。

完整的实现示例如下：

class C implements A, B {
  @override
  String get name => "C"; // 独立管理状态
  @override
  void log() {}
  @override
  void run() {}
}

这是 Dart 赋予 `implements` 的强大功能：它将类的身份拆分为两部分，`extend` 后表示继承（具备类的双重身份），`implements` 后表示契约（强制剥离原有的内部状态实现，重写行为）。

抽象类作为接口的细节陷阱

理解了上述规则，再看抽象类与普通类作为接口使用的差异就十分清晰了。

继承 (extends)：享受默认实现

当一个类通过 `extends` 继承一个包含抽象方法和普通非抽象方法的抽象类时，它只需要实现（Override）抽象方法，普通方法可直接沿用父类实现。

实现 (implements)：完全接管所有方法

同样的抽象类如果被当作接口去“实现” (`implements`)，情况则截然不同。`implements` 不认父类现有的逻辑，它认为接口是一系列未定义的行为要求。因此，你必须把抽象类中的所有方法（包括原本已实现的方法）全部重新写一遍。

总结而言，Dart 中抽象类与接口的界限并不在语法关键字上，而在于你是选择了复用基类的代码结构（extends），还是选择拥抱纯粹的多态契约（implements）。理解这一点，方能真正掌握 Dart 面向对象编程的内核。

以上就是Dart中抽象类和接口的本质区别详解的详细内容，更多关于Dart语法进阶的资料请关注本站其它相关文章！