Dart未指定返回类型时嵌套与顶级函数类型推断差异问题

不显式指定函数返回类型时，Dart对不同作用域的函数返回类型推断逻辑存在明确差异：

• 定义在其他函数内部的局部嵌套函数：可推断出精确的返回类型
• 顶级函数、类成员方法：返回类型会被推断为dynamic

可复现代码如下：

void main() {
  bar() => 'bar'; // 编辑器可识别bar返回类型为String
}

foo() => 'foo'; // 编辑器识别foo返回类型为dynamic

这个表现完全符合Dart的类型推断设计规则，是刻意为之的设计，并非bug：

• 对于顶级函数、类的成员方法，这类API属于对外暴露的公共接口：如果根据函数体返回值自动推断精确返回类型，开发者修改函数内部返回逻辑时，会静默改变公共API的类型签名，很容易导致依赖该API的上下游代码出现非预期的类型错误。因此Dart规范明确规定，未显式标注返回类型的顶级函数、类成员方法，返回类型统一按dynamic处理，不对返回值做静态类型约束。
• 对于函数内部声明的局部嵌套函数，其作用域完全被限制在当前函数内部，不会作为公共API对外暴露，不存在内部修改影响外部依赖的问题。因此Dart对这类函数启用完整的返回类型推断，会根据函数体内所有返回语句的值推导最匹配的精确类型，在不增加开发者标注负担的同时，提供局部作用域内的完整类型检查能力。

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