PHP 8.0 起 throw 可作表达式，因其被赋予 never 类型并获语法支持，用于空合并、三元运算等需值的上下文，非 8.5.7 新增；它不替代 try/catch，仅适用于即时失败校验场景。
throw 在 PHP 8.5.7 中能作为表达式，不是因为它“变强了”，而是 PHP 解析器从 8.0 开始就允许 throw 返回值——它本质上是个有返回类型的“表达式”，只是早期版本没开放语法支持。
这个能力在 PHP 8.0 就已落地，8.5.7 只是延续并稳定运行，没有新增逻辑。它的存在意义很实际：让错误路径和正常路径能在同一表达式层级上对齐，避免为“失败”单独写分支。
为什么以前不行？语法解析器不认
PHP 7.x 把 throw 当作纯语句（statement），就像 return 或 if，不能出现在需要值的地方。比如三元运算符右侧必须是“能求出一个值”的东西，而 throw new Exception() 在 7.x 里根本没法被解析器接受——它不产出值，只中断流程。
- PHP 8.0 起，
throw被赋予类型never，表示“此处无正常返回，但语法上可参与表达式求值” - 这意味着解析器知道：只要这里出现
throw，整个表达式就终止，但结构上它是合法的“右值” - 所以
$x = $y ?? throw new ValueError()这种写法才能被词法分析、语法树构建、最终编译
哪些地方能用？看上下文是否要“值”
只有当语法位置明确期待一个表达式结果时，throw 才能插入。常见有效场景：
- 空合并运算符右侧：
$name = $_POST['name'] ?? throw new InvalidArgumentException('name required') - 三元运算符分支：
$id = is_numeric($input) ? (int)$input : throw new TypeError('ID must be numeric') - 箭头函数体：
$parse = fn($s) => $s ? json_decode($s) : throw new JsonException('empty input') - 函数返回表达式：
function getConf(string $key) { return $conf[$key] ?? throw new RuntimeException("key '$key' not found"); }
注意：throw 不能放在 if 条件里（如 if (true || throw new Error()) 是错的），因为 || 左右都必须是布尔表达式，而 throw 类型是 never，不兼容 bool。
立即学习“PHP免费学习笔记（深入）”；
容易踩的坑：类型系统会拦你
哪怕语法合法，类型检查器（如 PHPStan、Psalm）或严格模式下仍可能报错，尤其当你混用不同类型路径时：
- 三元运算符两边类型必须兼容：
$x = $a ? 'ok' : throw new Exception()合法（string|never可隐式转为mixed）；但$x = $a ? 123 : throw new Exception()在 strict_types=1 下，若变量声明为string，就会类型不匹配 -
??左侧是null时才触发右侧，但如果你左侧是false或0，??不会走throw分支——别误当成?: - 自定义异常类若没继承
Throwable，运行时直接 Fatal error，不会等到调用才报
它不是替代 try/catch，而是补位
throw 表达式解决的是“立刻失败、无需恢复”的校验场景，比如参数缺失、配置必填项为空、类型断言失败。它不处理“可能出错、需要重试或降级”的逻辑。
一旦抛出，控制流就跳出当前作用域，后续代码不执行——这点和语句版 throw 完全一致。真正复杂的状态流转、资源清理、多异常分类捕获，依然得靠 try/catch 块。
最常被忽略的一点：throw 表达式里的异常对象是**即时构造**的。哪怕条件永远不满足（比如 $flag ? 'ok' : throw new ExpensiveException() 中 $flag 恒为 true），ExpensiveException 的构造函数也**不会被调用**——PHP 只在分支实际执行时才实例化它。这点和旧写法一样，但有人误以为“写了就构造”，导致调试时发现异常堆栈里没看到预期的初始化逻辑。
