Dart中@override重写方法为何不允许收紧参数类型？

云上老周

2026-8-28

背景

我是Dart初学者，近期在学习Dart健全类型系统相关文档时，看到了重写方法时使用健全参数类型章节。

文档中说明：

重写方法的参数类型必须与父类对应参数类型一致，或是其父类型。禁止将参数类型替换为原参数的子类型，即不得“收紧”参数类型。

同时配套给出了示例代码块：
示例截图

疑问点

我理解禁止重写方法时收紧参数类型，是为了避免出现“定义Cat对象却传入Alligator参数调用chase方法”的类型错误，对应示例代码如下：

定义猫，却让它去追短吻鳄

class Animal {
  chase(Animal a) {}
}

class Mouse extends Animal {}

class Alligator extends Animal {}

class CatA extends Animal {
  @override
// 该行报错
  void chase(Mouse x) {} // 逻辑合理：猫抓老鼠
}

class CatB extends Animal {
  @override
  // 该行报错
  void chase(Alligator x) {} // 猫追短吻鳄？不符合常识
}

但如果将参数类型设置为Object（几乎所有类型的父类型），代码却可以正常运行：

class Cat extends Animal {
  @override
  void chase(Object x) { // 此时Cat可以追逐任意对象

  }
}

void main() {
  var cat = Cat();
  cat.chase(Alligator()); // 这又出现了让小猫追逐凶猛短吻鳄的场景
}
// 该段代码可正常运行

这让我十分困惑。此外，如果我定义一个继承自Cat的SuperCat，本身设定就是可以追逐Alligator，代码仍然会报错：

class SuperCat extends Cat {
  @override
  // 该行报错
  void chase(Alligator x) { // 我有意定义SuperCat可以追Alligator，但代码无法通过编译

  }
}

上述现象让我十分不解，是我理解有误，还是该规则背后有其他底层设计逻辑？

补充疑问

感谢@jamesdlin和@Abion47的解答，我已经理解了大部分疑惑，但还有一个问题待解决：正如@jamesdlin提到的，重写方法必须遵守基类方法的契约。以Animal和Cat为例，Animal.chase定义的契约是chase方法必须兼容接收任意Animal类型参数，无论该参数是Alligator还是Mouse，但该契约是否同时限制chase方法不能接收Animal之外的其他Object类型参数？*（会有这个疑问是因为直接调用Animal.chase时，无法传入普通Object类型参数）*如果有这个限制，那为什么Dart允许将Cat.chase的参数类型从Animal放宽为Object？这难道不违反Animal.chase定义的契约吗？

回答

这个规则的核心设计逻辑是里氏替换原则（LSP）：所有父类实例可以合法使用的场景，子类实例必须能无缝替换使用，不能出现类型错误。类型系统的所有重写规则，本质都是在强制保证这个原则成立，和业务逻辑是否符合常识没有关系。

先把几个你困惑的点拆清楚：

为什么禁止收紧参数类型？
父类方法的参数类型，定义的是调用方可以合法传入的参数范围。比如Animal.chase(Animal a)的签名，意味着只要是Animal类型的变量，不管实际指向的是CatA还是CatB，调用方都可以合法传入任意Animal子类的实例（包括Mouse、Alligator）。如果子类把参数收紧成Mouse，那当调用方按照父类签名传入Alligator的时候，子类方法根本接收不了这个类型的参数，直接触发类型错误，相当于子类破坏了父类承诺的能力，所以编译器会直接拦截。
你觉得“CatA追Mouse逻辑合理”是业务层面的判断，但类型系统不关心业务逻辑是否符合常识，它只关心会不会出现类型不匹配的运行时错误。
为什么把参数放宽到Object是合法的？
父类契约只要求子类方法必须能接收所有父类参数类型的合法值，从来没限制子类不能接收更多类型的值。Object是Animal的父类型，把参数改成Object意味着子类方法可以接收任意类型的值，自然包含所有Animal类型的参数，完全满足父类的最低要求，不会破坏里氏替换。
你举的cat.chase(Alligator())能正常运行根本不是问题：Alligator本来就是Animal的子类，按照父类的契约，本来就允许传入Alligator调用chase方法，这完全符合类型规则。至于你觉得“猫不该追短吻鳄”，这是你自己的业务代码需要约束的逻辑，类型系统不会替你做这种业务合理性校验。
这里要区分调用点的静态检查和方法实现的区别：如果你把Cat实例赋值给Animal类型的变量再调用chase，编译器会严格按照Animal的签名检查，只允许传入Animal类型的参数，根本不会让你传非Animal的Object值，不会出现乱传参数的问题。只有当你直接用Cat类型的变量调用时，才会按照Cat自己的签名（参数为Object）允许传任意类型，这是静态类型检查的正常逻辑。
为什么SuperCat重写chase接收Alligator会报错？
SuperCat继承自Cat，而Cat的chase方法参数签名是Object，按照重写规则，子类参数类型必须和父类一致或是父类型，但Object已经是Dart类型系统的顶层类型，不存在更高的父类型了。你把参数改成Alligator属于明显的类型收紧：按照Cat的签名，调用方可以给chase传任意Object值（比如字符串、数字、Mouse实例），如果SuperCat只接收Alligator，替换Cat实例的时候就会出现传其他类型值报错的问题，自然不被允许。

最后说你提到的契约问题：父类方法定义的契约是能力下限，不是能力上限。Animal.chase只要求实现方必须支持接收所有Animal类型参数，从来没要求实现方只能接收Animal类型参数。子类放宽参数类型相当于扩展了方法的能力范围，只要保证所有父类承诺能处理的参数都能正常处理，就完全不违反契约。就像你家开的店招牌写着“卖米饭”，你实际同时卖面条、卖饮料完全没问题，只要来买米饭的顾客你都能接待，就不算违反招牌承诺；但你要是把招牌下的业务缩成“只卖蛋炒饭”，那来买白米饭的顾客你接待不了，才是真的违反约定。

内容的提问来源于stack exchange，提问作者HonmaMeiko