TypeScript排除类型时出现never类型问题求助

尝试通过排除类型对象中的某一类型进行类型限制时，出现never类型异常。测试代码如下：

type T1 = Exclude<"a" | "b" | "c", "a" | "b">;
//    ^? type T1 = "c"
type T2 = Exclude<string | number | (() => void), Function>;
//    ^? type T2 = string | number

type TA = { a: string, b: number, c: T1[] | T2[] }

// 正常场景：排除T1[]后，c字段类型为T2[]
type T3 = Omit<TA, 'c'> & Record<keyof Pick<TA, 'c'>, Exclude<TA['c'], T1[]>>;
//    ^? type T3 = Omit<TA, "c"> & Record<"c", T2[]>

const myObj: T3 = {
    a :'',
    b: 0,
    c: ["c"]
}

但将排除目标改为T2[]时，c字段类型变为never：

type T3 = Omit<TA, 'c'> & Record<keyof Pick<TA, 'c'>, Exclude<TA['c'], T2[]>>;
//    ^? type T3 = Omit<TA, "c"> & Record<"c", never>

问题根源在于类型兼容性：

• T2是string | number，因此T2[]等价于(string | number)[]
• T1是"c"，属于string的子类型，所以T1[]（即"c"[]）是T2[]的子类型（TypeScript中更具体的数组类型可赋值给宽泛的数组类型）
• 执行Exclude<TA['c'], T2[]>时，TA['c']的两个分支"c"[]和(string | number)[]都被判定为可被T2[]覆盖，最终全部被排除，得到never

要准确保留T1[]并排除T2[]，需让TypeScript能明确区分两个数组类型，以下是几种可行方案：

方案1：直接提取目标类型（推荐） #

放弃反向排除，改用Extract直接提取想要保留的类型：

type T3 = Omit<TA, 'c'> & Record<'c', Extract<TA['c'], T1[]>>;
//    ^? type T3 = Omit<TA, "c"> & Record<"c", "c"[]>

方案2：给类型添加唯一标识 #

通过给数组元素添加独特属性，让TypeScript能明确区分联合类型分支：

type T1Item = { type: 't1', value: "c" };
type T2Item = { type: 't2', value: string | number };

type TA = { a: string, b: number, c: T1Item[] | T2Item[] }

// 此时排除T2Item[]可正确保留T1Item[]
type T3 = Omit<TA, 'c'> & Record<'c', Exclude<TA['c'], T2Item[]>>;
//    ^? type T3 = Omit<TA, "c"> & Record<"c", T1Item[]>

方案3：用readonly打破子类型关系 #

如果不想修改元素结构，可通过readonly修饰符让两个数组类型不再存在子类型关联：

type TA = { a: string, b: number, c: readonly T1[] | T2[] }

type T3 = Omit<TA, 'c'> & Record<'c', Exclude<TA['c'], T2[]>>;
//    ^? type T3 = Omit<TA, "c"> & Record<"c", readonly "c"[]>

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