为何TypeScript不区分基础类型与其交叉类型？

问题描述 #

我碰到了一个TypeScript类型检查的困惑：下面的代码里，processBase(msg)这行我本来以为会报错，但实际并没有；而直接传对象字面量processBase({ foo: 'str', bar: 1234 })却如预期般报错了。想搞清楚这背后的原因，以及有没有工具类型能实现「禁止子类类型传入父类参数」的预期效果？

代码示例：

type BaseMessage = { foo: string }

type JobMessage = BaseMessage & { bar: number }

const processBase = (msg: BaseMessage) => {}

const processJob = (msg: JobMessage) => {
  // 我预期下一行会报错，但实际没有
  processBase(msg);
  // 这行产生了我期望的错误
  processBase({ foo: 'str', bar: 1234 });
}

原因解析 #

这是TypeScript的结构化类型系统和对象字面量额外属性检查共同作用的结果：

• 结构化类型兼容性：JobMessage是BaseMessage的交集类型，本质上是包含BaseMessage所有属性的「子类型」。TypeScript的结构化类型规则是：只要一个类型拥有目标类型的所有必需属性，就会被判定为兼容。所以变量msg的JobMessage类型完全符合processBase的BaseMessage参数要求，不会触发报错。
• 对象字面量额外检查：当直接传入对象字面量时，TypeScript会启动额外的严格校验——不允许出现目标类型中未定义的属性。这个规则是为了避免拼写错误或意外传入多余属性，所以{ foo: 'str', bar: 1234 }因为多了bar属性，会被判定不符合BaseMessage类型，从而报错。

实现预期效果的工具类型 #

如果想要禁止「子类型传入父类型参数」的行为，可以通过以下两种方式实现严格类型匹配：

方法1：自定义Exact工具类型 #

自己编写一个工具类型，强制要求传入的类型和目标类型完全一致：

type BaseMessage = { foo: string }
type JobMessage = BaseMessage & { bar: number }

// 定义严格匹配的工具类型
type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;

// 使用Exact约束参数类型
const processBaseExact = (msg: Exact<typeof msg, BaseMessage>) => {}

const processJob = (msg: JobMessage) => {
  processBaseExact(msg); // 现在会报错，符合预期
  processBaseExact({ foo: 'str' }); // 正常通过
}

方法2：利用函数泛型的逆变特性 #

通过泛型约束实现严格匹配：

type BaseMessage = { foo: string }
type JobMessage = BaseMessage & { bar: number }

const processBase = <T extends BaseMessage>(msg: T extends BaseMessage ? (BaseMessage extends T ? T : never) : never) => {}

const processJob = (msg: JobMessage) => {
  processBase(msg); // 触发报错
}

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