如何在不转换/断言为数字的前提下验证字符串可作为数组索引？

你可以通过以下两种方式解决这个问题，满足你“不转换为数字、不断言为数字”的要求：

方法一：将数组断言为字符串键的对象类型 #

TypeScript不允许用非数字类型索引数组，但数组本质上也是对象，字符串形式的数字索引在JS中会被自动识别为数组索引。你可以把数组断言为Record<string, T>类型（T是数组元素的类型），这样TypeScript就会认可字符串索引：

const inputEl = window.document.getElementById('foo') as HTMLInputElement;
const v = inputEl.value as string;
const a = ['foo'] as Record<string, string>;
const result = a[v];

console.log(result);

如果想保留数组的原有方法（比如push、length），可以定义更精确的复合类型：

type ArrayWithStringIndex<T> = T[] & Record<string, T>;

const inputEl = window.document.getElementById('foo') as HTMLInputElement;
const v = inputEl.value as string;
const a = ['foo'] as ArrayWithStringIndex<string>;
const result = a[v];

console.log(result);
// 依然可以正常使用数组原生方法
a.push('bar');

方法二：使用类型守卫验证有效索引 #

如果需要在编译期确保字符串是有效的数组索引（即字符串是无歧义的非负整数且在数组长度范围内），可以自定义类型守卫：

function isValidArrayIndex<T>(str: string, arr: T[]): str is `${number}` {
  const num = Number(str);
  // 验证字符串是整数、非负、在数组范围内，且字符串本身和数字转换后一致（避免"01"这类歧义格式）
  return Number.isInteger(num) && num >= 0 && num < arr.length && str === num.toString();
}

const inputEl = window.document.getElementById('foo') as HTMLInputElement;
const v = inputEl.value as string;
const a = ['foo'];

if (isValidArrayIndex(v, a)) {
  // 此时TypeScript会推断v是合法的数字字符串，直接用作索引不会报错
  const result = a[v as keyof typeof a];
  console.log(result);
} else {
  console.log('输入的不是有效的数组索引');
}

这个方法在编译期做了类型校验，同时运行时也验证了索引的有效性，不会强制转换字符串为数字，只是利用TypeScript的类型缩小特性让索引操作合法。

内容的提问来源于stack exchange，提问作者d.k