Dart/Flutter linter 规则：索引映射的类型应该是映射的键类型？

Question

例如，我有

Map<int, int> m;

。然后我可以写下

m['hello']

而不会出现任何编译时错误，但当然，在运行时找不到任何元素。我希望它会在编译时或 lint 时产生错误（或警告）。

这在很多情况下都是一个大问题。例如，当我将

Map<A, int> m

重构为

Map<B, int> m

时，我希望像

m[some_var_of_type_A]

这样的所有访问都出现编译时错误，而不是没有编译时错误，然后在运行时突然爆炸。另一个例子，反序列化后的 JSON 类型为

Map<String, ...>

，但键实际上是一个 int。所以很容易做

var userId=42; deserializedJson[userId]

但只是为了发现错误。实际上需要做

deserializedJson[userId.toString()]

。

你知道，dart 的类型系统非常强大（甚至是空安全的！），而且我真的很喜欢它，因为它在编译时捕获了很多错误。所以我希望这个问题也可以在编译时得到解决。

感谢您的任何建议！

Answer 1

您可以启用

collection_methods_unrelated_type

lint 在使用错误类型的参数对

Map

进行查找时发出警告。

另请参阅 https://github.com/dart-lang/sdk/issues/37392，它请求对

Map.operator []

进行类型检查的替代方案。 同时，Dart 的扩展机制允许任何人自己轻松添加这样的替代方案。 例如，

package:basics

提供经过类型检查的

Map.get

扩展。

Answer 2

注意：

原答案有误，已修改为：

• 指出正确/更好的答案
• 解释为什么原来的答案是错误的

感谢@jamesdlin 指出了这一点。

更好的答案

正如 @jamesdlin 在他的 answer 中所指出的，问题中提到的 lint 规则已在 flutter Github issues 中请求，但尚未投入生产。

原始答案（错误但与问题相关）

为什么错了：

问题是询问使用 Map 索引时的 lint 规则。然而，答案给出了关于使用错误索引初始化映射的 lint 规则（通过错误索引，我的意思是不同的数据类型）。

答案如下：

---

为此有一个 lint 规则。

例如，如果你像这样定义一个Map ->

final Map<String, String> m = {
    1: 'some random value',
};

它立即显示错误，并且无法编译。这是错误 ->

Error: A value of type 'int' can't be assigned to a variable of type 'String'.
    1: 'error because index is of type String but assigned value is of type int',
    ^
Error: Compilation failed.

请参阅定义此 lint 规则 map_key_type_not_assignable 的官方文档。

我已经在 dartpad 和 vs code 中对此进行了测试。两个 IDE 都显示此错误。

如果您没有看到此 lint 错误，则您的 IDE 配置可能存在一些问题。
至于你的问题，如上所述，已经有一个 lint 规则了。