throw表达式是ES2022标准特性，允许在表达式位置（如??、?.、解构、三元运算）直接抛错，弥补传统throw语句仅限语句上下文的限制，提升函数式编程中的错误处理紧凑性与精确性。
throw 表达式是 JavaScript 中一种可以在表达式位置直接抛出错误的语法形式，从 ES2022（TC39 Stage 4）起正式成为标准特性。它让 throw 不再仅限于语句上下文（如函数体、if 块内），而是能像 1 + 1 或 a ?? b 一样，嵌入到三元运算符、逻辑运算符、解构默认值、对象属性初始化等表达式中。
为什么需要 throw 表达式？
过去，你无法在表达式中“中途退出并报错”。比如想给一个可选参数设默认值，但又希望它不为空——只能写成语句：
❌ 旧写法（语句式，不够紧凑）：
function greet(name) {
if (!name) {
throw new Error('name is required');
}
return `Hello, ${name}`;
}
而用 throw 表达式，就能把校验和默认逻辑压缩进一行表达式里：
立即学习“Java免费学习笔记（深入）”；
✅ 新写法（表达式式，更简洁）：
function greet(name = (() => { throw new Error('name is required'); })()) {
return `Hello, ${name}`;
}
// 或更典型的用法：
const user = data?.user ?? (() => { throw new Error('user missing'); })();
throw 表达式的典型使用场景
-
空值合并（??）右侧提供强制失败路径：
const config = rawConfig ?? (() => { throw new TypeError('config must be provided'); })(); -
可选链（?.）后接 throw 实现“必须存在”语义：
const id = user?.id ?? (() => { throw new Error('user.id is mandatory'); })(); -
解构赋值中为缺失属性抛错：
const { name, age } = data ?? (() => { throw new Error('data is null'); })();
（注意：这里仍需配合其他手段确保 key 存在，但 throw 表达式让错误触发点更靠近表达式本身） -
三元运算中条件性抛错：
const value = input > 0 ? input : (input === 0 ? 0 : (() => { throw new RangeError('input must be non-negative'); })());
throw 表达式的语法与限制
它的语法就是 throw expression，其中 expression 可以是任意能求值为 error 对象（或任意值）的表达式，例如：
throw new Error('oops')-
throw 'Invalid input'（字符串字面量也是合法表达式） -
throw err || new Error('unknown')（带逻辑的表达式）
⚠️ 注意：
– 它不能单独成句（即后面不能跟分号或换行后继续执行），因为它是表达式，设计初衷就是在更大表达式中“计算出一个异常”；
– 它不会返回值，一旦执行就立即中断当前表达式求值，并向外抛出错误；
– 浏览器和 Node.js 18.18+、20.6+ 已全面支持，旧环境需 Babel（@babel/plugin-transform-throw-expressions）转译。
和传统 throw 语句的关键区别
传统 throw 是语句（Statement），只能出现在语句位置（如函数体、循环、条件分支中）；throw 表达式是表达式（Expression），可以出现在任何需要值的地方——哪怕那个“值”永远无法被真正取到（因为它总会抛错）。
这种设计不是为了炫技，而是填补了表达式组合能力的缺口：让你能在保持函数式风格、避免临时变量和冗余语句的前提下，精确控制“无效输入即失败”的边界。
