specify_nonobvious_property_types

详情
用法

为顶层和静态变量指定不明显的类型注解。

此规则目前处于实验性阶段，尚未在稳定的 SDK 中提供。

此规则提供快速修复。

当类型不明显时，为初始化的顶层或静态变量添加类型注解。

顶层或静态变量的类型注解可以作为类型推断的请求，记录类型推断步骤的预期结果，并声明式地允许编译器和分析器解决在初始化表达式中查找产生所需结果的类型参数和注解的可能复杂的任务。

顶层或静态变量的类型注解还可以告知读者初始化表达式的类型，这将使他们能够继续阅读代码中此变量的使用位置，并了解有关给定变量类型的已知良好信息（通过查看初始化表达式可能无法立即显现）。

当表达式没有明显的类型时，则认为该表达式具有不明显的类型。

在以下情况下，表达式 e 具有明显的类型

e 是一个非集合字面量。例如，1、true、'Hello, $name!'。
e 是具有实际类型参数的集合字面量。例如，<int, bool>{}。
e 是一个列表字面量或一个集合字面量，其中至少一个元素具有明显的类型，并且所有元素都具有相同的类型。例如，[1, 2] 和 { [true, false], [] }，而不是 [1, 1.5]。
e 是一个映射字面量，其中所有键值对都具有一个明显类型的键和一个明显类型的值，并且所有键都具有相同的类型，并且所有值都具有相同的类型。例如，{ #a[] }，而不是 {1: 1, 2: true}。
e 是一个实例创建表达式，其类部分不是原始的。例如，如果 C 是一个非泛型类，则 C(14)，或者如果 C 接受一个类型参数，则 C(14)，但如果 C 接受一个或多个类型参数，则不是 C(14)。
e 是一个级联，其目标具有明显的类型。例如，1..isEven..isEven 具有明显的类型，因为 1 具有明显的类型。
e 是一个类型转换。例如，myComplexpression as int。

错误

dartfinal myTopLevelVariable =
    genericFunctionWrittenByOtherFolks(with, args);

class A {
  static var myStaticVariable =
      myTopLevelVariable.update('foo', null);
}

正确

dartfinal Map<String, Widget?> myTopLevelVariable =
    genericFunctionWrittenByOtherFolks(with, args);

class A {
  static Map<String, Widget?> myStaticVariable =
      myTopLevelVariable.update('foo', null);
}

此规则是实验性的。它正在评估中，可能会更改或删除。欢迎对其行为提出反馈！主要问题在这里：https://github.com/dart-lang/linter/issues/5101。

要启用 specify_nonobvious_property_types 规则，请在您的 analysis_options.yaml 文件中的 linter > rules 下添加 specify_nonobvious_property_types

analysis_options.yaml
yamllinter:
  rules:
    - specify_nonobvious_property_types

除非另有说明，否则本网站上的文档反映了 Dart 3.6.0。页面上次更新于 2024-07-03。查看源代码或报告问题。

specify_nonobvious_property_types

详情

用法