●这一章我们来聊一下 TS 内的高级类型
●其实就是把一些基础的东西进行各种各样的组合, 一些相对高级的用法
●在之前几章里面我们也或多或少的提到过某些内容
●现在就来汇总专门说一下这个事情交叉类型( Intersection Types )
●这个就和我们运算符里面的 与( && ) 是一样的, 既要 ... 又要 ... 还要 ... O(∩_∩)O~●使用 & 作为交叉符号
一个小栗子
// 对象接口1
interface One {
name: string
age: number
}
// 对象接口2
interface Two {
gender: string
classRoom: number
}
// 简单准备一个函数
function combine(o1: One, o2: Two) {
const result = {
...o1,
...o2
}
return result
}
○我们看到, 一个简单的功能函数就是把两个对象合并到一个对象
○我们给到参数进行了限制, 但是返回值咋办呢 ?
○这个时候就可以用到交叉类型了
function combine(o1: One, o2: Two): One & Two {
const result = {
...o1,
...o2
}
return result
}
○这样的话, 就是返回值既要满足 One 的接口要求, 也要满足 Two 的接口要求
○你看, 少了任何一个都不行○其实就是 与 的关系 O(∩_∩)O~联合类型（Union Types）
●这个就和我们运算符里面的 或( || ) 是一样的, 哪一个都行 O(∩_∩)O~
●使用 | 作为联合符号
●很多时候, 我们在定义一些内容的时候, 可能需要使用到多种都可以, 不管是类型, 包括字面量约束也是一样的
let foo: number | string = 100
foo = 'hello world'
foo = 200
○我们给 foo 赋值为 number 类型或者 string 类型都是可以的
●字面量也是可以联合的
let color: 'yellow' | 'blue' | 'orange'
●这就是联合类型类型保护( Type Guards )
●先来看一个案例
interface One {
name: string
sayHi(): void
}
interface Two {
name: string
play(): void
}
const user1: One = {
name: 'Jack',
sayHi: () => console.log('hello world')
}
const user2: Two = {
name: 'Rose',
play: () => console.log('basketball')
}
function util(user: One | Two): void {
console.log(user.name)
user.sayHi()
user.play()
}
util(user1)
util(user2)
○我们发现里面报错了○这是因为, 两个接口里面都有 name 属性, 所以调用 name 属性没问题○但是你得 user 不确定是 One 还是 Two 类型
■调用 sayHi 的活, 如果是 Two 类型就没有, 就会提示错误
■调用 play 的话, 如果是 One 类型就没有, 就会提示错误
○一旦联合以后, 我们就只能访问两个类型公共的数据
●可能有同学想到判断一下不就好了
function util(user: One | Two): void {
console.log(user.name)
if (user.sayHi) {
user.sayHi()
} else {
user.play()
}
}
○依旧是一个提示错误的状态
●这个时候就需要用到断言来对类型进行一次保护
function util(user: One | Two): void {
console.log(user.name)
if ((user as One).sayHi) {
(user as One).sayHi()
} else {
(user as Two).play()
}
}○当我在访问一些非公共属性的时候, 进行一下断言, 确定它一定会有这个属性我才访问○断言也有另外一种写法, 也是可以的
function util(user: One | Two): void {
console.log(user.name)
if ((user).sayHi) {
(user).sayHi()
} else {
(user).play()
}
} ●这两种书写方式是一样的, 都是可以实现类型保护自定义类型保护
●通过刚才的案例, 我们发现可以解决问题, 但是很麻烦
●因为要不停的写一些断言来验证一下
●随着后面的使用, 用的越多, 需要写断言的地方就越多, 少一个都不行
●这个时候, 我们就可以自己写一个类型验证函数, 作用就是专门用于检查类型
●先来定义一个类型验证函数
function isOne(pet: One | Two): pet is One {
return (pet).sayHi !== undefined
}
●这里的返回值设置, pet is One 是 TS 的语法, 表示 pet 是不是 One 这个类型, 结果必然是一个布尔值, true 或者 false○注意 : 这里的 pet 必须是该函数的形参才可以哦
● 后面使用的时候, 直接使用 isOne 函数就可以了哦
function util(user: One | Two): void {
if (isOne(user)) {
user.sayHi()
} else {
user.play()
}
}