Dart/Flutter linter 规则：索引地图的类型应该是地图的关键类型？ 注意：

如何解决Dart/Flutter linter 规则：索引地图的类型应该是地图的关键类型？ 注意：

例如，我有 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 的类型系统非常强大（甚至 null 安全！），我真的很喜欢它，因为它在编译时捕获了很多错误。所以我希望这个问题也可以在编译时解决。

感谢您的任何建议！

解决方法

目前没有 lint 警告使用错误类型的参数对 Map 进行查找。这已在 https://github.com/dart-lang/linter/issues/1307 中请求。

另请参阅 https://github.com/dart-lang/sdk/issues/37392，它请求 Map.operator [] 的类型检查替代方案。同时，Dart 的扩展机制允许任何人自己轻松添加这样的替代方案。例如，package:basics 提供经过类型检查的 Map.get 扩展。

,

注意：

原答案有误，已修改为：

• 指出正确/更好的答案
• 解释原答案错误的原因

感谢@jamesdlin 指出这一点。

更好的答案

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

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

为什么会出错：

问题是在使用 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 代码中对此进行了测试。两个 IDE 都显示此错误。

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