为何Dart中firstWhere的orElse表达式错误会引发异常结果？

先看正确写法：

[1, 2, 3].firstWhere(
  (n) => n > 3,
  orElse: () => throw StateError('No match'),
);

这段代码的逻辑是：遍历数组寻找大于3的元素，找不到时调用orElse传入的函数，抛出指定异常，符合预期的执行流程。

再看错误写法：

[1, 2, 3].firstWhere(
  (n) => n > 1,
  orElse: throw StateError('No match'),
);

问题根源 #

1. 参数类型理解偏差：firstWhere的orElse参数要求传入一个无参函数（类型为() → T），目的是在找不到匹配元素时，再调用这个函数获取默认值或执行异常逻辑。但错误写法里的throw StateError('No match')是立即执行的表达式——它会在firstWhere方法被调用之前就触发，而非等待找不到元素时才执行。
2. 执行顺序完全颠倒：不管test条件(n) => n > 1能否找到匹配元素（这里明显能找到2），程序都会先执行orElse位置的throw表达式，直接抛出异常，导致firstWhere内部的遍历逻辑根本没机会运行。这就是IDE提示test条件为死代码的原因——这段代码永远不会被执行到。
3. 语法不报错的底层原因：Dart中throw表达式的类型是Never，Never可以赋值给任意类型（因为它永远不会正常返回），所以语法检查不会报错，但逻辑完全不符合预期。

核心总结 #

正确写法是传递函数引用，让firstWhere在需要的时候调用；错误写法是直接执行表达式，提前触发异常。这种误用会导致程序逻辑提前中断，原本应该执行的匹配判断完全被跳过。

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