findIndex找不到匹配项时返回什么？

Question

**问题：** `Array.prototype.findIndex()` 在找不到匹配项时返回什么？为什么常有人误以为它返回 `undefined` 或 `false`，进而导致逻辑错误（如 `if (index)` 判断失效）？例如：`[1, 2, 3].findIndex(x => x > 10)` 的结果是 `?`，若直接用于数组索引访问（如 `arr[result]`），会得到什么值？这种行为与 `find()`（返回 `undefined`）、`indexOf()`（同样返回 `-1`）有何异同？在 TypeScript 中，该方法的返回类型如何定义（`number` 还是 `number | undefined`）？理解这一细节对避免空值访问、边界条件漏判及类型安全有何实际影响？

Answer 1

一、基础行为：findIndex() 的返回值规范

Array.prototype.findIndex() 在找不到匹配项时**严格返回 -1**（数字类型），而非 undefined 或 false。这是 ECMAScript 标准（ES2015+）明确定义的行为。

例如：[1, 2, 3].findIndex(x => x > 10) 的结果是 -1。

若直接用于索引访问：const arr = [1, 2, 3]; const idx = arr.findIndex(x => x > 10); arr[idx]，等价于 arr[-1] —— 此时 JavaScript 会尝试读取对象的 "-1" 属性（非数组索引），结果为 undefined（因数组实例上无该属性），而非抛错，但语义完全错误。

二、认知偏差溯源：为何开发者常误判为 undefined/false？

• 类比迁移陷阱：开发者熟悉 find()（返回 undefined）、filter()[0]（可能为 undefined）、甚至 some()（返回布尔值），下意识将“未找到”映射为 falsy 值，忽略 findIndex() 的定位本质——它必须返回一个可参与索引运算的数值。
• 隐式类型转换误导：在 if (index) { ... } 中，-1 是 truthy 值（Boolean(-1) === true），导致本意为“存在匹配项”的判断逻辑失效——-1 被当作“有效索引”执行分支，引发静默错误。
• 调试盲区：控制台打印 -1 时视觉上接近空值，尤其在快速滚动日志中易被忽略；而 undefined 更显眼，强化了错误归因。

三、横向对比：findIndex() vs find() vs indexOf()

方法	未找到时返回值	返回值类型	典型用途	是否支持 predicate 函数
findIndex()	-1	number	获取匹配元素索引（用于后续 splice/set 等操作）	✅（回调函数）
find()	undefined	T | undefined	获取匹配元素本身	✅
indexOf()	-1	number	查找严格相等的原始值索引	❌（仅接受值）

关键异同：findIndex 和 indexOf 行为一致（均返 -1），而 find 语义不同（返 undefined）。混淆三者是高频 Bug 根源。

四、TypeScript 类型系统深度解析

在 TypeScript 中，findIndex() 的标准类型定义为：

interface Array {
  findIndex(predicate: (value: T, index: number, array: T[]) => unknown, thisArg?: any): number;
}

注意：返回类型是 number（非 number | undefined）。这是因为 TS 严格遵循 JS 规范——-1 是合法、确定的数字返回值，不是“缺失值”。若开发者手动声明 number | undefined，反而破坏类型精确性，掩盖真实契约。

这也意味着：TS 不会对 -1 做空值检查，arr[idx] 在 idx === -1 时类型上仍为 T | undefined（因数组索引签名允许任意数字），但逻辑上已越界。

五、工程实践：防御性编程与类型安全加固方案

1. 显式边界检查：永远用 if (index >= 0) 替代 if (index)
2. 封装安全索引访问：

   const safeGet = (arr: T[], index: number): T | undefined => 
         index >= 0 && index < arr.length ? arr[index] : undefined;

3. 利用 Optional Chaining + Nullish Coalescing：

   const item = arr.at(index) ?? defaultValue; // ES2022+ 推荐

4. 自定义类型守卫（进阶）：

   function isValidIndex(arr: unknown[], index: number): index is number & { __valid: true } {
         return Number.isInteger(index) && index >= 0 && index < arr.length;
       }

六、故障模拟与调试验证流程图

graph TD
  A[调用 findIndex predicate] --> B{匹配到元素？}
  B -->|是| C[返回对应索引 i ≥ 0]
  B -->|否| D[返回 -1]
  C --> E[if i >= 0 → 安全访问 arr[i]]
  D --> F[if i >= 0 → 条件失败，跳过]
  D --> G[arr[-1] → 访问不存在属性 → undefined]
  G --> H[静默错误：业务逻辑未触发/数据丢失]

七、真实案例：生产环境中的级联影响

某金融系统曾因 const idx = list.findIndex(...); if (idx) list.splice(idx, 1); 导致：当未找到时 idx === -1，if (-1) 为 true，执行 list.splice(-1, 1) —— 实际删除了数组末尾元素（splice 支持负索引），造成订单状态错乱。该 Bug 隐藏 3 个月，只在特定查询条件下复现。

根因并非逻辑复杂，而是对 findIndex() 返回值契约的理解断层。修复后增加单元测试覆盖 not found 场景，并在团队代码规范中强制要求 “findIndex 必须显式比较 >= 0”。