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

这个问题确实挺有意思的——在Dart里，当你重写一个返回类型为void的方法时，子类方法的返回类型可以是任何类型，这和Java的严格重写规则完全不同，你给出的代码就是典型的例子：

abstract class AbstractClass { 
  void methodDoesNotReallyReturnVoid(); 
} 
class ConcreteClass extends AbstractClass { 
  // 此处无错误！
  @override 
  int methodDoesNotReallyReturnVoid() => 12; 
} 
void main() { 
  print(ConcreteClass().methodDoesNotReallyReturnVoid()); // 嗯...？
}

为什么Dart允许这种情况？ #

Dart对void的定义和Java有着本质区别：

• Java中的void是严格的无返回值声明，方法内部不能有return 某个值的语句，子类重写时也必须严格遵循void返回类型。
• 而Dart里的void更像是一个提示性注解：它告诉调用者「你应该忽略这个方法的返回值」，但并没有限制方法本身实际返回什么。

在重写场景中，Dart的编译器会认为父类的void声明只是约定了调用端的使用方式，而非限制子类的实现逻辑。所以子类完全可以选择返回任意类型的值，编译器不会抛出错误。

代码运行的逻辑 #

你在main函数中直接调用ConcreteClass实例的方法并打印返回值，能正常输出12是因为：子类方法确实返回了整数，而Dart并没有强制阻止你获取这个返回值——只是如果通过父类引用调用该方法时，类型系统会提示你无法使用返回值：

AbstractClass instance = ConcreteClass();
// 这里编译器会报错，因为instance的方法被声明为void，不允许使用返回值
print(instance.methodDoesNotReallyReturnVoid());

这种设计给了开发者更多灵活性，比如在回调函数的适配、方法扩展等场景中可以更自由地实现，但也需要注意：如果父类方法标记为void，通常意味着调用代码不会依赖其返回值，子类返回的值可能只有在直接调用子类实例方法时才会被用到。

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