TypeScript交叉类型含只读属性赋值报错原因及可行方案咨询

嘿，这个问题其实涉及到TypeScript交叉类型的核心合并逻辑，我来给你理清楚：

错误原因解析 #

当你创建{theFlag: boolean} & {readonly theFlag: boolean}这样的交叉类型时，TypeScript会合并这两个类型的属性约束。对于同名属性，TS会遵循最严格的规则——也就是只读（readonly）。这是因为交叉类型代表的是“同时满足所有类型的约束”，既然其中一个类型要求属性只读，那么合并后的属性自然也会被标记为只读，所以编译器会阻止你执行赋值操作。

可行的变通方案 #

根据你的需求，这里有几种不同的解决思路：

1. 类型断言临时解除只读约束 #

如果你确定传入的对象本质是可写的，只是类型上被交叉了只读属性，可以用类型断言告诉TypeScript跳过只读检查：

function test(x: {theFlag: boolean} & {readonly theFlag: boolean} ){
  // 断言为可写类型，绕过TS的只读检查
  (x as {theFlag: boolean}).theFlag = true;
}

⚠️ 注意：这种方式要谨慎使用，如果传入的是真正的只读对象（比如通过as const创建的不可变对象），运行时可能会抛出错误，因为JS层面的对象属性如果被标记为只读（比如Object.defineProperty设置的），赋值会失败。

2. 使用工具类型移除所有只读修饰符 #

你可以定义一个通用的Mutable工具类型，用来移除类型中所有属性的只读约束：

// 定义工具类型：移除所有属性的readonly修饰符
type Mutable<T> = {
  -readonly [P in keyof T]: T[P];
};

function test(x: {theFlag: boolean} & {readonly theFlag: boolean} ){
  // 将x断言为Mutable类型，即可修改属性
  (x as Mutable<typeof x>).theFlag = true;
}

这种方式比直接断言更通用，适合多个属性的场景。

3. 改用联合类型替代交叉类型（如果需求允许） #

如果你的实际需求是参数可以是可写类型或者只读类型，而不是同时满足两者，那么应该用联合类型|代替交叉类型&：

function test(x: {theFlag: boolean} | {readonly theFlag: boolean} ){
  // 先通过类型守卫缩小类型范围，确保当前是可写类型
  if ('theFlag' in x) {
    (x as {theFlag: boolean}).theFlag = true;
  }
}

联合类型的优势是更符合“二选一”的场景，类型守卫也能让代码更安全。

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