Dart中var与其他更具体类型有何核心差异？Flutter开发中如何选用？

首先澄清一个最容易和JS语法混淆的认知偏差：Dart的var根本不是JS里的let或var，它本质是编译期类型推断的语法糖，不是独立的动态类型。

原理层的本质区别 #

• var本身不绑定固定类型，它的静态类型完全由第一次赋值的初始值的编译期推断结果决定：如果初始值是确定的非动态类型，编译完成后这个变量就和写了显式类型没有任何区别，后续给它赋值其他类型会直接报编译错误；只有当初始值本身是dynamic类型时，var声明的变量才会退化为不做静态检查的动态类型，不存在所谓的“匿名数据类型”。
• 显式具体类型相当于跳过了编译期的自动推断环节，直接给编译器明确指定变量的静态检查规则，不存在任何推断偏差的空间。

Flutter场景下，使用显式类型相比直接用var的实际价值 #

• 从根源上避免类型推断的隐形坑
  举Flutter开发中高频遇到的场景：如果用var list = []; 声明集合，Dart会默认推断为List<dynamic>，后续不管往里面塞int、字符串还是自定义对象，编译器都不会报错；直到你把这个列表传给需要List<String>参数的自定义Widget时，才会在隔着好几层的调用处报类型不匹配，排查成本极高。如果一开始直接写List<String> list = [];，从声明环节就堵死了类型错配的可能。
  还有状态变量的场景：如果用var counter; 声明状态，Dart会默认将其识别为dynamic类型，后续哪怕你给counter赋值int，调用counter.toString()这类方法时编译器也不会做提前校验，问题留到运行时才会直接抛异常。换成显式的int? counter;，编译器会在赋值不符合规则、调用无对应方法的地方直接标红。
• 大幅提升多人协作下的代码可读性
  Flutter项目里大量变量的返回结果并非一眼可辨：比如写var user = authService.getCurrentUser();，其他读代码的人根本不知道这个变量是User实体、可空的User对象还是对应的Future封装，必须点进方法定义才能确认上下文。如果直接写Future<User?> user = authService.getCurrentUser();，哪怕不做跳转，一眼就能知道这个变量是否需要await、是否存在空值风险、对应哪个业务实体。
  最常写的Widget构建逻辑里同理：TextStyle textStyle = Theme.of(context).textTheme.bodyLarge; 比直接用var声明要清晰得多，接手的开发者不用特意回忆Theme方法的返回类型，就能快速定位这个变量的用途。
• 减少动态类型带来的不必要性能损耗
  Dart的AOT编译只有在明确知道变量静态类型的前提下，才能做内联、内存布局优化、方法派发等性能优化。如果var因为初始值的问题退化为dynamic类型，所有的方法调用都要走运行时动态派发，完全失去了编译期优化的空间。在Flutter这种对渲染帧间隔有严格要求的场景下，大量的动态派发积累下来，很容易造成可感知的掉帧。
• 对齐空安全的检查预期
  Dart的空安全检查完全依赖静态类型推导，如果用var声明变量，可空性是由编译器自动推断的，很容易出现和实际设计预期错位的情况：比如你本来预期某个字符串变量可能为null，需要做空判断，结果因为初始化逻辑的调整，var把它推断成了非空类型，你写的空判断就成了冗余代码；反过来你本来确定变量一定非空，结果var把它推断成了可空类型，就要反复做没必要的空校验。这时候用显式类型声明，相当于直接把你的设计预期传递给编译器，检查规则完全和你的设计对齐，不会出现推断偏差。

注：实际开发中完全不需要为了“显式而显式”，对于一眼就能识别类型、没有歧义的临时变量（比如var now = DateTime.now();），直接用var完全不会有问题。

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