空数组中every()返回true、some()返回false，均由逻辑定义决定而非短路；二者均不执行回调函数，分别对应“空真”与“空假”，业务中需显式处理以避免误判。
空数组是 every() 和 some() 最易被忽略的边界场景，它们在此时的行为不来自“短路”，而是由数学逻辑定义决定的——即“空真”（vacuously true）与“空假”（vacuously false）。
every() 在空数组中返回 true 是“空真”，不是短路
every() 的语义是“所有元素都满足条件”。当数组为空，就不存在任何反例（即没有元素违反条件），因此逻辑上默认成立。这不是因为“短路跳过遍历”，而是因为遍历根本不会启动——空数组不触发回调函数执行，直接返回 true。
- 例如：
[].every(x => console.log('run'), x > 0)—— 控制台无输出，结果为true - 这和“全称命题在空集上恒真”的形式逻辑一致，比如“所有飞猪都会唱歌”在现实中无飞猪时被视为真（不证伪）
- 业务中需警惕：如校验“所有用户已实名”，空用户列表返回
true可能掩盖数据缺失问题
some() 在空数组中返回 false 是“空假”，同样不触发遍历
some() 的语义是“至少存在一个元素满足条件”。空数组中没有任何元素，自然无法满足“存在性”，所以直接返回 false。它也完全不执行回调，不是“检查第一个就停”，而是“压根不开始”。
- 例如：
[].some(x => console.log('never runs'))—— 无任何输出，结果为false - 这对应存在量词在空集上的定义：不存在，即假
- 典型误用：用
some()检查表单错误时，若字段数组为空（如动态表单未渲染），会漏报问题
区分“真短路”与“空数组直返”的关键信号
真正的短路行为只发生在非空数组且中途终止遍历时。可通过回调中的副作用或索引访问来验证：
- 给非空数组加带
console.log的回调，观察是否只执行部分次数 → 是短路 - 对空数组做同样操作 → 完全无日志、无报错、无属性访问 → 是空集直返
-
every([1, 2, 0, 4]).every(x => x > 0)：在0处短路，回调执行 3 次，第 3 次返回false后停止 -
some([1, 3, 5]).some(x => x % 2 === 0)：全部为奇数，回调执行 3 次后才返回false（无短路）
业务代码中稳妥处理空数组的建议
不要依赖空数组的默认返回值做关键判断，尤其涉及权限、校验、状态聚合等场景：
- 显式前置判断：
if (arr.length === 0) return handleEmptyCase() - 组合使用：
arr.length > 0 && arr.every(...)或arr.length > 0 && arr.some(...) - 封装工具函数，统一语义：
allDefined(arr) → arr.length > 0 && arr.every(Boolean)
