TypeScript中使用Omit工具类型出现owned属性类型错误，求解析

问题背景 #

明明没有修改owned属性，使用Omit工具类型处理Camp类型后却触发了owned属性的类型不兼容错误，报错信息如下：

• Types of property 'owned' are incompatible.
• Type 'boolean | undefined' is not assignable to type 'true | undefined'.
• Type 'false' is not assignable to type 'true'.ts(2322)

完整代码如下：

enum Status {
    ACTIVE = 'active',
    PAUSED = 'paused',
}

type Camp = {
    id: number
    uuid: string
    status: Status
} & (
    |{
        owned: false
        name: string
        surname: string
    } | {
        owned: true
    }
)

// 无错误（但data1的类型标注本身不符合需求）
const data1: Camp[] = []
const result1: Camp[] = data1.map((item) => {
    return {
        ...item,
        status: item.status === 'suspended' as Status ? Status.PAUSED : item.status // 想要移除'as Status'
    }
})

// 触发类型错误的代码
const data: Array<Omit<Camp, 'status'> & {status: Status | 'suspended'}> = []
const result: Camp[] = data.map((item) => {
    return {
        ...item,
        status: item.status === 'suspended' ? Status.PAUSED : item.status
    }
})

错误原因 #

问题根源是Omit<Camp, 'status'>的类型处理逻辑破坏了原类型的分支关联。

原Camp类型是基础属性 + 两个owned分支联合的交叉类型：要么是owned: false且附带name/surname，要么是owned: true无额外属性。但当你用Omit移除status时，TypeScript会把这个交叉+联合的结构拆解开再合并，直接把原本绑定在一起的owned和name/surname给拆散了——最终Omit<Camp, 'status'>被推断成一个宽泛的类型：{id: number; uuid: string; owned: boolean}加上可选的name/surname。

这就导致data数组里的元素，owned被当成了普通的boolean类型，而目标类型Camp要求owned必须是严格的true，或者是false且必须搭配name/surname，类型校验自然不通过。

解决方法 #

不要直接用Omit处理带联合分支的交叉类型，而是要保留原类型的分支关联结构：

方法1：手动定义保留分支的中间类型 #

直接复刻原Camp的分支结构，去掉status属性：

enum Status {
    ACTIVE = 'active',
    PAUSED = 'paused',
}

type Camp = {
    id: number
    uuid: string
    status: Status
} & (
    |{
        owned: false
        name: string
        surname: string
    } | {
        owned: true
    }
)

// 手动定义去掉status后的分支类型
type CampWithoutStatus = 
  ({
    id: number;
    uuid: string;
    owned: false;
    name: string;
    surname: string;
  } | {
    id: number;
    uuid: string;
    owned: true;
  })

const data: Array<CampWithoutStatus & { status: Status | 'suspended' }> = [];
const result: Camp[] = data.map((item) => {
  return {
    ...item,
    status: item.status === 'suspended' ? Status.PAUSED : item.status
  };
});

方法2：用条件映射保留联合分支 #

如果不想重复写基础属性，可以用条件类型让TypeScript自动保留每个联合分支的结构：

// 用条件类型拆分原联合分支，逐个移除status
type CampWithoutStatus = Camp extends infer T ? Omit<T, 'status'> : never;

const data: Array<CampWithoutStatus & { status: Status | 'suspended' }> = [];
const result: Camp[] = data.map((item) => {
  return {
    ...item,
    status: item.status === 'suspended' ? Status.PAUSED : item.status
  };
});

这种方式会让CampWithoutStatus完整保留原Camp的两个分支结构，owned和name/surname的关联关系不会丢失，类型校验就能正常通过。

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