为何TypeScript无法推断Record类型取值可能为undefined？

原因 #

• Record<string, string>本质是定义了所有字符串键都对应string类型值的类型契约，而非“仅包含初始化时存在的键”的类型。TypeScript的结构类型系统遵循这个契约，不会因为你初始化时只给了{a: 'a'}就缩小类型范围——它允许后续给这个对象添加任意字符串键的string值，所以不会把未定义的键推断为undefined。
• 这种设计是为了兼顾类型的灵活性，比如你可能在代码后续逻辑中给foo新增其他字符串键值对，TypeScript不会提前限制这种操作。

让VS Code给出警告的解决方案 #

• 使用精确的字面量类型：把变量定义改成const foo = { a: 'a' } as const;，此时foo的类型会被推断为{ readonly a: "a" }，当你访问foo['b']时，TypeScript会直接报错，提示该键不存在。
• 调整类型定义为允许undefined：如果需要保留“任意字符串键都可能存在，值为string或undefined”的语义，可以自定义类型：

  type StringMap = { [key: string]: string | undefined };
  const foo: StringMap = { a: 'a' };
  const value = foo['b']; // 此时value类型为string | undefined，开启strictNullChecks后会提示undefined风险
  

• 开启严格空检查：在tsconfig.json中设置"strictNullChecks": true，这是TypeScript严格检查undefined和null的基础配置，开启后所有可能出现undefined的场景都会被检测到。

内容的提问来源于stack exchange，提问作者He.Su