如何让TypeScript 4.6.x正确推断array.at(x)一定已定义？

方法1：使用类型断言（简洁直接） #

当你已经通过cheeses.length > 0确保数组非空时，可直接用类型断言告诉TypeScriptat(-1)的返回值一定是string：

const cheeses: string[] = []; // 示例值

console.log('my favorite cheese is ', 
  cheeses.length > 0 ? (cheeses.at(-1) as string).toUpperCase() : 'GORGONZOLA'
);

注意：这种方法依赖你自行保证逻辑正确性，TypeScript不会再做额外检查，若后续代码修改导致length > 0判断失效，可能引发运行时错误。

方法2：自定义类型守卫（类型安全最优） #

编写类型守卫函数，将数组类型收窄为非空数组类型，让TypeScript自动推断at(-1)的返回值一定存在：

// 类型守卫：判断数组是否非空，并将类型收窄为非空元组
function isNonEmptyArray<T>(arr: T[]): arr is [T, ...T[]] {
  return arr.length > 0;
}

const cheeses: string[] = []; // 示例值

console.log('my favorite cheese is ', 
  isNonEmptyArray(cheeses) ? cheeses.at(-1).toUpperCase() : 'GORGONZOLA'
);

这种方法类型安全性最高，TypeScript会严格检查分支内的类型，后续若逻辑出错（比如误改守卫条件），TS会直接抛出编译错误，避免运行时风险，适合需要复用或逻辑复杂的场景。

方法3：数组解构写法（可读性友好） #

通过解构反转后的数组获取最后一个元素，结合控制流判断，TypeScript会自动推断分支内的元素类型：

const cheeses: string[] = []; // 示例值

let favoriteCheese = 'GORGONZOLA';
if (cheeses.length > 0) {
  // 反转数组后解构第一个元素（原数组的最后一个元素）
  const [lastCheese] = [...cheeses].reverse();
  favoriteCheese = lastCheese.toUpperCase(); // TS推断lastCheese为string
}

console.log('my favorite cheese is ', favoriteCheese);

注意：[...cheeses]会创建数组副本，若数组体积很大，可能存在轻微性能损耗，适合普通场景使用。

为什么原代码会报错？ #

TypeScript 4.6.x的控制流分析尚未将Array.length > 0的判断与Array.prototype.at()的返回类型做关联。at()方法的类型定义统一返回T | undefined，无论传入的索引是否有效，所以即使你检查了数组长度，TS依然认为at(-1)可能返回undefined。

内容的提问来源于stack exchange，提问作者Sasgorilla