throw表达式是惰性求值的，仅当所在分支被选中时才执行并抛异常；三元运算符中未被选中的throw分支不会触发异常，因此外层try无法捕获未执行的throw。
PHP 8.0 引入了 throw 表达式，允许在三元运算符、短闭包、数组默认值等表达式上下文中直接抛出异常。但正因为它是“表达式”，不是语句，其异常行为与传统 throw 语句在错误捕获边界上存在微妙差异——尤其当它嵌套在三元运算符中时，异常不会被外层的 try 捕获，除非 throw 表达式本身被求值。
throw 表达式本质是“惰性求值”的表达式
三元运算符 condition ? expr1 : expr2 只会执行并返回其中一个分支。如果 expr1 是 throw new Exception()，那只有当 condition 为真时，该 throw 才会被执行；否则整个三元表达式直接返回 expr2，throw 根本不运行。
这意味着：异常是否发生，完全取决于三元条件是否成立，而不是语法上“写了 throw”就一定会触发。
- 写法合法，但不等于“一定会抛异常”
- 没有运行到 throw 表达式，就不会进入异常流程
- 这和
if (...) { throw ...; }的语句式逻辑不同——后者只要执行到该块，就会抛出
try-catch 无法“预捕获”未执行的 throw 表达式
常见误解是：把整个三元运算符包进 try，就一定能捕获其中的 throw 表达式。实际上，try 只能捕获真正执行过程中抛出的异常。
示例：
try {
$result = $x > 0 ? 'ok' : throw new RuntimeException('x must be positive');
} catch (RuntimeException $e) {
echo "caught: " . $e->getMessage();
}
若 $x > 0 成立，表达式返回 'ok'，throw 不执行，catch 永远不会触发。
只有当 $x 时，<code>throw 被求值，异常才真正抛出，此时 catch 才生效。
边界混淆典型场景：函数参数中的 throw 表达式
更隐蔽的问题出现在函数调用参数里使用三元 + throw：
function process(string $name): void { /* ... */ }
<p>process($input ?? throw new InvalidArgumentException('Input required'));
// 或
process($input ?: throw new InvalidArgumentException('Input not truthy'));</p>这里看似“安全”，实则异常只在 $input 为空时才抛出。但如果 process() 内部也抛异常，而你又没在调用点加 try，就会漏掉真正业务异常。
- throw 表达式只负责兜底空值，不替代对函数本身的异常防护
- 不要误以为“用了 throw 表达式，就覆盖了所有异常路径”
- 需明确区分：参数校验异常 vs 业务逻辑异常
安全实践建议
- 在关键路径上，优先用显式
if+throw语句，逻辑更清晰、调试更直观 - 若坚持用 throw 表达式，确保其所在上下文（如三元、空合并）的条件分支确实是你想拦截的失败场景
- 对可能抛异常的函数调用，仍需独立包裹
try-catch，不能依赖参数里的 throw 表达式“代劳” - 避免在复杂嵌套表达式（如
array_map(... ? throw : ...)）中滥用 throw 表达式，可读性和可维护性会急剧下降
php免费学习视频：立即使用
踏上前端学习之旅，开启通往精通之路！从前端基础到项目实战，循序渐进，一步一个脚印，迈向巅峰！
