JavaScript中三元运算符的正确用法与空数组判断详解

本文深入解析 JavaScript 三元运算符的语法结构，指出初学者常犯的逻辑错误（如用数组引用直接作条件、误用 != [] 判断空数组），并给出判断非空数组并分支返回的正确写法。

JavaScript 的三元运算符（condition ? exprIfTrue : exprIfFalse）是简洁实现条件分支的利器——前提是你能把条件求值逻辑和数据类型特性吃透。许多人即使写过很长时间代码，依然会在这一块踩坑。我们就以经典的 divisors() 函数为例，把问题掰开揉碎来看，再给出一个真正靠谱的解决方案。

先看两段代码片段：第一段返回 [3, 5]，第二段却返回 true，为什么？问题出在第二段三元运算符的条件表达式与分支逻辑的错配上。

return divisors ? divisors != [] : `test${interger} is prime`;

• divisors 本身是一个数组对象。在布尔上下文中，任何对象引用都是 true（注意，这里说的是引用，不是内容），哪怕它指向一个空数组 []——因为空数组的引用不是 falsy 值。
• divisors != [] 这个判断就更有趣了。它不是在问“数组内容是否为空”，而是在比较两个数组的引用是否不同。由于 JavaScript 中数组是引用类型，每次用 [] 都会创造全新的对象，所以 [] !== [] 永远为 true。换句话说，不管 divisors 是 [3,5] 还是 []，整个表达式恒返回 true。

⚠️ 注意：== / != 在比较对象时只比较引用，不比较内容；判断数组是否为空，唯一可靠的做法是检查 .length 属性。

✅ 正确写法：用 length 判断 + 模板字符串修正

要实现“有因数则返回数组，否则返回 'X is prime'”这个语义，应该这样重构：

function divisors(integer) {
  const divisors = [];
  // 修正循环边界：i <= integer/2（否则 4 的因数 2 会被遗漏）
  for (let i = 2; i <= integer / 2; i++) {
    if (integer % i === 0) {
      divisors.push(i);
    }
  }
  // ✅ 正确三元：用 length 作为条件（0 → falsy，>0 → truthy）
  return divisors.length ? divisors : `${integer} is prime`;
}

调用验证一下：

console.log(divisors(15)); // [3, 5]
console.log(divisors(13)); // "13 is prime"

? 关键要点总结

• 三元运算符结构不可颠倒：必须是 条件 ? 真值表达式 : 假值表达式，顺序不能乱。
• 空数组判断的唯一标准：arr.length === 0（或简写为 !arr.length），不要用引用比较。
• 模板字符串用反引号 ``，而非单引号；变量插值语法是 ${variable}，注意拼写——原文里的 interger 应为 integer。
• 循环边界要严谨：i < integer/2 会漏掉 integer/2 本身（比如 integer=4 时，i=2 应该被包含），应改为 i <= integer/2。
• 进一步优化：如果只是判断质数，循环只需要遍历到 Math.sqrt(integer) 即可，性能更好。不过本例主要聚焦语法逻辑，就不展开了。

把底层机制搞清楚之后，三元运算符就不再只是一行语法糖，而是一个需要精确理解的数据流控制工具。简洁且健壮，两个条件缺一不可。