javascript 中可选链（optional chaining）在数组索引越界时返回 undefined。具体做法是当访问的索引超出数组长度且该位置不存在属性时，引擎会判定为读取失败，直接短路返回 undefined，而不会抛出 typeerror。
可选链处理空值与未定义值的区别
可选链的核心逻辑是判断左侧操作数是否为 null 或 undefined。如果左侧值为正常对象或数组，即使右侧索引越界，它也会继续尝试读取；若左侧本身为空，则直接跳过并返回 undefined。这种机制允许我们在不确定数据是否存在时安全地访问深层属性。
const arr = [1, 2, 3];
// 正常访问
console.log(arr[0]); // 1
// 索引越界访问
console.log(arr[5]); // undefined
// 可选链访问越界索引
console.log(arr?.[5]); // undefined
// 对比：普通访问不报错，但可选链更常用于对象属性
const obj = { a: null };
console.log(obj?.b); // undefined
console.log(obj?.a?.c); // undefined上述代码展示了数组和对象在使用可选链时的行为。对于数组，直接通过 [index] 访问越界索引本身就返回 undefined，使用可选链 ?. 后结果依然一致。关键在于，如果数组元素本身是 null 或 undefined，后续的属性访问必须依赖可选链才能避免报错。
立即学习“Java免费学习笔记（深入）”；
可选链在嵌套结构中的短路行为
当可选链应用于多层嵌套结构时，一旦遇到 null 或 undefined，整个表达式立即终止并返回 undefined。这意味着后续的索引或属性访问不会被执行。这种行为在处理可能缺失的中间节点时非常有用，可以避免编写大量的非空判断。
const data = {
user: {
profile: null
}
};
// 正常路径
const safeData = {
user: {
profile: {
name: 'Alice'
}
}
};
// 测试短路
console.log(data.user?.profile?.name); // undefined (因为 profile 是 null)
console.log(safeData.user?.profile?.name); // 'Alice'
// 数组嵌套示例
const matrix = [
[1, 2],
null,
[3, 4]
];
console.log(matrix[1]?.[0]); // undefined (因为 matrix[1] 是 null)
console.log(matrix[2]?.[0]); // 3在嵌套结构中，可选链不仅处理最终结果的缺失，还处理中间节点的缺失。例如 matrix[1]?.[0] 中，matrix[1] 是 null，因此 ?. 触发短路，返回 undefined，而不会尝试访问 null[0] 导致错误。这种特性使得可选链成为处理动态数据结构的安全工具。
基于数组索引越界的具体返回值验证
针对程序中具体的数组索引越界情况，我们需要确认返回值的确切类型和行为。在 JavaScript 中，数组是一个特殊的对象，其索引是字符串键。当访问一个不存在的索引时，无论是否使用可选链，结果都是 undefined。这与对象访问不存在的属性类似，但可选链提供了对 null/ undefined 的额外保护。
const testArr = ['a', 'b']; // 越界索引 const result1 = testArr[10]; console.log(typeof result1); // 'undefined' // 可选链越界 const result2 = testArr?.[10]; console.log(typeof result2); // 'undefined' // 比较两者 console.log(result1 === result2); // true // 边界情况：长度为0的数组 const emptyArr = []; console.log(emptyArr[0]); // undefined console.log(emptyArr?.[0]); // undefined
通过上述代码可以明确，数组索引越界时，无论是直接访问还是使用可选链，返回值均为 undefined。类型检查也证实了这一点。在实际开发中，如果需要根据返回值进行分支判断，可以直接使用 if (arr?.[i]) 来检测索引是否存在且有值。需要注意的是，如果数组元素本身可以是 false、0 或 ''，这些值也会被可选链保留，只有 null 和 undefined 才会触发短路。因此，在判断索引越界时，应显式检查是否为 undefined，而不是依赖真值判断。
