现代 dart 推荐使用 final var 替代 var 或 const，因其在局部作用域中能通过类型推断获得确定类型、不可变保障与简洁语法，兼顾类型安全、可维护性与工具友好性。
现代 Dart 代码中，var 与 final 的组合不是语法糖，而是类型安全与可维护性的关键实践。核心逻辑是：Dart 的类型推断机制在局部作用域内足够强大，只要变量初始化明确、不再重新赋值，用 final var 就能同时获得类型确定性、不可变保障和简洁表达。
局部变量是类型推断最可靠的场景
Dart 编译器在函数或代码块内部能准确根据初始化表达式推导出具体类型，无需显式标注。这种推断结果是静态确定的，参与类型检查，不是运行时动态行为。
-
✅ 推断稳定：例如
final var name = "Alice";→ 类型为String，后续调用name.length不会报错 -
❌ 避免模糊初始化：如
final var items = [];推出List<dynamic></dynamic>，失去泛型安全；应写成final var items = <int>[];</int>或final List<int> items = [];</int> - ? 工具友好：IDE 能精准显示推断类型，鼠标悬停即见，比手动写冗长类型更直观
用 final var 替代 var 和 const 的常见误用
var 单独使用易被误认为“弱类型”，而 const 又过度约束（要求编译时常量）。final var 在两者间取得平衡：运行时只读，但允许非常量表达式初始化。
-
✅ 推荐写法：
final var user = User.fromJson(jsonData);—— 类型由构造函数返回值决定，对象可变但引用不可变 -
❌ 不推荐：
var user = User.fromJson(jsonData);—— 后续可能意外重赋值，破坏数据流清晰性 -
❌ 过度使用 const：
const var config = Config(apiKey: "xxx");会报错，因为const不能与var共用，且此处 apiKey 很可能来自配置文件而非字面量
配合模式匹配与解构提升安全性
Dart 3+ 支持记录（records）和解构赋值，与 final var 结合可避免临时变量污染、减少类型错误。
-
✅ 安全解构：
final (id, name) = getUserData();→ 自动推断id为int、name为String，且二者均为final -
? 比显式类型更可靠：相比
final int id = getUserData().$1;，解构 +final var更少出错，也更易重构 -
⚠️ 注意空安全边界：若
getUserData()返回Record?，需先判空，否则推断失败；此时应写final (id, name)? userData = getUserData();
在函数参数与返回值中延伸使用原则
虽然函数签名仍建议显式类型（增强 API 可读性），但函数体内所有局部变量优先用 final var，保持一致性。
-
✅ 函数体内统一风格：
String processName(String input) { final var trimmed = input.trim(); final var upper = trimmed.toUpperCase(); return upper; } -
? 配合 lint 规则：启用
prefer_final_locals和omit_local_variable_types，让 linter 主动提醒非 final 或冗余类型声明 -
❌ 不要为“看起来更清楚”放弃推断：如
final String message = "Hello";不如final var message = "Hello";简洁且无信息增益
