TypeScript：访问对象上未定义的键时返回的类型是错误的？

Question

在 TypeScript 中使用带有可变键的对象时，我注意到了意外的类型。

给定以下代码

type MyType = {
  [x: number] : number
}

const o : MyType = {
  0: 1,
}

const a = o[0]; // Return type correctly identified as number
const b = o[1]; // Return type should be undefined and compiler should not allow this

我注意到，当使用变量键的[x: number] 语法定义对象类型时，无法正确检测使用[...] 的对象访问类型。

VSCode 告诉我a 和b 都具有number 类型。类型不应该是number | undefined，因为它可能会发生未定义键的情况？将a 和b 记录到控制台时，a 是number，而b 是undefined。

当MyType 类型的对象被传递给一个函数并且该函数访问该对象中的一个键然后执行以下操作时，问题变得更加严重：

function fun(o: MyType) : number {
   return o[10000] ?? null  // can be number or null at runtime
}

没有显示错误。但是当代码运行时，o[10000] 是未定义的，因此返回值是null，它不是一个有效的数字。想象一下使用这个返回值来执行进一步的计算，这些计算都是基于一个有效数字的假设。这会导致编译器应该检测到的运行时错误（如果我不理解完全错误的东西，我是 TS 新手）

（这些示例中使用的 TypeScript 是由 create-react-app 配置的，我没有更改任何设置）

Answer 1

类型不应该是数字吗？ undefined 而是因为它可能会发生未定义键的情况？

如果你愿意，你可以选择；只需将其定义为：

type MyType = {
  [x: number] : number | undefined
}

如果您希望访问可能不存在的随机属性，这可能会很有用。

但另一方面，以更规范的方式使用对象是相当普遍的，以避免访问不存在的属性的可能性。例如，如果您通常编写使用Object.keys(o) 或for ... in 来决定要访问哪些属性的代码，那么您已经在做确保它存在的工作，并且总是让打字稿告诉您可能会令人沮丧你它可能是未定义的。

Answer 2

将"noUncheckedIndexedAccess": true 添加到您的 tsconfig.json 编译器选项对象

Answer 3

您的MyType 定义了一个索引访问器，它允许将任何数字用作对象的访问器：

type MyType = {
  [x: number] : number
}

这意味着，就类型安全而言，任何数字都可用于使用索引访问器访问对象，类似于数组。

您的对象只定义了一个属性 - 但类型检查器（编译时间）不会查看您的对象，它是在运行时创建的。类型检查器只知道MyType，任何数字都是有效值，可用于索引类型为MyType 或扩展为MyType 的任何对象。

您必须记住，您的对象在运行时仍然只是一个常规的旧 JavaScript 对象，一旦代码编译并运行，TypeScript 就不再适用。

如果您要定义具有一组属性的类型，那么您应该使用一组属性来构造您的类型，而不是使用索引访问器：

interface MyType {
  0: number
}

const o: MyType = { 0: 1 } // valid
const o2: MyType = { 1: 1 } // type checking error
o[0] // valid
o[1] // type checking error