重写顶级常量

对实例成员的接口成员进行重写的注解。

注解不会影响 Dart 程序的意义。此注解由 Dart 分析器识别，并允许分析器为有效程序中的一些潜在问题提供提示或警告。因此，此注解的意义由 Dart 分析器定义。

@override注解表达了意图声明应该重写接口方法，这一点从声明本身是不可见的。此额外信息允许分析器在意图未满足时提供警告，其中成员旨在重写超类成员或实现接口成员，但未能做到。这种情况可能发生如果成员名称输入错误，或者如果超类重命名了成员。

@override注解适用于实例方法、实例获取器、实例设置器和实例变量（字段）。当应用于实例变量时，意味着变量的隐式获取器和设置器（如果有）被标记为重写。它对变量本身没有影响。

可以进一步使用lints来启用更多基于@override注解的警告。