TypeScript 构造函数解构可选带默认参数时默认值未生效触发类型报错

这不是语言设计缺陷，是TypeScript 4.6版本之前存在的类型推导边界bug，触发逻辑和常见认知的差异点如下：

• 旧版本TS对解构默认值的类型收窄逻辑有明确的触发限制：只有当解构参数后面直接内联写字面量类型时，TS才会识别到「为可选属性设置默认值后，解构得到的变量会排除undefined类型，变为确定的非空类型」
• 当把相同结构的可选属性抽成独立接口/类型别名作为解构参数的类型标注时，旧版本TS不会将解构位置的默认值配置和引用类型的结构做关联，直接沿用接口本身的属性类型（也就是id?: number对应的number | undefined、type?: string对应的string | undefined），完全忽略默认值对类型的影响
• 调整整体入参的默认值为全量字段对象时没有效果，也是这个原因：整体入参的默认值仅能处理「构造函数完全不传参时」的场景，不会影响单个属性解构时的类型推导链路。
• 加空值合并兜底能消除报错，本质是利用空值合并操作符本身的类型收窄能力（会自动移除表达式中的undefined类型）绕开了推导bug，属于完全冗余的写法，和配置解构默认值的初衷相悖。

完全不需要修改接口的可选属性配置，也不需要加空值合并逻辑，两种方案都可以实现预期效果：

• 方案1：将构造函数的参数类型从引用独立接口，替换为和接口结构完全对齐的内联字面量类型，TS会自动正确完成类型收窄，外部调用的参数校验逻辑和原接口完全一致
• 方案2：如果希望保留独立接口的复用性，可在解构参数的类型标注位置搭配Required工具类型使用：也就是把原来的: IParams改成: Required<IParams> | IParams——这个标注既保证了外部调用时可以传入符合IParams结构的部分参数，也让TS识别到「经过默认值兜底解构后，所有属性都会变为有确定值的非空结构」，自动把解构出来的id、type推导为非undefined的确定类型，完全满足类属性的赋值要求。

注意：这种场景下不要选择把IParams的可选属性改成必选，这种修改虽然能临时消除报错，但会强制要求构造函数调用时必须传入全量参数，完全违背了使用默认值简化传参的设计目标，和最初的预期相悖。TS 4.6及之后的新版本已经修复了这个推导bug，上述的场景在新版本中会自动正确推导类型，不会再出现无意义的报错。

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