普通if-case模式与带空检查子模式的if-case模式差异及适用场景

你的理解完全正确：当传入null或与String不兼容的类型时，两个if-case的匹配都会失败，对应的代码块不会执行，且不会抛出任何异常。

两者的核心差异 #

1. 普通类型模式（final String name） #

• 作用：仅匹配非空的目标类型值，同时将匹配成功的值绑定到变量。
• 适用场景：明确知道变量类型范围较窄，只需过滤非空目标类型的场景。
• 局限性：如果变量是更宽泛的可空类型（如Object?），它的逻辑和空检查子模式一致，但写法没有明确体现“空过滤”的意图。

2. 空检查子模式（final String name?） #

• 这是Dart 3.0+引入的语法糖，本质是类型匹配 + 空值过滤的组合写法，明确表达了“过滤空值并匹配类型”的意图。
• 优势场景：处理嵌套可空类型时，能大幅简化代码。比如面对Map<String, List<int?>?>?这类多层可空结构，空检查子模式可以一步完成多层空检查和类型绑定：

  void testNested(Map<String, List<int?>?>? data) {
    if (data case final {'scores': final List<int?> scores?}) {
      // scores已被推断为非空List<int?>，可直接使用
      for (var score in scores) {
        if (score case final int s?) {
          log("Valid score: $s");
        }
      }
    }
  }
  

• 相比嵌套的if (data != null && data['scores'] != null && ...)，这种写法更紧凑、可读性更强。

何时优先使用空检查子模式 #

• 当你需要同时完成类型匹配和空值过滤，且希望代码意图更清晰时；
• 处理多层嵌套的可空复杂类型时，避免繁琐的嵌套空判断；
• 替代if (x != null && x is T)的写法，直接通过模式匹配绑定变量，减少冗余代码。

关于“匹配失败不抛异常”的补充 #

官方提到的这个优势，是相对强制类型转换而言的：如果直接写final String name = fetchedData as String;，当fetchedData为null或非String时会抛出CastError。而if-case的模式匹配是“非破坏性”的——匹配失败只会跳过代码块，不会中断程序执行，让代码更健壮。

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