Dart使用typedef别名声明类属性触发类型注解告警解决方法

触发告警的linter规则为always_specify_types，在未启用空安全的Dart版本中，该规则存在实现逻辑缺陷：仅认可直接书写的原生类型、泛型类型作为合法的显式类型注解，不会将typedef定义的类型别名判定为符合要求的显式类型标注，只要代码中在属性、返回值、变量声明的类型位置使用typedef别名，就会抛出"Specify type annotations"提示。
示例代码中Bar类的foo getter使用FooType这个typedef别名作为返回值类型，刚好命中规则校验逻辑，因此触发告警。
开发团队在Moor迁移时大面积遇到该提示，是因为pre-null-safety版本的Moor库大量使用typedef定义数据表列类型（如各类数值、文本列的类型别名），迁移工具配套的linter校验逻辑无法识别这类别名类型，导致几乎所有列定义都触发告警。

可根据团队实际场景三选一处理：

• 适配规则要求修改代码：将所有使用typedef别名标注类型的位置，替换为别名对应的完整显式类型。示例代码修改后如下：

class FooClass<T> {}

typedef FooType = FooClass<String>;

class Bar {
  FooClass<String> get foo => FooClass<String>();
}

针对Moor的数据表列定义，将所有用typedef列别名标注的字段类型，替换为对应的完整实体类型即可通过校验。

• 调整lint规则配置：如果团队不需要强制要求所有位置都显式写类型注解，可以在项目根目录的analysis_options.yaml文件中关闭always_specify_types规则，配置参考：

linter:
  rules:
    always_specify_types: false

• 版本升级适配：将项目升级到支持空安全的稳定Flutter/Dart版本，同时将Moor升级为适配空安全的后续版本（Drift）。空安全版本的Dart linter已经修复了typedef类型识别的缺陷，正常使用typedef做类型标注不会触发该规则告警，新版ORM库也做了对应适配，不会出现批量报错的问题。

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