为何索引TypeScript的Record类型不会得到undefined类型？

核心原因：TypeScript索引签名的设计假设 #

TypeScript中，Record<string, string>等价于带有字符串索引签名的类型{ [key: string]: string }。这种索引签名的设计逻辑是**“所有符合索引类型的键都必然存在对应的有效值”**（即“完全索引”），而非“部分索引”（允许键不存在）。因此编译器会认为，无论你用哪个字符串键访问该对象，返回值一定是string类型，不会包含undefined。

编译时检查 vs 运行时实际行为 #

你的示例代码中，虽然运行时stuff.z会是undefined，但TypeScript的类型检查仅基于你声明的类型信息，不会追踪对象在运行时的动态变化。类型声明Record<string, string>已经向编译器承诺了“所有字符串键都对应string值”，所以编译器不会对stuff.z.toLowerCase()触发类型错误，但运行时会因undefined调用方法而抛出异常。

正确的类型声明方式 #

如果需要表示“对象可能只包含部分字符串键，未声明的键对应值为undefined”，可以将值类型显式包含undefined，或者使用Partial工具类型：

方式1：显式包含undefined

const stuff: Record<string, string | undefined> = {a: 'A', b: 'B'}
stuff.z.toLowerCase() // 触发类型错误：对象可能为 undefined

方式2：使用Partial工具类型

Partial<Record<string, string>>等价于{ [key: string]: string | undefined }，效果一致：

const stuff: Partial<Record<string, string>> = {a: 'A', b: 'B'}
// 需要通过可选链或空值检查避免错误
stuff.z?.toLowerCase()

内容的提问来源于stack exchange，提问作者Tom Locke