使用tsc --strict编译TypeScript代码时如何消除TS7053错误？

问题重现 #

给出的代码如下：

type myType = {
  a: number,
  b?: number,
};

const c:myType = {a: 1, b:2};
const d:myType = {a: 3};
Object.entries(c)
    .forEach(([key, value]) => {
        console.log(d[key])
      }
    )
})

这段代码在JavaScript环境运行正常，但开启tsc --strict编译时，会抛出如下错误：

myFile.ts:777:19 - error TS7053: Element implicitly has an 'any' type because expression of type 'string' can't be used to index type 'myType'.
No index signature with a parameter of type 'string' was found on type 'myType'.

777 console.log(d[key]);
~~~~~~

报错原因 #

TypeScript的类型系统遵循严格的结构类型检查规则：

1. myType仅明确声明了a和b两个属性，没有定义字符串索引签名，意味着它只允许用已知的合法键（'a'或'b'）来访问属性。
2. Object.entries()返回的键类型是string，TypeScript无法确保这个字符串一定是myType中存在的合法键（理论上可能是任意字符串），因此直接用它索引myType会触发类型错误，防止访问不存在的属性导致潜在运行时问题。

修复方案 #

方案1：给键添加类型断言 #

将key断言为myType的合法键类型keyof myType，明确告诉TypeScript该键属于myType的属性：

Object.entries(c)
  .forEach(([key, value]) => {
    console.log(d[key as keyof myType]);
  });

方案2：为类型添加字符串索引签名 #

如果业务场景允许myType拥有任意字符串键（值类型需覆盖已有属性的类型），可以添加索引签名：

type myType = {
  a: number,
  b?: number,
  [key: string]: number | undefined; // 索引签名的类型要兼容已有属性的类型
};

方案3：使用类型安全的遍历方式（推荐） #

避免依赖Object.entries的宽松类型，改用更安全的遍历方式：

// 方式1：手动遍历已知的合法键
(['a', 'b'] as const).forEach(key => {
  console.log(d[key]);
});

// 方式2：对Object.keys做类型断言
(Object.keys(c) as Array<keyof myType>).forEach(key => {
  console.log(d[key]);
});

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