三元运算符（condition ? expr1 : expr2）本质是求值工具，它始终返回一个值，因此属于表达式；而 if/else 是控制流程的语句，不产生值——二者语义层级不同，不可等同视之。
三元运算符（`condition ? expr1 : expr2`）本质是**求值工具**，它始终返回一个值，因此属于表达式；而 `if/else` 是控制流程的语句，不产生值——二者语义层级不同，不可等同视之。
在编程语言设计中，“表达式”与“语句”的根本区别在于：表达式可被求值并参与组合，语句则用于执行动作、改变状态或控制流程，本身不返回值。三元运算符正是这一原则的典型体现。
三元运算符的核心特性：必须返回值
语法上，三元运算符由三个子表达式组成：条件（condition）、真分支（expr1）和假分支（expr2）。无论条件真假，它必须且只能求出其中一个分支的值，并将该值作为整个运算的结果。这意味着它可以自然地嵌入到任意需要值的上下文中，例如：
const price = isMember ? 99.99 : 149.99;
const message = user ? `Hello, ${user.name}` : "Guest";
const config = { timeout: useFastMode ? 500 : 2000 };这些用例都依赖于三元运算符的表达式属性——它产出一个值，可直接赋值、传参、构造对象，甚至嵌套使用：
const grade = score >= 90 ? "A" :
score >= 80 ? "B" :
score >= 70 ? "C" : "F"; // 合法嵌套表达式为何 if/else 不是表达式？
对比之下，标准 if/else 语句不返回任何值（在 JavaScript 中返回 undefined，且该返回值不可用于赋值或组合）：
// ❌ 语法错误：if/else 不能作为右值
const result = if (x > 0) { "positive" } else { "non-positive" }; // 报错！
// ✅ 正确写法：需用三元表达式实现值导向逻辑
const result = x > 0 ? "positive" : "non-positive";更重要的是，if/else 的分支内可包含任意语句（如循环、声明、return、throw），而三元运算符的每个分支严格限定为表达式：
// ✅ 合法：所有分支均为纯表达式
const value = flag ? getValue() : defaultValue;
// ❌ 非法：不能在分支中写语句（如 let 声明、for 循环）
const x = condition ? let y = 1; console.log(y) : alert("no"); // 语法错误警惕滥用：表达式 ≠ 语句替代品
虽然技术上可将三元运算符“当作语句”使用（利用其副作用），例如：
condition ? doSomething() : doSomethingElse(); // 可行但不推荐
但这违背了它的设计本意——值导向（value-oriented）。此类写法牺牲可读性、调试性与维护性，且易引发副作用混淆。主流代码规范（如 ESLint 的 no-unused-expressions）通常会警告这种用法。
✅ 推荐场景：
- 条件赋值（const x = cond ? a : b;）
- JSX 中内联条件渲染（{isLoading ?
: }） - 函数式链式调用中的中间值选择
❌ 应避免：
- 替代多分支逻辑（应使用 if/else if/else 或 switch）
- 包含复杂副作用（如修改状态、发起请求）
- 可读性已显著下降的深层嵌套（建议提取为独立函数或变量）
总结
三元运算符不是 if/else 的“简写”，而是专为条件求值而生的表达式构造器。理解其表达式本质，有助于写出更函数式、更可组合、更易测试的代码。记住一条黄金法则：当你的目标是“得到一个值”，用三元；当你的目标是“做一件事”，用 if/else。
