Dart类型标注、推断与dynamic类型正交性含义咨询

首先纠正你的误解：“两个维度正交”完全不是指「显式标注dynamic还会被推断为其他类型」，这个理解和Dart的实际类型规则完全相反。
这里提到的正交，指的是判断一段代码的类型相关属性时，存在两个完全独立、互不干扰的判断维度，两个维度的结果没有绑定关系，不能从一个维度的结果推导出另一个维度的结果。

两个独立维度分别是：

• 维度1：类型的获取方式
  这个维度只关心你有没有手动写类型，只有两种互斥结果：
  • 类型标注：你在代码中显式书写了类型，不管写的是int、String还是dynamic，都属于这个范畴
  • 类型推断：你没有手动书写类型标注，Dart编译器通过上下文成功推导出了类型；如果推导失败，不属于这个范畴
• 维度2：最终的静态类型结果
  这个维度只关心代码最终的静态检查类型是什么，结果可以是Dart支持的任意合法类型，dynamic只是其中一种特殊的静态类型，和int、String、List<bool>这些类型在这个维度里是平级的。

四种典型组合场景 #

两个维度正交就意味着，两个维度的结果可以自由组合，不存在“某类获取方式一定对应某类类型”的规则，所有组合都是合法的：

1. 显式标注 + 非dynamic类型

// 手动书写String类型标注，最终静态类型为String，不触发类型推断
String userName = "test";
userName.nonExistentMethod(); // IDE报错：String类型不存在该方法

2. 显式标注 + dynamic类型

// 手动书写dynamic类型标注，最终静态类型就是dynamic，不触发类型推断
dynamic unTypedValue = 123;
unTypedValue.nonExistentMethod(); // IDE给出dynamic类型相关提示，完全符合预期

3. 类型推断 + 非dynamic类型

// 没有书写类型标注，编译器自动推断出静态类型为int
var userAge = 18;
userAge.nonExistentMethod(); // IDE报错：int类型不存在该方法

4. 类型推断 + dynamic类型

// 没有书写类型标注，由于上下文信息不足，编译器推断得到的静态类型为dynamic
getUncertainValue() => throw UnimplementedError();
var uncertainVal = getUncertainValue();
uncertainVal.nonExistentMethod(); // IDE给出dynamic类型相关提示

关键澄清：只要你在代码中显式标注了类型（包括标注dynamic），编译器就会直接使用你标注的类型做静态检查，不会再对这个位置做类型推断覆盖，你遇到的IDE针对dynamic的提示，不管这个dynamic是手动写的还是推断出来的，都会正常触发。
文档特意强调正交关系，是为了纠正一个常见误区：很多开发者会误以为“不写类型就是dynamic”“dynamic都是没写类型推断失败来的”，实际上这两件事没有任何绑定关系。

内容的提问来源于stack exchange，提问作者森口万太郎