TypeScript中使用Record类型定义可空对象时的初始化报错问题

• 代码中使用的Record<Plan, Readonly<IPlan>>是TS内置的映射工具类型，会强制要求：Plan联合类型覆盖的所有字面量键，都必须在对象上存在，且对应值为非空的Readonly<IPlan>类型
• 初始赋值为空对象{}时，不满足“所有必填键必须存在”的校验规则，因此触发“缺少必填属性plan1”的类型错误
• 另外代码存在语法笔误：泛型定义少了一个闭合尖括号，正确的泛型结构应为Record<Plan, Readonly<IPlan>>
• 原Plan类型定义存在重复联合成员：type Plan = 'plan1' | 'plan1'会被TS自动收敛为仅包含'plan1'单个字面量，如果需要定义多个计划类型，需要补充不同的字面量成员

要实现“初始化为空对象、后续按需补充属性”的效果，只需要在原有Record类型外包裹Partial工具类型，将所有强制必填的属性改为可选状态：

• 目标类型写法：Partial<Record<Plan, Readonly<IPlan>>>
• 这种写法同时兼顾类型安全和灵活性：
  • 保留对键名的强约束：对象的键只能是Plan联合中定义的字面量，随意添加未定义的键会被TS拦截
  • 放宽键的存在性要求：初始给空对象{}完全符合类型规则，不会触发报错
  • 不放松值的类型校验：一旦给某个键赋值，值的结构必须严格匹配Readonly<IPlan>

type Plan = 'plan1' | 'plan2';

interface IPlan {
    name: string
}

// 用Partial包裹Record，实现属性可选
const plans: Partial<Record<Plan, Readonly<IPlan>>> = {};

// 后续按需补充属性值
plans.plan1 = {
    name: 'Plan #1'
}

• 不要为了快速消除报错直接把类型改成任意字符串索引签名（比如{[key: string]: Readonly<IPlan>}），这种写法会完全丢失对键名的约束，哪怕拼写错误写出不存在的键，TS也不会给出提示，失去了联合字面量类型的校验意义
• 读取可选属性时，TS会自动推导出对应值的类型为Readonly<IPlan> | undefined，完全符合“属性可能未赋值”的实际场景，不需要额外放宽值的类型规则

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