Dart中无需二次类型转换的原因及相关文档查询

现象原因 #

这是Dart的**类型提升（Type Promotion）**特性在起作用：

• 当你执行param as A时，只要这行代码没有抛出类型转换异常（意味着param确实是A类的实例），Dart的类型分析器就会自动将后续代码中param的静态类型提升为A。
• 所以第一次完成类型转换后，param已经被推断为A类型，后续直接访问param.c自然无需再做类型转换。

官方文档参考 #

Dart官方文档的「类型提升」相关章节明确说明了这个特性，它属于Dart类型系统中类型推断的一部分，作用是在代码执行流程中自动细化变量的静态类型，减少冗余的类型转换代码。

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