specify_nonobvious_local_variable_types

为局部变量指定不明显的类型注解。

当局部变量的类型不明显时，请为其添加类型注解。

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

局部变量上的类型注解还可以向读者说明初始化表达式的类型，这将使他们能够带着关于给定变量类型的已知良好信息继续阅读后续代码行（这可能无法通过查看初始化表达式立即显而易见）。

当一个表达式没有明显的类型时，它被认为具有不明显的类型。

在以下情况下，表达式 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 是类型转换。例如，myComplexExpression as int。

差

List<List<Ingredient>> possibleDesserts(Set<Ingredient> pantry) {
  var desserts = genericFunctionDeclaredFarAway(<num>[42], 'Something');
  for (final recipe in cookbook) {
    if (pantry.containsAll(recipe)) {
      desserts.add(recipe);
    }
  }

  return desserts;
}

const List<List<Ingredient>> cookbook = ...;

好

List<List<Ingredient>> possibleDesserts(Set<Ingredient> pantry) {
  List<List<Ingredient>> desserts = genericFunctionDeclaredFarAway(
    <num>[42],
    'Something',
  );
  for (final List<Ingredient> recipe in cookbook) {
    if (pantry.containsAll(recipe)) {
      desserts.add(recipe);
    }
  }

  return desserts;
}

const List<List<Ingredient>> cookbook = ...;

此规则处于实验阶段。它正在评估中，可能会更改或移除。欢迎提供关于其行为的反馈！主要问题链接在此：https://github.com/dart-lang/sdk/issues/58773。

specify_nonobvious_local_variable_types 规则与以下规则不兼容：

• omit_local_variable_types

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

linter:
  rules:
    - specify_nonobvious_local_variable_types

如果你正在使用 YAML map 语法来配置 linter 规则，请在 linter > rules 下添加 specify_nonobvious_local_variable_types: true

linter:
  rules:
    specify_nonobvious_local_variable_types: true