枚举-基本使用
目标
掌握枚举类型的使用
定义
enum,枚举。它用来描述一个值,该值只能是 一组命名常量 中的一个
没有type之前,用枚举比较多,现在用的少了。枚举的功能类似于字面量类型+联合类型组合的功能,也可以表示一组明确的可选值
格式
定义格式
enum 枚举名 { 可取值1,可取值2,.. }
说明:
- 使用
enum
关键字定义枚举 - 一般约定首字符大写
使用格式
枚举名.可取值
示例
// 定义枚举类型 enum Direction { Up, Down, Left, Right } // 使用枚举类型 function changeDirection(direction: Direction) { console.log(direction) } // 调用函数时,需要应该传入:枚举 Direction 成员的任意一个 // 类似于 JS 中的对象,直接通过 点(.)语法 访问枚举的成员 changeDirection(Direction.Up)
解释:
- 约定枚举名称以大写字母开头
- 枚举中的多个值之间通过
,
(逗号)分隔 - 定义好枚举后,直接使用枚举名称作为类型注解
枚举-枚举的值
目标
掌握枚举类型的值
枚举的值
枚举类型和ts中其他的类型不一样,枚举类型不仅仅是类型,还是一个值。
type定义的类型是没有值的
type NewType = number | string console.log(NewType) // 输出类型是没有意义的
枚举定义的类型是有值的。
// 创建枚举 enum Direction { Up, Down, Left, Right } // 调用函数时,需要应该传入:枚举 Direction 成员的任意一个 // 类似于 JS 中的对象,直接通过 点(.)语法 访问枚举的成员 console.log(Direction.Up)
也可以使用tsc给编译一下来做对比
数字枚举
默认情况下,枚举的值是数值。默认为:从 0 开始自增的数值
当然,也可以给枚举中的成员初始化值
// Down -> 11、Left -> 12、Right -> 13 enum Direction { Up = 10, Down, Left, Right } enum Direction { Up = 2, Down = 4, Left = 8, Right = 16 }
字符串枚举
字符串枚举:枚举成员的值是字符串
enum Direction { Up = 'UP', Down = 'DOWN', Left = 'LEFT', Right = 'RIGHT' }
注意:字符串枚举没有自增长行为,因此,字符串枚举的每个成员必须有初始值
小结
- 枚举与前面讲到的字面量类型+联合类型组合的功能类似,都用来表示一组明确的可选值列表
- 一般情况下,推荐使用字面量类型+联合类型组合的方式,因为相比枚举,这种方式更加直观、简洁、高效
枚举类型的应用
用后端用0,1来标识性别,但是0,1在代码中不好读。
enum Gender { girl, boy } type User = { name: string, gender: Gender } const u1: User = { name: '小花', gender: Gender.girl } console.log(u1)
any 类型
目标
掌握any类型的使用
定义及作用
any: 任意的。当类型设置为 any 时,就取消了类型的限制。
let obj: any = { x: 0 } obj.bar = 100 obj() const n: number = obj
解释: 以上操作都不会有任何类型错误提示,即使可能存在错误(编译时不报错,可是运行时会报错)
使用any的场景
- 函数就是不挑类型。 例如,
console.log()
; 定义一个函数,输入任意类型的数据,返回该数据类型 - 临时使用 any 来“避免”书写很长、很复杂的类型
隐式 any
- 声明变量不提供类型也不提供默认值
- 定义函数时,参数不给类型
小结
原则:不推荐使用 any!这会让 TypeScript 变为 “AnyScript”(失去 TS 类型保护的优势)
类型断言
问题导入
假设我们明确知道页面上有一个img,它的id是img。
const box = document.getElementById('img') console.log(box.src) // ts报错
注意:该方法返回值的类型是 HTMLElement,该类型只包含所有标签公共的属性或方法,不包含 img 标签特有的 src等属性,无法操作 src 等 img标签特有的属性或方法。
类型断言的作用和应用场景
作用: 手动指定值的类型
场景:有时候你会比 TS 更加明确一个值的类型,此时,可以使用类型断言来指定更具体的类型。
格式
关键字: as
const 变量 = 值 as 类型
解释:
- 使用
as
关键字实现类型断言 - 关键字 as 后面的类型是一个更加具体的类型(HTMLAnchorElement 是 HTMLElement 的子类型)
示例1
const box = document.getElementById('img') as HTMLImageElement box.src
技巧:如何得知dom的类型
- 在浏览器控制台,通过
__proto__
获取 DOM 元素的类型; - document.createElement(‘a’),然后看代码提示
示例2
知道后端的结果会是一个类型,但这个结果是用ajax拿到的,不好直接给初始值,又希望得到输出提示的效果
type User = { name: string, age: number } const u1 = {} as User console.log(u1.name) // 这里就会有提示
typeof
问题导入
res表示一个复杂的对象,我们把它传给一个函数fn,但是目前没有办法从形参obj中获取提示信息
const res = { name: '小花', city: '武汉', skills: ['js', 'css'] } function fn(obj) { // 这里写obj.没有提示 // obj. } fn(res)
怎么解决?
typeof
JS 中提供了 typeof 操作符,用来在 JS 中获取数据的类型
console.log(typeof 'Hello world') // ?
TS 也提供了 typeof 操作符:可以用来获取变量或属性的类型
使用场景
根据已有变量的值,反向推断出获取该值的类型,来简化类型书写
格式
type 类型 = typeof 常量
示例
const res = { name: '小花', city: '武汉', skills: ['js', 'css'] } type Stu = typeof res function fn(obj:Stu) { // 这里写 obj. 就会有提示 obj.skills } fn(res)
解释:
使用 typeof 操作符来获取变量 p 的类型,结果与第一种(对象字面量形式的类型)相同
typeof 出现在类型注解的位置(参数名称的冒号后面)所处的环境就在类型上下文(区别于 JS 代码)
注意:typeof 只能用来查询变量或属性的类型,无法查询其他形式的类型(比如,函数调用的类型)
keyof
约定类型是某个对象/类型的属性名
格式
type 类型 = keyof 类型 type 类型 = keyof 对象常量
示例
type Point = { x: number; y: number }; type P = keyof Point; type T = keyof {a:1,b:2}
基本类型学习完了
泛型-基本介绍
需求
创建一个 fn 函数,它的特点是: 传入什么类型(可能有多种类型)的数据就返回什么类型的数据。 也就是说,参数和返回值类型相同。
例如:
function fn(value: number): number { return value }
比如,fn(10) 调用以上函数就会直接返回 10 本身。但是,该函数声明只接收数值类型,无法用于其他类型
思考:any 能做到么?
function fn(value: any): any { return value }
不能。它没有了类型保护,也没有严格限制返回值的类型和输入值的类型一致。
泛型
泛型,顾名思义,就是可以适用于多个类型,使用类型变量(比如T)帮助我们捕获传入的类型,之后我们就可以继续使用这个类型。
本质是参数化类型,通俗的讲,就是所操作的数据类型被指定为一个参数,这种参数类型可以用在类、接口和函数的创建中,分别成为泛型类,泛型接口、泛型函数
泛型函数: 这个函数的参数类型或者返回值的类型是可变的
泛型-泛型函数
定义格式
function 函数名<类型变量1,类型变量2,...>(参数1:类型1,参数2:类型2,...): 返回值类型 { }
在函数名称的后面写 <>
(尖括号),尖括号中添加类型变量
类型变量相当于一个类型容器,能够捕获用户提供的类型(具体是什么类型由用户调用该函数时指定)
示例
function fn<Type>(value: Type): Type { return value } // 上面的Type只是一个名字而已,可以改成其他的,例如T function fn<T>(value: T): T { return value }
- 类型变量 Type,是一种特殊类型的变量,它处理类型而不是值
- 因为 Type 是类型,因此可以将其作为函数参数和返回值的类型,表示参数和返回值具有相同的类型
- 类型变量 Type,可以是任意合法的变量名称
调用格式
const 返回值 = 泛型函数名<类型1,类型2,...>(实参1,实参2,实参3,......)
语法:在函数名称的后面添加 <>
(尖括号),尖括号中指定具体的类型
示例
const num = fn<number>(10) const str = fn<string>('a')
- 当传入类型 number 后,这个类型就会传递给函数声明时对应的类型变量
- 通过泛型就做到了让 fn 函数与多种不同的类型一起工作,实现了复用的同时保证了类型安全
小结
- 泛型函数的格式?
- 泛型函数的作用?
泛型-类型推断简化函数调用
问题
调用函数时,需要显示设置类型参数,太麻烦,
const num = fn<number>(10)
类型推断简化函数调用
function fn<T>(value: T): T { return value } // 省略 <number> 调用函数 let num = fn(10) let str = fn('a')
- 在调用泛型函数时,可以省略
<类型>
来简化泛型函数的调用 - 此时,TS 内部会采用一种叫做类型参数推断的机制,来根据传入的实参自动推断出类型变量 Type 的类型
- 比如,传入实参 10,TS 会自动推断出变量 num 的类型 number,并作为 Type 的类型
小结
推荐:使用这种简化的方式调用泛型函数,使代码更短,更易于阅读
泛型-练习
模拟实现useState的声明
要求说明
{ // useState它接收一个任意类型的数据,返回一个数组。 // 数组的第一个元素的类型与入参一致; // 数组的第二个元素是一个函数 // 函数的入参类型和返回值类型与useState的入参一致 // react // const [num, setNum] = useState(0) // const [str, setStr] = useState('ab') function useState(value) { const setValue = () => { } return [value, setValue] } const [str, setStr] = useState('123') const [num, setNum] = useState(123) }
要求: 鼠标放上去有对应的提示
参考
function useState<T>(p:T): [T,(p:T)=>T] { const t = (p: T):T => { return p } return [p, t] }
泛型-泛型约束
目标
掌握泛型约束的原因及实现方式
泛型的问题
默认情况下,泛型函数的类型变量 T 可以代表多个类型,这导致在泛型函数内部无法访问任何属性
比如,fn(‘a’) 调用函数时获取参数的长度:
function fn<T>(value: T): T { // 这里value. 不会有提示 console.log(value.length)// 这里会报错 return value } fn('a')
T可以代表任意类型,无法保证一定存在 length 属性,比如 number 类型就没有 length
此时,就需要为泛型添加约束来收缩类型
(缩窄类型取值范围),从而得到类型提示
添加泛型约束
添加泛型约束收缩类型,主要有以下两种方式:
- 指定更加具体的类型
- 添加约束
指定更加具体的类型
比如,从任意类型的数据 -----> 任意类型的数组。
将类型修改为 Type[]
(Type 类型的数组),因为只要是数组就一定存在 length 属性,因此就可以访问了
function fn<T>(value: T[]): T[] { console.log(value.length) // 这里就可以获得提示 return value }
添加约束
比如,要求传入T类型必须要有length属性。
思路
对已有类型做继承
// 创建一个接口 interface ILength { length: number }
类型参数继承接口
// 类型参数继承接口 // T extends ILength 添加泛型约束 function fn<T extends ILength>(value: T): T { console.log(value.length) return value } fn('abc') // Ok fn([1,2,3]) // Ok
解释:
- 创建描述约束的接口 ILength,该接口要求提供 length 属性
- 通过
extends
关键字使用该接口,为泛型(类型变量)添加约束 T extends ILength
约束表示:传入的类型必须具有 length 属性- 注意:传入的实参(比如,数组)只要有 length 属性即可(类型兼容性)
示例
function setElement<Type extends HTMLElement>(element:Type):Type { console.log(element.innerText) // 这里的.会有语法提示 return element }