TypeScript中带默认值的解构参数为何无法正确收窄类型？

问题 #

在使用TypeScript v6.0.3（也测试过v4.9.5及更早版本）时，对以对象形式传入的函数选项进行类型收窄时遇到问题：部分参数设有默认值，但带默认值的参数无法触发TypeScript的自动类型识别。

为何fun1的if代码块中无法将t的类型收窄为仅string（仍为string|number），而fun2却能根据定义正确收窄类型？这是否属于TS的bug？

type Type = {
    b: false,
    t: number,
} | {
    b?: true,
    t: string,
}

// 无法正常收窄类型
function fun1({b = true, t}: Type) {
        if(b) {
            t /* <-- 无法识别为仅'string'，类型为'string|number' */
        }
}

// 可正常收窄类型
function fun2({b, t}: Type) {
        if(b) {
            t /* <-- 可识别为'string' */
        }
}

解答 #

这不是TypeScript的bug，而是TS在处理带默认值的解构参数与联合类型收窄时的设计限制。

原因分析 #

1. fun2的正常收窄逻辑
   在fun2中，参数直接解构自联合类型Type，b和t始终保持联合类型的分支关联性：

   • 当b为true时，TS能明确推断当前参数属于{b?: true, t: string}分支，因此t被收窄为string；
   • 当b为false时，对应{b: false, t: number}分支，t类型为number。

2. fun1无法收窄的核心问题
   在fun1中，给解构参数b设置默认值= true，直接打破了b和t的原始联合类型关联：

   • TS会将解构后的b视为独立变量，默认值让它的类型变为boolean，不再和联合类型的分支绑定；
   • if(b)的判断只能确定b是true，但无法区分这个true是传入的还是触发默认值产生的，因此无法关联回原始联合类型的分支，也就不能对t进行类型收窄。

解决方案 #

要保留默认值同时实现类型收窄，可以把默认值逻辑移到函数内部处理，先保留原始参数的联合类型关联性：

function fun1(options: Type) {
    const { b = true, t } = options;
    if (b) {
        t; // 此时t的类型会被正确收窄为string
    }
}

这种写法下，TS能先识别options的联合类型分支，解构时的默认值不会破坏原始类型绑定，因此可以正常完成t的类型收窄。

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