如何类型安全地原地修改TypeScript判别式联合类型对象？

原代码报错的核心原因是：TypeScript在if分支中会将arg的类型收窄为联合类型的其中一个分支（比如{isNumber: true, valueNum: number}），此时该类型不包含另一分支的属性（如valueStr），因此直接赋值会触发类型检查错误；即便修改了isNumber的取值，TypeScript也不会自动重新收窄类型，导致后续操作仍不符合当前收窄后的类型定义。

下面提供几种类型安全的修复方案：

方案一：使用中间类型断言+类型保证 #

通过定义一个包含所有可能属性的中间类型，临时绕过分支类型收窄的限制，同时由开发者保证操作的正确性（确保最终结果符合联合类型T的定义）：

type T = {isNumber: true, valueNum: number} | {isNumber: false, valueStr: string};
// 定义包含所有属性的临时类型，允许属性可选
type TMutable = {
    isNumber: boolean;
    valueNum?: number;
    valueStr?: string;
};

const toggle = (arg: T): void => {
    const mutableArg = arg as TMutable;
    if (mutableArg.isNumber) {
        // 转换为字符串分支
        mutableArg.isNumber = false;
        mutableArg.valueStr = `${mutableArg.valueNum!}`; // ! 断言valueNum存在（分支已保证）
        delete mutableArg.valueNum;
    } else {
        // 转换为数字分支
        mutableArg.isNumber = true;
        mutableArg.valueNum = parseInt(mutableArg.valueStr!); // ! 断言valueStr存在
        delete mutableArg.valueStr;
    }
    // 最终断言回联合类型T，确保类型合规
    arg = mutableArg as T;
};

方案二：Object.assign+删除多余属性 #

通过Object.assign构建符合目标分支类型的对象并覆盖原属性，再删除多余属性，这种方式更贴近类型系统的预期：

type T = {isNumber: true, valueNum: number} | {isNumber: false, valueStr: string};

const toggle = (arg: T): void => {
    if (arg.isNumber) {
        // 构建字符串分支的对象并合并到arg
        Object.assign(arg, {
            isNumber: false,
            valueStr: `${arg.valueNum}`
        });
        // 删除原分支的多余属性
        delete (arg as {valueNum?: number}).valueNum;
    } else {
        // 构建数字分支的对象并合并到arg
        Object.assign(arg, {
            isNumber: true,
            valueNum: parseInt(arg.valueStr)
        });
        // 删除原分支的多余属性
        delete (arg as {valueStr?: string}).valueStr;
    }
};

方案三：重新赋值整个对象（近似原地修改） #

如果允许替换整个arg对象（而非仅修改属性），可以直接创建符合目标类型的新对象赋值给arg，这是最严格的类型安全方式：

type T = {isNumber: true, valueNum: number} | {isNumber: false, valueStr: string};

const toggle = (arg: T): void => {
    if (arg.isNumber) {
        // 直接赋值为字符串分支的新对象
        Object.assign(arg, {
            isNumber: false,
            valueStr: `${arg.valueNum}`
        });
        delete (arg as any).valueNum;
    } else {
        // 直接赋值为数字分支的新对象
        Object.assign(arg, {
            isNumber: true,
            valueNum: parseInt(arg.valueStr)
        });
        delete (arg as any).valueStr;
    }
};

注意事项 #

• 所有方案中，parseInt可能存在转换风险（如非数字字符串会返回NaN），实际使用时建议添加校验逻辑。
• 类型断言（as）需要开发者自行保证操作后的对象符合联合类型T的定义，这是原地修改判别式联合类型的必要妥协——因为TypeScript的类型系统无法自动跟踪原地修改后的类型切换。

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