Dart中返回类型为void时方法重写为何无编译错误？

这确实是Dart里一个容易让人摸不着头脑的设计，和Java的重写规则差异挺大的，咱们来好好拆解一下这里void的特殊之处：

首先得明确：Dart的void和Java的void根本不是一个概念。Java里的void是严格表示“方法没有返回值”，子类重写时必须完全遵守，返回任何值都会触发编译错误。但Dart的void更像是一个「提示」——它告诉开发者：“你不应该去使用这个方法的返回值”，而不是强制方法本身不能返回值。

回到你的代码例子，Dart允许子类重写返回void的父类方法时返回任意类型，核心原因在于：

• 当你通过父类类型（比如AbstractClass）调用这个方法时，静态类型检查会把返回值视为void，你根本没法去使用它，所以子类返回什么都不会破坏调用方的逻辑。
• 只有当你直接用子类类型（ConcreteClass）调用时，动态类型才会暴露实际的返回值，这就是为什么你的main函数能正常打印出12。

再换个角度理解Dart的重写规则：通常情况下，子类方法的返回类型需要是父类返回类型的协变类型（比如父类返回Object，子类可以返回String）。而void在这里被当作一个特殊的“兼容所有类型”的注解——因为调用父类方法的代码本来就不会依赖返回值，所以子类返回任何类型都不会违反类型安全。

举个直观的例子，如果我们把代码改成这样：

void main() {
  AbstractClass instance = ConcreteClass();
  // 这里会报错，因为静态类型是void，不能使用返回值
  print(instance.methodDoesNotReallyReturnVoid());
}

这时候编译就会报错，刚好印证了Dart的设计逻辑：void的作用是约束调用方，而不是约束方法本身的返回值。

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