Dart中if (variable == null)与if (variable case null)的性能差异及疑问

1. 性能差异 #

两者没有性能差异。不管用哪种写法，编译器最终生成的执行代码几乎完全一致，都是直接判断变量是否为null实例，不会有额外的性能开销。

2. 编译器处理方式 #

• 对于if (variable == null)：就是普通的相等性判断。Dart中null是唯一实例，==运算符遇到null时会直接做身份判断（不会触发对象的==重载），逻辑非常直接。
• 对于if (variable case null)：这是Dart 3.0引入的模式匹配里的常量模式。编译器会识别到null是常量，直接检查变量是否和这个常量严格相等，底层逻辑和== null完全对齐，只是语法层面的新写法。

3. case的工作方式是否更接近const？ #

在常量匹配场景下（比如case null、case 100、case "hello"），是的。case后跟常量时，会直接和该常量的唯一实例做严格相等判断，逻辑和== const 常量一致。但要注意，case的能力远不止常量匹配，它还支持类型匹配、记录解构、模式嵌套等复杂场景，这些场景和const无关。

4. case与is的区别 #

两者的核心定位和用法差异很大：

• is是纯类型检查工具：仅用来判断变量的运行时类型是否属于某个类型（或其子类型），返回布尔值。比如obj is String只会告诉你obj是不是字符串，不会做额外操作。而且is不能用来匹配具体值（比如不能写obj is null，这是语法错误）。
• case是模式匹配的入口：除了支持常量值匹配，还能做类型匹配+变量绑定、解构复杂对象等。比如：

  // 用is仅做类型检查
  if (obj is int) {
    print(obj + 1); // 这里依赖类型推断
  }
  // 用case做类型检查并绑定变量
  if (obj case int num) {
    print(num + 1); // 直接使用绑定的num变量，更清晰
  }
  

  另外，case可以在switch语句、if表达式中配合多种模式使用，灵活性比is高得多。

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