使用枚举作为对象键时，TypeScript仍提示对象可能为undefined

问题分析 #

你遇到的问题是：尽管使用了空值合并赋值（??=）确保db[i.color]存在，TypeScript仍然提示该值可能为undefined。这是因为TypeScript的控制流分析无法可靠跟踪动态索引的赋值状态——当你通过i.color这种变量作为键访问对象时，TypeScript无法确认后续访问的键和之前赋值的是同一个，因此无法推断出该值已被初始化。

解决方案 #

方案1：使用临时变量（推荐） #

将db[i.color]赋值给一个临时变量，让TypeScript跟踪这个变量的类型：

const db: Database = {}

function addToDatabase(i: Info) {
    // 将动态索引的结果存入临时变量
    let colorEntry = db[i.color] ?? {};
    // 操作临时变量，类型推断正常
    colorEntry[i.subColor] ??= 0;
    colorEntry[i.subColor]++;
    // 将更新后的变量写回数据库
    db[i.color] = colorEntry;
}

这种方法最安全，完全依赖TypeScript的自动类型推断，不需要额外的断言。

方案2：非空断言（简洁但需确保逻辑安全） #

如果你能确保db[i.color]在??=之后一定存在，可以使用非空断言（!）告诉TypeScript忽略undefined的可能性：

const db: Database = {}

function addToDatabase(i: Info) {
    db[i.color] ??= {};             
    db[i.color]![i.subColor] ??= 0;
    db[i.color]![i.subColor]++;
}

注意：非空断言会跳过TypeScript的类型检查，如果你后续修改代码导致db[i.color]可能变为undefined，会引入运行时错误，需谨慎使用。

方案3：类型断言 #

显式断言db[i.color]的类型，强制TypeScript认可该值的类型：

const db: Database = {}

function addToDatabase(i: Info) {
    db[i.color] ??= {};             
    (db[i.color] as Record<SubColors, number | undefined>)[i.subColor] ??= 0;
    (db[i.color] as Record<SubColors, number | undefined>)[i.subColor]++;
}

这种方法比非空断言更明确，但同样需要确保逻辑的正确性。

为什么原代码失效？ #

TypeScript的控制流分析主要针对静态属性访问（比如db.RED），对于动态索引（比如db[i.color]），它无法关联前后两次访问的是同一个键。即使你在代码逻辑上确保了赋值操作，TypeScript的类型系统也无法做出这个推断，因此仍然会提示undefined的可能性。

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