如何用字符串字面量类型扩展对象类型？TypeScript类型报错解决

你现在的问题出在交叉类型的行为逻辑上：当你用A & { type: 'something'; record: string }定义B时，TypeScript会对每个属性取两个类型的交集。A的type是'error' | 'operator'，而新对象的type是'something'，这两个集合没有任何重叠的取值，所以B的type最终会被推断为never——也就是不存在任何合法取值。这就导致整个B类型实际上是一个无法被赋值的无效类型，自然所有赋值操作都会报错。

要实现「扩展A的type取值范围，同时新增record字段」的需求，你需要重新构造类型，让B的type包含A的所有取值加上新值。推荐两种写法：

方法一：基于A动态扩展（推荐） #

这种方式的好处是如果后续A的type取值有变化，B会自动同步更新，不需要手动修改：

type A = {
    type: 'error' | 'operator';
}

// 先移除A中的type属性，再合并新的type范围和record字段
type B = Omit<A, 'type'> & {
    type: A['type'] | 'something';
    record: string;
}

let b: B;

// 现在所有赋值都合法了
b = { type: 'something', record: 'abc' };
b = { type: 'error', record: 'abc' };
b = { type: 'operator', record: 'abc' };

方法二：直接显式声明所有取值 #

如果A的结构简单且不会频繁变更，也可以直接写出完整的type范围：

type A = {
    type: 'error' | 'operator';
}

type B = {
    type: 'error' | 'operator' | 'something';
    record: string;
}

let b: B;

b = { type: 'something', record: 'abc' };
b = { type: 'error', record: 'abc' };
b = { type: 'operator', record: 'abc' };

• 交叉类型（&）的核心是同时满足所有类型约束，所以当两个类型的同名字段取值范围无交集时，该字段会变成never。
• 要扩展联合类型的取值范围，应该用**联合操作符（|）**将原有取值和新取值合并，而不是交叉类型。

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