Dart 类型推断：var 与 dynamic

Dart 是一种类型安全的语言，支持静态类型检查。但在日常开发中，你可能会看到两种写法：用 var 声明变量，或用 dynamic 声明变量。它们看起来都能“自动”适应任何值，但行为完全不同。搞混它们会导致运行时错误、性能下降，甚至破坏类型安全机制。

理解 var 和 dynamic 的核心区别，是写出健壮 Dart 代码的第一步。

第一步：明确 var 的本质——编译期类型推断

使用 var 声明变量时，Dart 编译器会在编译阶段根据初始赋值自动确定该变量的类型，并且此后类型不可更改。

例如：

var name = 'Alice';

这行代码等价于：

String name = 'Alice';

Dart 在编译时看到 'Alice' 是一个字符串字面量，于是将 name 的类型固定为 String。之后如果你试图给它赋一个数字：

name = 42; // ❌ 编译错误！

编译器会立即报错：“A value of type 'int' can't be assigned to a variable of type 'String'.” 这正是类型安全的体现。

记住：var 不是“无类型”，而是“让编译器帮你写类型”。

再看一个例子：

var items = ['apple', 'banana'];

这里 items 被推断为 List<String>。你后续只能向其中添加字符串，调用的方法也仅限于 List<String> 支持的操作。

第二步：认清 dynamic 的真相——放弃类型检查

使用 dynamic 声明变量时，你主动告诉 Dart：“我不在乎这个变量是什么类型，允许它在运行时变成任何东西”。

例如：

dynamic data = 'Hello';
data = 100;        // ✅ 允许
data = [1, 2, 3];  // ✅ 允许
data = null;       // ✅ 允许（在 null safety 启用下仍允许）

一切看似自由，但代价巨大：

• 编译器不会检查你对 dynamic 变量的操作是否合法。
• 所有方法调用和属性访问都推迟到运行时验证。
• 一旦出错，就是运行时异常，程序可能崩溃。

比如：

dynamic obj = 'text';
obj.add('more'); // ❌ 运行时错误！String 没有 add 方法

这段代码能通过编译，但在运行时抛出 NoSuchMethodError。而如果用 var 或显式类型：

var obj = 'text';
obj.add('more'); // ❌ 编译时报错，提前发现问题

显然更安全。

第三步：对比关键行为差异

以下表格总结了 var 与 dynamic 在核心场景下的表现：

第四步：何时该用 dynamic？

尽管 dynamic 风险高，但在某些特定场景下确实必要：

1. 处理来自外部的不确定数据
   比如解析 JSON 时，某些字段类型可能动态变化：

   Map<String, dynamic> json = jsonDecode(response);
   dynamic value = json['unknown_field'];

2. 与 JavaScript 互操作（Flutter Web）
   使用 dart:js 时，JS 对象类型无法预知，必须用 dynamic。

3. 反射或元编程（极少见）
   如使用 dart:mirrors（不推荐在 Flutter 中使用）。

但即便如此，也应尽快将 dynamic 转换为具体类型。例如：

dynamic rawData = fetchFromApi();
if (rawData is String) {
  String text = rawData; // ✅ 此时 text 是安全的 String
  print(text.toUpperCase());
}

通过 is 类型检查，把不确定的 dynamic 转为确定类型，恢复类型安全。

第五步：最佳实践指南

1. 默认使用 var 或显式类型声明
   除非你明确知道自己需要 dynamic，否则永远不要用它。

2. 避免函数返回 dynamic
   如果函数返回值类型不确定，考虑使用泛型、联合类型（通过 sealed class 模拟）或返回 Object? 并配合类型检查。

3. 禁用 dynamic 的全局配置（可选）
   在项目根目录的 analysis_options.yaml 中添加：

   linter:
     rules:
       - avoid_dynamic_calls
       - avoid_annotating_with_dynamic

   这会让分析器警告所有 dynamic 的使用。

4. 重构现有 dynamic 代码
   遇到遗留代码中的 dynamic，优先尝试用具体类型或泛型替代。

5. 理解 Object? 与 dynamic 的区别
   Object? 是所有类型的父类，但它仍然受类型检查约束：

   Object? obj = 'hello';
   obj.length; // ❌ 编译错误！Object? 没有 length

   而 dynamic 则允许直接调用 .length（运行时才判断）。因此，当需要“通用容器”时，优先用 Object? 而非 dynamic。

第六步：常见误区澄清

• 误区一：“var 就是动态类型”
  纠正：var 是静态类型，只是类型由编译器推断得出。

• 误区二：“不用写类型能让代码更简洁”
  纠正：省略类型只在 var 下安全；用 dynamic 省略类型是以牺牲安全性为代价的“伪简洁”。

• 误区三：“Dart 是动态语言，所以 dynamic 很自然”
  纠正：Dart 是静态类型语言，同时支持运行时类型检查。dynamic 是对静态系统的“逃生舱”，不是常规工具。

始终让类型系统为你工作，而不是绕过它。