目录

扩展类

使用 extends 创建子类,使用 super 引用超类

dart
class Television {
  void turnOn() {
    _illuminateDisplay();
    _activateIrSensor();
  }
  // ···
}

class SmartTelevision extends Television {
  void turnOn() {
    super.turnOn();
    _bootNetworkInterface();
    _initializeMemory();
    _upgradeApps();
  }
  // ···
}

有关 extends 的另一种用法,请参阅泛型页面上关于参数化类型的讨论。

重写成员

#

子类可以重写实例方法(包括运算符)、getter 和 setter。可以使用 @override 注解来表明您有意重写成员

dart
class Television {
  // ···
  set contrast(int value) {...}
}

class SmartTelevision extends Television {
  @override
  set contrast(num value) {...}
  // ···
}

重写的方法声明必须在几个方面与它重写的方法相匹配

  • 返回类型必须与被重写方法的返回类型相同(或其子类型)。
  • 参数类型必须与被重写方法的参数类型相同(或其超类型)。在前面的示例中,SmartTelevisioncontrast setter 将参数类型从 int 更改为超类型 num
  • 如果被重写的方法接受 n 个位置参数,那么重写的方法也必须接受 n 个位置参数。
  • 泛型方法不能重写非泛型方法,非泛型方法也不能重写泛型方法。

有时你可能想要缩小方法参数或实例变量的类型。这违反了正常规则,并且类似于向下转型,因为它可能在运行时导致类型错误。尽管如此,如果代码可以保证不会发生类型错误,则仍然可以缩小类型。在这种情况下,你可以在参数声明中使用covariant 关键字。有关详细信息,请参阅Dart 语言规范

noSuchMethod()

#

要检测或响应代码何时尝试使用不存在的方法或实例变量,你可以重写 noSuchMethod()

dart
class A {
  // Unless you override noSuchMethod, using a
  // non-existent member results in a NoSuchMethodError.
  @override
  void noSuchMethod(Invocation invocation) {
    print('You tried to use a non-existent member: '
        '${invocation.memberName}');
  }
}

除非以下之一为真,否则你无法调用未实现的方法

  • 接收者的静态类型为 dynamic

  • 接收者的静态类型定义了未实现的方法(抽象是可以的),并且接收者的动态类型具有与 Object 类中不同的 noSuchMethod() 的实现。

有关更多信息,请参阅非正式的noSuchMethod 转发规范。