关于Typescript中的并集类型和交集类型

并集和交集

并集和交集是什么,简单来说:有两个事物A和B,并集是二者内容之和,交集是二者共同拥有的内容,如图:

Typescript中的并集和交集

为了处理类型的并集和交集,Typescript为我们提供了特殊的类型运算符:并集使用|,交集使用&,类型和集合之间几乎可以画上等号:

ts 复制代码
// 并集 --> 符号: |
// 交集 --> 符号: &
type Cat = { name: string, purrs: boolean }
type Dog = { name: string, barks: boolean, wags: boolean }
type CatOrDogOrBoth = Cat | Dog
type CatAndDog = Cat & Dog

如果某个值是CatOrDogOrBoth类型,那么我们将得到什么信息呢?哪些值可以赋值给CatOrDogOrBoth类型的变量呢?可以是Cat类型的,也可以是Dog类型的,还可以二者兼具:

ts 复制代码
// Cat
let a: CatOrDogOrBoth = {
    name: "Bonkers",
    purrs: true
}

// Dog
a = {
    name: "Domino",
    barks: true,
    wags: true
}

// 二者兼具
a = {
    name: "Donkers",
    barks: true,
    purrs: true,
    wags: true
}

注意: 一个并集类型的值不一定属于并集中某一个成员,还可以同时属于每个成员,但是如果并集不相交,那么值只能属于并集类型中的某个成员

另外,还有一个类型CatAndDog,从这个类型中又能获取到什么信息呢?也就是说你有一个犬猫混种超级宠物,它不仅有名字(name),还能喵喵叫(puur),还可以汪汪叫(bark),还可以摇尾巴(wag):

ts 复制代码
let b: CatAndDog = {
    name: "Domino",
    barks: true,
    purrs: true,
    wags: true
}

在大多数情况下,并集通常比交集更符合常理:

ts 复制代码
function abTest(a: string, b: number) {
    return a || b
}

该函数:如果a是真值,返回类型为string,否则为number,也就是string | number。

相关推荐
冰暮流星1 小时前
css之线性渐变
前端·css
徐同保1 小时前
tailwindcss暗色主题切换
开发语言·前端·javascript
mapbar_front1 小时前
大厂精英为何在中小公司水土不服?
前端
生莫甲鲁浪戴2 小时前
Android Studio新手开发第二十七天
前端·javascript·android studio
2501_916008894 小时前
Web 前端开发常用工具推荐与团队实践分享
android·前端·ios·小程序·uni-app·iphone·webview
SkylerHu4 小时前
前端代码规范:husky+ lint-staged+pre-commit
前端·代码规范
菜鸟una4 小时前
【微信小程序 + 消息订阅 + 授权】 微信小程序实现消息订阅流程介绍,代码示例(仅前端)
前端·vue.js·微信小程序·小程序·typescript·taro·1024程序员节
Yeats_Liao4 小时前
Go Web 编程快速入门 05 - 表单处理:urlencoded 与 multipart
前端·golang·iphone
飞翔的佩奇5 小时前
【完整源码+数据集+部署教程】【运动的&足球】足球场地区域图像分割系统源码&数据集全套:改进yolo11-RFAConv
前端·python·yolo·计算机视觉·数据集·yolo11·足球场地区域图像分割系统
拉不动的猪5 小时前
h5后台切换检测利用visibilitychange的缺点分析
前端·javascript·面试