TypeScript交叉类型逻辑疑问：对象与基础类型表现为何不同？

安全阿岳

2026-8-21

TypeScript交叉类型的逻辑误区解析

先看你给出的代码：

type neverHanppens = string & object // never

type A = {
    name:'A'
}

type B = {
    nickName:'B'
}

const a:A = {
    name:'A',
    nickName:'B' // error:'nickName' does not exist in type 'A'.
}

const c:A & B = {
    name:"A",
    nickName:"B"
}

你的核心误区在于对TypeScript交叉类型T & U的统一化误解，实际上交叉类型的逻辑会根据操作的类型类别不同而变化：

1. 原始类型/完全不兼容类型的交叉：结果为never

像string & object这种情况，确实不存在任何值能同时满足「是原始字符串」和「是对象」这两个互斥的约束，所以结果是never，这部分你的理解是正确的。

2. 对象类型的交叉：合并属性约束，而非互斥判定

对象类型的本质是「属性约束的集合」，交叉类型A & B的含义是：一个对象必须同时满足A的所有属性约束，以及B的所有属性约束。
因为A要求对象有name:'A'，B要求对象有nickName:'B'，显然存在同时满足这两个条件的对象（比如你定义的c），所以A & B是一个包含这两个属性的有效类型，而非never。

3. 变量a报错的真实原因：多余属性检查，而非类型不兼容

你觉得{name:'A', nickName:'B'}不属于类型A，这是混淆了「对象字面量的多余属性检查」和「类型兼容性」的概念：

从类型兼容性上来说，这个对象完全符合A的约束（它拥有A要求的name:'A'属性），是可以赋值给A类型变量的。
报错只是TypeScript对直接赋值的对象字面量做的额外严格检查，目的是防止你误写属性名。如果绕开字面量直接赋值，就不会报错：
```
const temp = {name:'A', nickName:'B'};
const a:A = temp; // 无错误
```