TypeScript 交叉类型(intersection type)

在TS中和联合类型(union type)对应的还有交叉类型(intersection type)。
交叉类型的出现主要为了组合多个对象类型(object type)，因为相对于interface，object type没法继承，那么就可以通过union type来实现混合的目的，从而实现继承的功能。

type objtype1 = {a: string}
type objtype2 = {b: string}
type objtype = objtype1 & objtype2function logObj(obj: objtype) {console.log(obj.a, obj.b)
}

经过objtype1和objtype2交叉objtype 变成了 {a: string, b: string}。现在的问题是为什么两个对象类型的交叉是两个对象类型的和？
我们知道联合和交叉都是针对集合的运算，两个集合的交叉应该是集合相交的部分：

type type1 = 1 | 2
type type2 = 1 | 3
type typea = type1 & type2

这时的typea是1，这个很好理解，因为type1是1 | 2，可以看成一个集合，这样两个结合的交集就是1这个类型。

我认为要解释两个对象类型的交叉结果是两个对象类型的和，这个问题需要结合类型兼容性去理解。

interface Pet {name: string;
}
let pet: Pet;let dog = { name: "Lassie", owner: "Rudd Weatherwax" };
pet = dog;

上面Pet类型的变量pet可以被dog对象赋值，而dog类型是{name: string, owner: string}，所以简理解为Pet和类型{name: string, owner: string}是兼容的，而兼容的方式可以简单理解type Pet = {name: string} | {name: string, owner: string}这样Pet就成了一个集合，而这个集合参与交叉的时候自然会的出和的结果。结论就是一个对象类型在某种情况下表示的是自身类型+任意额外类型组合组成的一个集合。
所以在参与交叉的时候：

type objtype1 = {a: string}
可以被看成
type objtype = {a: string} | {a: string, b: string}

type objtype2 = {b: string}
可以被看成
type objtype2 = {b: string} | {b: string, a: string}

这样两个集合的交集就能得到目标类型{a: string, b: string}。

以上是我对交叉类型作用于对象类型的个人理解，并没有找到相关文档给予的支持，仅供参考。

TypeScript 交叉类型(intersection type)相关推荐

TypeScript 联合类型(union type)
TS是JS的超集,在JS的基础上添加了一套类型系统,这样的TS可以被静态分析带来的好处显而易见. let val: string = 'val'; 声明一个string类型的变量val. let va ...
关于 TypeScript 联合类型 union type 赋值的一个错误消息
今天我做开发时遇到如下的 TypeScript 错误: Type 'Observable<boolean | undefined>' is not assignable to type ' ...
TypeScript 的类型推导 Type Inference
官方链接在 TypeScript 中,当没有显式类型注释时,有几个地方使用类型推断来提供类型信息. 比如 let a = 3; a 被推导成 number 类型. x 变量的类型被推断为数字. 这种 ...
读懂 TS 中联合类型和交叉类型的含义
创建了一个 "重学TypeScript" 的微信群,想加群的小伙伴,加我微信 "semlinker",备注重学TS. 本文是 "重学TS系列" ...
【ts】typescript高阶：键值类型及type与interface区别
提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档 typescript高阶之键值类型及type与interface区别前言一.键值类型的语法 1.语法 2.错误例子 3.正确例子 ...
TypeScript高级类型：联合类型、交叉类型和类型别名
目录引言联合类型交叉类型类型别名注意结论引言 TypeScript 是一门强类型语言,其高级类型功能使得开发者能够更加灵活地定义类型并对其进行操作,以便于更好地编写可维护和可扩展的代码. ...
typescript索引类型_TypeScript类型声明书写详解
本文总结一下TypeScript类型声明的书写,很多时候写TypeScript不是问题,写类型就特别纠结,我总结下,我在使用TypeScript中遇到的问题.如果你遇到类型声明不会写的时候,多看看lo ...
typescript的类型描述_TypeScript类型声明书写详解
本文总结一下TypeScript类型声明的书写,很多时候写TypeScript不是问题,写类型就特别纠结,我总结下,我在使用TypeScript中遇到的问题.如果你遇到类型声明不会写的时候,多看看lo ...
TypeScript `unknown` 类型
unknown 字面理解和 any 其实没差,任何类型都可赋值给它,但有一点, Anything is assignable to unknown, but unknown isn't assigna ...

TypeScript 交叉类型(intersection type)

TypeScript 交叉类型(intersection type)相关推荐

最新文章

热门文章