为何引用Dart常量Map中不存在的键时无编译时错误？

你遇到的问题核心在于变量的静态类型定义，而非Map是不是const的：

1. 静态类型的限制
   你声明screens的类型是Map（无类型参数的原始Map），Dart编译器会将其视为Map<dynamic, dynamic>。这种情况下，编译器只知道这是一个键值对集合，但完全不清楚具体有哪些key存在——哪怕Map是const的，静态分析也不会主动遍历并记录所有key的取值来做后续检查。

   就算你省略类型声明，让Dart自动推断为Map<String, String>，也只是限定了键和值的类型，依然没有限定key的具体取值范围，编译器不会为了检查取值操作去扫描const Map的所有key。

2. 如何让编译器检查这类错误
   要让编译器能检测到不存在的key，你需要主动限定key的取值集合，常见的两种方式：

   • 使用枚举
     枚举的取值是固定且编译时可知的，用枚举作为Map的key，编译器会直接拦截不存在的枚举值：

     enum ScreenKey { start, questions, results }
     
     final screens = const {
       ScreenKey.start: 'start_screen',
       ScreenKey.questions: 'questions_screen',
       ScreenKey.results: 'result_screen',
     };
     
     // 若写ScreenKey.questions1，编译器会直接报错
     activeScreen = screens[ScreenKey.questions]!;
     

   • 使用const字符串常量
     把所有合法key定义为const常量，取值时只使用这些常量，这样如果写错常量名，编译器会直接报错：

     const startKey = "START";
     const questionsKey = "QUESTIONS";
     const resultsKey = "RESULTS";
     
     final Map<String, String> screens = const {
       startKey: 'start_screen',
       questionsKey: 'questions_screen',
       resultsKey: 'result_screen',
     };
     
     // 若写错常量名（比如questionsKey1），编译器会报错；直接写"QUESTIONS1"则无法检测
     activeScreen = screens[questionsKey]!;
     

3. const Map的作用
   最后再明确一下：const Map只是保证该集合在编译时就已创建，且运行时不可修改，但它并不会扩展Dart静态类型检查的能力——静态检查依然基于你定义的类型信息，而非集合的实际内容。

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