当数组为空时，TypeScript 不进行类型检查

Question

当数组为空时，TS不做类型检查

我的代码在这里

type List = { name: string }[]

const l: List = []

// error
l[0].name

有什么办法可以做TS校验吗？如何做TS校验呢？

Answer 1

启用noUncheckedIndexedAccess在 tsconfig.json 中的 compilerOptions 中。

在此之后，您将开始收到 TS 错误，例如 Object is possible 'undefined'.(2532) 此类语句。

type List = { name: string }[]

const l: List = []

l[0].name // <-- error

l[0]?.name // <-- no error (ref: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/Optional_chaining)

Playground

请注意，noUncheckedIndexedAccess 选项不会检查数组的长度；它基本上会不断提醒您您尝试访问的索引可能不存在。

---

如果您的数组(及其元素)是只读的，您还可以使用 const 断言:

const l = [{ name: 'foo' }] as const

l[0].name // no error
l[1] // error: Tuple type 'readonly [{ readonly name: "foo"; }]' of length '1' has no element at index '1'.(2493)

---

如果您只想固定数组长度但元素可变，那么在 TS4.1 及更高版本中您可以这样做:

// based on - https://stackoverflow.com/a/52490977

type _TupleOf<T, N extends number, R extends unknown[]> = R['length'] extends N ? Readonly<R> : _TupleOf<T, N, [T, ...R]>
type Tuple<T, N extends number> = N extends N ? (number extends N ? T[] : _TupleOf<T, N, []>) : never

type List = Tuple<{ name: string }, 1>

const l: List = [{ name: 'foo' }]

l[0].name // no error
l[1] // error: Tuple type 'readonly [{ name: string; }]' of length '1' has no element at index '1'.(2493)