映射类型的属性访问类型是否应包含undefined？

首先你代码里有个小错误：MyType是类型，不能直接通过MyType.whatever访问属性，正确写法应该是先声明一个该类型的变量，再访问属性：

type MyType = {
  [key:string]:number
}

const obj: MyType = {};
const someValue = obj.whatever; // 这里TypeScript推断类型为undefined

为啥会出现这种情况？ #

TypeScript里的字符串索引签名[key:string]: number，意思是所有明确存在的字符串键，对应的值肯定是number类型。但当你访问一个从没声明过的键（比如whatever）时，TypeScript会默认这个键不在对象里，所以直接把它的类型判定为undefined——这和索引签名说的“所有字符串键对应number”其实有点矛盾。

为啥手动加|undefined不是多此一举？ #

你觉得不可能所有字符串键都存在，这个逻辑是对的，但TypeScript的类型系统需要明确的规则：

• 原来的索引签名只承诺了“存在的键一定是number”，没覆盖“不存在的键”的情况。
• 改成[key:string]: number | undefined后，就明确了：任何字符串键，要么对应number值，要么根本不存在（也就是值为undefined），这才更贴合代码实际运行时的情况。

更简洁的写法 #

要是觉得手动写索引签名麻烦，可以用TypeScript自带的Record工具类型，效果一模一样：

type MyType = Record<string, number | undefined>;

这样再访问未知键时，类型就会正确显示为number | undefined，和你预期的一致。

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