TS（由浅到深）

最新推荐文章于 2023-09-03 15:36:35 发布

ik i5

最新推荐文章于 2023-09-03 15:36:35 发布

阅读量226

点赞数 1

分类专栏： JS 文章标签： typescript 前端 javascript

本文链接：https://blog.csdn.net/weixin_46104934/article/details/131650714

版权

JS 专栏收录该内容

14 篇文章 2 订阅

订阅专栏

文章目录

1.TS基本介绍，安装与使用

TS是JavaScript的超级
背景：JS 的类型系统存在“先天缺陷”弱类型，JS 代码中绝大部分错误都是类型错误（Uncaught TypeError）
开发的时候，定义的变量本应该就有类型
这些经常出现的错误，导致了在使用 JS 进行项目开发时，增加了找 Bug、改 Bug 的时间，严重影响开发效率

为什么会这样？ var num = 18 num.toLowerCase()

从编程语言的动静来区分，TypeScript 属于静态类型的编程语言，JavaScript 属于动态类型的编程语言
- 静态类型：编译期做类型检查 TS =>(编译) JS => 服务器或浏览器运行
- 动态类型：执行期做类型检查 JS => 服务器或浏览器运行
代码编译和代码执行的顺序：1 编译 2 执行
对于 JS 来说：需要等到代码真正去执行的时候才能发现错误（晚）
对于 TS 来说：在代码编译的时候（代码执行前）就可以发现错误（早）

并且，配合 VSCode 等开发工具，TS 可以提前到在编写代码的同时就发现代码中的错误，减少找 Bug、改 Bug 时间
对比：

使用 JS：
1. 在 VSCode 里面写代码
2. 在浏览器中运行代码 --> 运行时，才会发现错误【晚】
使用 TS：
1. 在 VSCode 里面写代码 --> 写代码的同时，就会发现错误【早】
2. 在浏览器中运行代码

Vue 3 源码使用 TS 重写、Angular 默认支持 TS、React 与 TS 完美配合，TypeScript 已成为大中型前端项目的首选编程语言

1.1 TS的编译环境与使用ts-node库运行

游览器是不支持TS的因此需要把TS代码编译成JS代码，所以需要搭建对应的环境

安装 npm install typescript -g
查看版本 tsc --version

执行命令 tsc main.ts 会把main.ts转换成mian.js 并自动编译成严格模式

通过ts-node库，为TypeScript的运行提供执行环境；

安装ts-node npm install ts-node -g
ts-node需要依赖 tslib 和 @types/node 两个包：npm install tslib @types/node -g
运行 ts-node math.ts

2. TS中基本类型

在声明了类型后TypeScript就会进行类型检测，声明的类型可以称之为类型注解（Type Annotation）

var/let/const 标识符: 数据类型 = 赋值;
let num:number=12

说明：代码中的 : number 就是类型注解

2.1 基本数据类型

注意点 let 声明的类型可以进行类型推导 , const 为字面量类型

let age: number = 18  //  let age=18 这里可以进行类型推导
let name: string = '小森'
let isLoading: boolean = false
let n01: null = null
let u02: undefined = null

2.2 数组类型

注意点：数组中没有赋值数据，类型推导为never[]

// 0.类型推导  =>注意为空类型为never
let info=[] 
// 1.写法一
let names: number[] = []
// 2. 第二种写法
let nums: Array<number> = [123]
// 方式1: :类型[]
let arr1: number[] = [1, 2, 3, 4]
let arr2: string[] = ['a', 'b', 'c']

// 方式2: 泛型
let arr3: Array<number> = [1, 2, 3, 4]
let arr4: Array<string> = ['a', 'b', 'c']

2.3 对象类型

对象类型中参数如果不写默认为any ,同时也可以写成可选类型，在使用可选类型访问内部的属性时，需要主要赋值等情况，可利用非空断言 !

// 1. 写法一
let info: { name: string, age: number } = {
	name: 'angle',
	age: 18
}
// 写法二
type userInfoType = {
	name: string,
	age: number
}
let userInfo: userInfoType = {
	name: 'abl',
	age: 15
}
//  写法三=>类型推导
let infoDeduce= {
	name: 'angle',
	age: 18
}
// 当类型中的属性不写类型默认为any
//  ? 可选类型
type pointType = {
	x: number,
	y,
	z?: number
}
function obj(point: pointType) {
	console.log(point.x);
	console.log(point.y);
}
const result01 = obj({ x: 20, y: 60 })

2.4 函数的参数

函数必须指定类型，不能进行类型推导
函数的返回值可以不用指定，能进行类型推导
函数传参时会限制传递的参数个数

// 1.  函数必须指定类型, 类型不能推导

function sum(num1, num2) {

}
sum(1, 3)
//  2. 返回结果会进行类型推导
//  返回值类型可以明确指定也可以进行类型推导
// function sum01(num1: number, num2: number) {
// 	return num1 + num2
// }
function sum01(num1: number, num2: number):number {
	return num1 + num2
}
const result = sum01(1, 2)

2.4.1 函数传递对象


type lysicType = {
	text: string,
	name: string
}
function parseString(lysic: string): lysicType[] {
	let arr: lysicType[] = []  // 数组对象	// 指定返回值
	arr.push({ text: '文本', name: '小森' })
	return arr
}
const resulit = parseString('abcdefg')
resulit.forEach(v => {
	v.name
})

2.4.2 匿名函数的类型

大多数匿名函数不用写类型注解=>可根据上下文进行类型推导

const names: string[] = ['a', 'b', 'c']
//  大多数匿名函数不用写类型注解=>可根据上下文进行类型推导
names.forEach(function (v, i, arr) {

})

2.5 any 类型

any类型就是不限制任何类型, 可进行任何操作

// 1. any类型就是不限制任何类型, 可进行任何操作
let data: any[] = ['aaaa', 18, { name: '小森' }]

2.6 unknow 类型

unknown 类型进行任何操作都是不合法的
要想使用 需通过类型缩小

let num: unknown = 123
num = '123'
// unknown 类型进行任何操作都是不合法的	
// console.log(num.length)
//要想当成字符串使用 unknown进行类型缩小后才可进行操作
if (typeof num === 'string') {
	console.log(num.length);
}

2.7 never类型

一个函数如果是死循环或者抛出一个异常那么就需要使用never类型

// 1. 一个函数如果是死循环或者抛出一个异常那么就需要使用never类型
function loopFun(): never {
	while (true) { }
}
loopFun()

function funError(): never {
	throw new Error()
}

//  封装工具时对于传递的值不符合自己规定的类型时，必须要进行处理
function handlyMessage(message: string | boolean) {
	switch (typeof message) {
		case 'string':
			break
		case 'boolean':
			break
		default:
			const chenk: never = message
	}
}
 handlyMessage(true)

2.8 函数返回类型 void

定义 void返回值 type excFunType=（）=>void
函数没有返回值默认为void类型(不写类型推导成void)返回undefined也是允许存在的

// 1. 函数没有返回东西默认为void类型(不写类型推导成void)返回undefined也是允许存在的
function sum(num1: number, num2: number): void {
}

// 2. 函数没有参数没有返回值
const obj: () => void = () => { }
//  或者
type objType = () => void
const obj2: objType = () => { }
//  使用1. 传递函数延迟1s执行
function asyncFu(fun: () => void) {
	setTimeout(() => {
		fun()
	}, 1000)
}

asyncFu(() => { })
//  回调函数传参类型
type excFunType = (...args: any[]) => void
function delayFun(fun: excFunType) {
	setInterval(() => {
		// 2. 回调传参
		fun('小生', 18)
	}, 1000)
}
// 3. 接受
delayFun((name, age) => {
	console.log(name, age);
})

基于上下文类型推导的函数中返回值是void ，不强制要求返回任何东西

// 1. 基于上下文类型推导的函数中返回值是void ，不强制要求返回任何东西
const names: string[] = ['a', 'b', 'c']
names.forEach((v, i, array) => {
	return undefined
})

2.9 元组类型

数组类型通常存放相同的类型，如果一个数组中类型不同，就需要使用元组类型 tuple
const userInfo: [string, number] = ['小森', 19]

// 1. 数组类型通常存放相同的类型，如果一个数组中类型不同，就需要使用元组类型 tuple
const userInfo: [string, number] = ['小森', 19]   //利用下标拿值可推导类型

// 2. 元组中每一元素都有自己特性的类型，根据索引值可以确定对应的类型
const info01: (string | number)[] = ['123456', 20]
console.log(info01[0]); // 不能推导

const info02: [string, number] = ['123456', 20]
console.log(info02[0]); // 可推导

React 中useState hooks的基本封装

//  react 函数式编程封装useState时需要使用元组类型
const [count, setCount] = useState(0)
// 1. 定义元组类型
type tupleTypeSetState = [number, (newValue: number) => void]
function useState(initValue: number): tupleTypeSetState {
	let stateValue = initValue
	function setValue(newValue: number) {
		stateValue = newValue
	}
	// 2.返回数字与函数
	return [stateValue, setValue]
}

2.10 联合类型

联合类型由两个或者多个类型组成的类型，可以via哦时这些类型中的任何一个值

// 1. 联合类型由两个或者多个类型组成的类型，可以via哦时这些类型中的任何一个值
let foo: number | string | boolean = '1333'
//  数值类型转成boolean类型进行赋值
foo = !! 123

3. TS类型语法细节

3.1 type(类型别名)与interface

interface（接口）和 type（类型别名）的对比一：
相同点：都可以给对象指定类型
不同点:
- 接口，只能为对象指定类型
- 类型别名，不仅可以为对象指定类型，实际上可以为任意类型指定别名

interface IPerson {
  name: string
  age: number
  sayHi(): void
}

// 为对象类型创建类型别名
type IPerson = {
  name: string
  age: number
  sayHi(): void
}
// 为联合类型创建类型别名
type NumStr = number | string

interface（接口）和 type（类型别名）的对比二：
- interface只能用来声明对象，且可以重复对某个接口的属性与方法定义
- type 定义的是别名，别名不可以重复


// 1. 如果是非对象类型一般使用type ，对象类型一般使用interface
/**
 * @author  区别在于 1. interface只能用来声明对象，且可以重复对某个接口的属性与方法定义
 *  @author         2. type 定义的是别名，别名不可以重复
 */

interface arrType {
	name: string
}
interface arrType {
	fun: () => void
}
//  重复
// type arrType01={
// 	name:string
// }
// type arrType01={}

interface（接口）和 type（类型别名）的对比三：继承方式
- interface利用extends继承
- type 利用 & 实现继承

/**
 * @author 实现继承的方式不同 1. interface利用extends继承
 * @author                   2. type 利用 & 实现继承
 */
interface extendArrType01 {
	x: number
}
interface extendArrType02 extends extendArrType01 {
	y: number
	z: number
}

type externdType01 = {
	x: number
}

type extendType02 = {
	z?: number
} & externdType01

3.2 交叉类型

交叉类型 &
字符串类型与number交叉使用时never类型等，本身是无意义的
交叉类型一般用在对象中，通常对对象类型进行交叉{满足多个条件，例如小森的方法}

// 1. 字符串类型与number交叉使用时never类型
type nameType = string & number  // 无意义
// 2. 交叉类型一般用在对象中，通常对对象类型进行交叉{满足多个条件，例如小森的方法}
interface obj01 {
	name: string
}
interface obj02 {
	say: () => void
}
const info: obj01 & obj02 = {
	name: '小森',
	say() {

	},
}

3.3 类型断言

无法获取具体的类型,需要使用类型断言
注意 使用断言规则: 断言只能断言为更加具体的类型或者不太具体的类型

// 1.  无法获取具体的类型,需要使用类型断言
const el = document.querySelector('.img') as HTMLImageElement
// 写法2
const el02 = <HTMLImageElement>document.querySelector('.img')
// 使用断言规则: 断言只能断言为更加具体的类型或者不太具体的类型
let num: number = 12
let num01 = num as any   // 不太具体
let num02 =num01 as number // 具体

3.4 非空断言

注意 非空断言一定要确保有该属性才能使用，不然使用非空断言会导致bug

// 1.  !表示非空类型断言，是有值的，跳过ts的检测
export { };

interface personType {
	name?: string,
	friend?: {
		name: string
	}
}
const info: personType = {
	name: '小森'
}
// friend 是用name属性的
info.friend!.name = '11232'

3.5 字面量类型

使用模式：字面量类型配合联合类型一起使用
使用场景：用来表示一组明确的可选值列表
语法： type direction = "left" | "right" | "up" | "down"
参数 direction 的值只能是 up/down/left/right 中的任意一个

// 使用自定义类型:
type Direction = 'up' | 'down' | 'left' | 'right'

function changeDirection(direction: Direction) {
  console.log(direction)
}
// 调用函数时，会有类型提示：
changeDirection('up')

在封装请求方法中使用
注意下方代码中三 ,const的类型推理


type methodType = "post" | 'left'
function request(url: string, method: methodType) {

}
request('http://123.com', 'post')
// 
const info = {
	url: 'http://123456.com',
	method: 'post'
}
//  注意这里info.method 参数接受的类型是字符串, 可用类型断言
request(info.url, info.method as methodType)
// 2. 强制类型转换
const info02: { url: string, method: methodType } = {
	url: 'http://123456.com',
	method: 'post'
}

request(info02.url, info02.method)
//  3. 类型推理
const info03 = {
	url: 'http://123456.com',
	method: 'post'
} as const
request(info02.url, info02.method)

3.6 类型缩小

typeof panding==='number' 类型缩小. 例如其他判断方式 typeof ，=== ，！== , instanceof in
unknow 需要使用类型缩小后才可使用
intanceof 用于判断是否是某个类的实例 arr intanceof Array 或 date infanceof Date
in 指定的属性是否在指定的对象或者原型上

4. 函数类型

4.1 函数本身的类型

函数类型表达式用来表示函数类型
语法：格式 (参数列表)=>返回值
实例： type funType = (num1: number) => number

export { };
// 1. 函数类型表达式来表示函数类型
// 格式 (参数列表)=>返回值 
type funType = (num1: number) => number

const fun: funType = (num1: number): number => {
	return num1
}
fun(123)

// 函数计算
type sumType = (num1: number, num2: number) => number
function cacl(sumFun: sumType) {
	const num1 = 10
	const num2 = 20
	const result = sumFun(num1, num2)
	console.log(result);

}

function sum(num1: number, num2: number): number {
	return num1 + num2
}
cacl(sum)

4.2 函数签名

如果想描述一个带有属性的函数，就需要在一个对象类型中写一个调用签名
函数要想有属性必须要写成调用签名的方式
使用规则
- 如果只是描述函数类似本身（函数可以调用）就用函数类型
- 如果描述函数作为对象被调用，同时也有其他属性，就使用函数签名的方式
注意这个语法跟函数类型表达式稍有不同，在参数列表和返回的类型之间用的是 : 而不是 =>。

interface funBarType {
	name: string,
	age: number,
	// 函数作为对象可调用
	(num1: number): number
}

const funBar: funBarType = (num1: number): number => {
	return 112
}
funBar.age=18

funBar.name=''
funBar(1123)

4.3 构造函数签名

构造签名，方法是在调用签名前面加一个 new 关键词
注意点 Person在这里既代表一个类也代表一个函数

// 1.Person在这里既代表一个类也代表一个函数
class Person { }

// 构造函数签名，(通过new 调用)
interface contureType {
	new(): Person
}
function factory(fun: contureType) {
	return new fun()
}

factory(Person)

4.4 函数重载

函数可以以不同的方式进行调用
在TS中，可以去编写不同的重载签名来表示函数可以以不同的方式进行调用；
一般是编写两个或者以上的重载签名，再去编写一个通用的函数以及实现
注意点 有实现体的函数以及没有匹配重载的情况，是不能直接被调用的

// 1.函数可以以不同的方式进行调用
// 2.这时 函数可以编写两个及以上重载签名，在编写一个通用的函数以做实现

// 1.1 重载签名
function add(arg01: number, arg02: number): number
function add(arg01: string, arg02: string): string

// 1.2通过函数
function add(arg01: any, arg02: any): any { }

// 1.3调用
add(0, 2)
add("123","123")
// 没有匹配的重载情况不能调用,通用的函数也是不能调用
// add(1,'1111000')

4.5 联合类型与函数重载

定义一个函数，可以传入字符串或者数组，获取它们的长度

函数重载

function getLength(arg: string): string
function getLength(arg: string[]): string[]
function getLength(arg: any) {
	return arg.length
}
getLength('xxxx')
getLength(['xx','xxx'])

联合类型实现

 function getLength(arg:string|any[]){
 	return arg.length
 }

注意点 在开发中能用联合尽量用联合类型

4.6 TS检测类型错误

TS的报错取决于自己内部的规则
检测的数据取决于是否是第一次数据（保持新鲜感）

interface userInfo {
	name: string,
	age: number
}
const info = {
	name: '小森',
	age: 18,
	address: '南京'
}
const userInfo: userInfo = {
	name: '',
	age: 18
}
//  不会报错
const userInfo01: userInfo = info

4.7 函数的参数默认值

函数的参数有默认值的情况下，TS的类型注解可以省略，实际的参数个数也可以不传
同时默认的参数也可以传递别的类型值但是代码执行会报错(不包含undefined)
下面代码中传递undefined时，num2会保持默认值 : 100

function fun(num1: number, num2 = 100) {
	console.log(num1 + num2);
}
fun(100, undefined)

4.8 函数中的this

在没有经过任何配置的情况下this就是any类型
如果执行初始化配置文件，（tsc --init ）并把 "noImplicitThis": true 此时this 就是明确的，如果this是模糊的就会进行报错

// 在没有经过任何配置的情况下this就是any类型
const obj={
	name:'小森',
	saying(){
		// 默认的情况下this是any类型
		console.log(this.name.length);
		
	}
}

obj.saying()
//  tsc --init 初始化配置文件
// "noImplicitThis": true,  // this是否是模糊的
function foo(){
	console.log(this);
	
}

export { };

在设置了noImplicitThis为true时， TS会根据上下文推导this，但是在不能正确推导时，就会报错，需要我们明确的指定this。

4.9 指定this的类型

在开启noImplicitThis的情况下，必须指定this的类型。
this 指定类型(在函数的第一个参数中进行指定)
在后续调用函数传入参数时，从第二个参数开始传递的，this参数会在编译后被抹除

// this 指定类型(在函数的第一个参数中进行指定)
function foo(this: { name: string }, info: { age: number }) {
	console.log(this, info);
}

// 2. 调用通过call调用
// 3. 对象中不指定this
foo.call({ name: "why" }, { age: 28 })
export { };

4.10 this的内置工具

ThisParameterType 提取this的类型
OmitThisParameter 抹除this后的类型
ThisType 标记(绑定)上下文this的类型

// this 指定类型(在函数的第一个参数中进行指定)
function foo(this: { name: string }, info: { age: number }) {
	console.log(this, info);
}
foo.call({ name: "why" }, { age: 28 })
// typeof 获取函数的类型
type FooType = typeof foo
//  ThisParameterType 提取this的类型
type FooTypeThis = ThisParameterType<FooType>
//  抹除this后的类型
type DelTypeThis = OmitThisParameter<FooType>
// ThisType 标记(绑定)上下文this的类型
interface Istate {
	name: string,
	age: number
}
interface Istore {
	state: Istate,
	eating: () => void,
	runing?: () => void
}
//  交叉类型改变上下文的this
const store: Istore & ThisType<Istate> = {
	state: { name: 'xxx', age: 18 },
	eating() {
		// console.log(this.state.name);
		console.log(this.name);
	},
	runing: function () {
		console.log(this.name);

	}
}

store.runing?.call(store.state)

5. 面向对象编程

6. 泛型

介绍

泛型是可以在保证类型安全前提下，让函数等与多种类型一起工作，从而实现复用，常用于：函数、接口、class 中
需求：创建一个 id 函数，传入什么数据就返回该数据本身(也就是说，参数和返回值类型相同)

function id(value: number): number { return value }

比如，id(10) 调用以上函数就会直接返回 10 本身。但是，该函数只接收数值类型，无法用于其他类型
为了能让函数能够接受任意类型，可以将参数类型修改为 any。但是，这样就失去了 TS 的类型保护，类型不安全

function id(value: any): any { return value }

泛型在保证类型安全(不丢失类型信息)的同时，可以让函数等与多种不同的类型一起工作，灵活可复用
在开发中类型传递的缩写：
💘T：Type的缩写，类型
💘 K、V：key和value的缩写，键值对
💘E：Element的缩写，元素
💘O：Object的缩写，对象

6.1 泛型实现类型的参数化与解析

T作为类型变量，它作用于类型而不是值
调用方式
- 通过 <类型> 的方式将类型传递给函数；
- 通过类型推导（type argument inference），自动推到出传入变量的类型

//  通用类型=>类型参数化
//  第一个T 是传递的类型参数,就是把<number>传递 
// 第三个是返回值的类型
function bar<T>(arg: T): T {
	return arg
}
bar<number>(123)
// 简易写法:类型推导
// 注意canst与let接受的类型推导不一致
const result01 = bar('123')

function bar<T>(arg: T): T {return arg}

语法：在函数名称的后面添加 <>(尖括号)，尖括号中添加类型变量，比如此处的 T
类型变量 T，是一种特殊类型的变量，它处理类型而不是值
该类型变量相当于一个类型容器，能够捕获用户提供的类型(具体是什么类型由用户调用该函数时指定)
因为 T 是类型，因此可以将其作为函数参数和返回值的类型，表示参数和返回值具有相同的类型

bar<number>(123)

语法：在函数名称的后面添加 <>(尖括号)，尖括号中指定具体的类型，比如，此处的 number
当传入类型 number 后，这个类型就会被函数声明时指定的类型变量 T 捕获到
此时，T 的类型就是 number，所以，函数 bar参数和返回值的类型也都是 number

6.2 传递对个类型

function foo<T, E>(arg01: T, arg02: E) { }
foo(3, 'abc')
foo(3, { name: '123' })

6.3 泛型优化2.9元组类型写的useState

数组和对象的类型传递，需要注意省略了类型，推导会发生错误

function useState<T>(initState: T): ([T, (newValue: T) => void]) {
	let state = initState
	function setState(newValue: T) {
		state = newValue

	}
	return [state, setState]
}

const [count, setCount] = useState<number>(100)
// 数组和对象的类型传递，需要注意省略了类型，推导会发生错误 
const [arr, setArr] = useState<any[]>([])

export { }

6.4 泛型接口

在接口名称的后面添加 <类型变量>，那么，这个接口就变成了泛型接口。
接口的类型变量，对接口中所有其他成员可见，也就是接口中所有成员都可以使用类型变量。
接口也可以给定默认值 <T=string>

interface TypeInfo<T> {
	name: T,
	age: number
}

const Obj: TypeInfo<string> = {
	// name:'123'  // 这里不能进行类型推导
	name: '小森',
	age: 18
}

// 泛型接口默认值
interface Iinfo<T = string> {
	name: T,
	age: number
}

const Obj02: Iinfo = {
	age: 10,
	name: '123'
}

6.5 泛型类

class Person<T = number, E = string>{
	constructor(public name: T, age: E) { }
}

const result = new Person<number, string>(123, '123')
const result02 = new Person(12, 12)
export { }

6.6 泛型约束

默认情况下，泛型函数的类型变量 T 可以代表多个类型，这导致无法访问任何属性

// 有length
function getInfo<T>(arg: T): T {
	return arg
}

T可以代表任意类型，无法保证一定存在 length 属性，比如 number 类型就没有 length，但是上面代码一样可以传递，要想保证一定有length，就需要添加泛型约束
添加泛型约束的方法：
- 指定更加具体的类型
- 添加约束

function getInfo<T>(value: T[]): T[] {
  console.log(value.length)
  return value
}

添加约束，通过extends 关键字使用该接口，为泛型(类型变量)添加约束

//  有长度
interface Ilength {
	length: number
}
//  约束 传入的内容必须包含length的属性
// extends 继承
// 这里T相当于一个变量，用于记录本次调用的类型，所以在整个函数执行周期中，一直保留参数的类型

function getInfo<T extends Ilength>(arg: T): T {
	return arg
}

getInfo('1333')
// getInfo(123)

6.7 泛型的参数约束

泛型的类型变量可以有多个，并且类型变量之间还可以约束(比如，第二个类型变量受第一个类型变量约束)

interface KType {
	name: string,
	age: number
}

// 这里的keyof就是取KType里面类型的联合类型  string|number
type getKType = keyof KType

function getObjValue<O,K extends keyof O >(obj:O, key:K) {
	return obj[key]
}

const info = {
	name: '小森',
	age: 18
}

const result = getObjValue(info, 'age')
// const result01 = getObjValue(info, 'adress')  报错

解释:
1. keyof 关键字接收一个对象类型，生成其键名称(可能是字符串或数字)的联合类型。
2. 本示例中 keyof Type 实际上获取的是 KType 对象所有键的联合类型，也就是：'name' | 'age'
3. 类型变量 Key 受 T 约束，可以理解为：Key 只能是 T 所有键中的任意一个，或者说只能访问对象中存在的属性

// Type extends object 表示： Type 应该是一个对象类型，如果不是 对象 类型，就会报错
// 如果要用到 对象 类型，应该用 object ，而不是 Object
function getProperty<Type extends object, Key extends keyof Type>(obj: Type, key: Key) {
  return obj[key]
}

6.8 映射类型（Mapped Types）

一个类型需要基于另外一个类型，但是你又不想拷贝一份，这个时候可以考虑使用映射类型。
映射类型建立在索引签名的语法上
映射类型，就是使用了 PropertyKeys 联合类型的泛型
其中 PropertyKeys 多是通过 keyof 创建，然后循环遍历键名创建一个类型；

interface Person {
	name: string
	age: number
}
type MapType<T> = {
 [Property in keyof T]:T[Property]
}
type NewPerson=MapType<Person>
export { }

注意点

映射类型不能使用interface定义
映射后返回对象类型->简单理解T就是对象, copyMapObjTypeKey 就是属性
copyMapObjTypeKey 多是通过 keyof 创建，然后循环遍历键名创建一个类型；

// 映射类型不能使用interface定义
// 2. 映射后返回对象类型->简单理解T就是对象, copyMapObjTypeKey 就是属性
// 3. copyMapObjTypeKey 多是通过 keyof 创建，然后循环遍历键名创建一个类型；
type MapPerson<T> = {
	[copyMapObjTypeKey in keyof T]: T[copyMapObjTypeKey]
}

interface TypePerson {
	name: string,
	age: 10
}

type copeMapTypePerson = MapPerson<TypePerson>

6.9 映射修饰符

readonly，用于设置属性只读；
? ，用于设置属性可选；
前缀 - 或者 + 删除或者添加这些修饰符，如果没有写前缀，相当于使用了 + 前缀

拷贝类型的过程中让类型可选

interface Person {
	name: string,
	age: number,
	height: number
}
//  拷贝类型的过程中让类型可选
//  ? 可选
//    readonly 只读
type CopeMapOptionalPerson<T> = {
	readonly [Property in keyof T]?: T[Property]
}

type MapPersonOp = CopeMapOptionalPerson<Person>

拷贝类型的过程中让类型都必须传递

//  修饰符的符号
interface Person {
	name: string,
	age?: number,
	height: number
}
//  + 或者 - 默认就是+ 号 	readonly [Property in keyof T]?: T[Property]===	+readonly [Property in keyof T]+?: T[Property]

type CopeMapOptionalPerson<T> = {
	// - 全部变成必出
 [Property in keyof T]-?: T[Property]
}

type MapPersonOp = CopeMapOptionalPerson<Person>

7. TS的语法扩展与tsconfig.json配置

export { } 将作为模块处理

7.1导入导出

type前缀，表明被导入的是一个类型
加上type也可以明确告诉非TS编译器，比如(babel)等这是类型
如果类型过多也可以省略多个type，并把type写到最前面

//  这里的type是明确指定导入的是类型
//  加上type也可以明确告诉非TS编译器，比如(babel)等这是类型
import { type ArrType } from './type/type'
// 如果类型过多也可以省略type 写到最前面
// import type { type01,type02,... } from './文件'
const a: ArrType = { name: 'xxxxxxx' }

7.2 旧版本命名空间namespace

namespace 命名空间解决模块名字相同问题

//  namespace  命名空间解决模块名字相同问题
namespace price {
	export function sum() { }
}
namespace date {
	export function sum() { }
}

7.3 类型查找与类型声明

.d.ts 是类型声明文件，也可以叫类型定义文件
安装 npm i typescript -g 可以查看内置的.d.ts 文件

内置的类型声明

内置类型声明是typescript自带的、帮助我们内置了JavaScript运行时的一些标准化API的声明文件；
- 包括比如Function、String、Math、Date等内置类型；
- 也包括运行环境中的DOM API，比如Window、Document等；
TypeScript 使用模式命名这些声明文件lib.[something].d.ts

内置的类型通常会在安装包时，就默认带有，比如axios

// dom.d.ts
const h2El=document.createElement("h2")
h2El.textContent='1111111111'  // 添加文本
document.body.append(h2El)

// es2015.d.ts

//  第三方库中的类型文件
// import type { AxiosInterceptorManager } from 'axios'

外部定义类型声明

外部类型声明通常是使用一些库（比如第三方库）时，需要的一些类型声明
- 该库的GitHub地址：github
- 该库查找声明安装方式的地址：安装地址

npm i @types/react --save-dev // react的类型地址

自定义类型声明文件 declare

语法 declare module '模块名' {}。
对于 type、interface 等这些明确就是 TS 类型的(只能在 TS 中使用的)，可以省略 declare 关键字。
对于 let、function 等具有双重含义(在 JS、TS 中都能用)，应该使用 declare 关键字，明确指定此处用于类型声明。

类型声明

// lodash包的类型声明文件
// {} 表作用域
declare module "lodash" {
	export function join(...args: any[]): any
}

// index.html文件声明，ts文件使用时类型声明

declare const whyConst: string

使用

// 编写类型模块声明文件
import _ from 'lodash';
_.join()

console.log(whyConst);
// console.log(whyConst02); // 不能使用

7.4 declare 声明文件与命名空间

如在开发vue项目的过程中，默认是不识别我们的.vue文件的，那么我们就需要对其进行文件的声明；
在开发中使用了 jpg 这类图片文件，默认TS也是不支持的，也需要对其进行声明；

// 设置全局组件类型
import NavBar from './NavBar.vue'
// 2. 声明 vue 类型模块
declare module 'vue' {
  // 3. 给 vue  添加全局组件类型，interface 和之前的合并
  interface GlobalComponents {
    // 4. 定义具体组件类型，typeof 获取到组件实例类型
    // typeof 作用是得到对应的TS类型
    CpNavBar: typeof CpNavBar
  }
}


declare module '*.jpg' {
	const src: string,
	export default src
}

7.5 tsconfig.ts解析

文档解释：https://www.typescriptlang.org/tsconfig 链接
tsc --init 初始化配置文件


{
  "include": ["src/**/*", "tests/**/*"]
}

"include":解析 官网解析
在这里插入图片描述
配置解释详情

注意 "allowSyntheticDefaultImports": true, 把'import x from y'和 'import*as x from y'合并

8. 类型内置API与类型体操

类型体操的题目：题目一，题目二

8.1 条件类型

在开发中需要基于输入的值来决定输出的值，同样也需要基于输入的值的类型来决定输出的值的类型。这时，就需要条件类型
是否继承（就是条件类型

const res = 2 > 3 ? true : false
type IdType = number | string

// 是否继承（就是条件类型）
type ResType = number extends IdType ? true : false

// T extends number ? number : string  // T继承number类型，如果是就反回number类型不是就返回string类型
function sum<T extends number | string>(num1: T, num2: T): T extends number ? number : string
function sum(num1, num2) {
	return num1 + num2
}
sum(10, 20)
sum('123', '123')

8.1.1 条件类型的推断

条件类型中推断利用 infer 关键词，可以从正在比较的类型中推断类型，然后在 true 分支里引用该推断结果
如果现在有一个数组类型，想要获取到一个函数的参数类型和返回值类型：就需要

// 1. 重函数类型中获取返回值类型
type FooType = (num1: number, num2: number) => number

//获取一个函数中的返回值类型
type FooReturnType = ReturnType<FooType>

// 限制传入的是函数类型  infer推断 返回值类型
type MyReturntype<T extends (...arg: any[]) => any> = T extends (...arg: any[]) => infer R ? R : never

//推断传入的参数问题
type MyArgType<T extends (...arg: any[]) => any> = T extends (...arg: infer A) => any ? A : never

8.1.2条件类型分发

当在泛型中使用条件类型的时候，如果传入一个联合类型，就会变成 分发的（distributive）

type ToArray<T> = T extends any ? T[] : number
type FefaToArray = ToArray<string | number>
//  类型分发 1. 传入string类型是否符合 ，符合返回 string[] ,
//  2. 传入 number 类型在判读是否继承any 符合返回 number[]

在 ToArray 传入一个联合类型，这个条件类型会被应用到联合类型的每个成员：
- 当传入string | number时，会遍历联合类型中的每一个成员；
- 相当于ToArray | ToArray；
- 所以最后的结果是：string[] | number[]；

8.2 Partial 可选类型

用于构造一个Type下面的所有属性都设置为可选的类型

// 类型转化为可选
interface UserInfoType {
	name: string,
	age: number
}
type changeUserInfoType = Partial<UserInfoType>
// 类型体操
type TcPartial<T> = {
	[P in keyof T]?:T[P]

}
type TcUserInfoType = TcPartial<UserInfoType>

8.3 Required

用于构造一个Type下面的所有属性都设置为必选的类型

// 类型转化为必选
interface UserInfoType {
	name: string,
	age?: number
}
type changeUserInfoType = Required<UserInfoType>
// 类型体操
type TcPartial<T> = {
	[P in keyof T]-?:T[P]

}
type TcUserInfoType = TcPartial<UserInfoType>
export { }

8.4 Readonly只读

interface UserInfoType {
	name: string,
	age?: number
}
type changeUserInfoType = Readonly<UserInfoType>
// 类型体操
type TcPartial<T> = {
	readonly [P in keyof T]-?: T[P]

}
type TcUserInfoType = TcPartial<UserInfoType>
export { }

8.5 Record 构造对象类型

用于构造一个对象类型，它所有的key(键)都是Keys类型，它所有的value(值)都是Type类型

// 转成 key value 类型

interface ValueType {
	name: string,
	age: number
}
type KeyType = '北京' | '上海' | '广州'

type ChangeKeyValueType = Record<KeyType, ValueType>

export { }

// type Res=keyof any   就相当于 type Res=number| string |symbol
type HyRecord<Keys extends keyof any, T> = {
	[P in Keys]: T
}


type changehyRecord = HyRecord<KeyType, ValueType>

const city: changehyRecord = {
	"上海": {
		name: '',
		age: 18
	},
	"北京": {
		name: '',
		age: 18
	},
	"广州": {
		name: '',
		age: 18
	}
}

8.6 Omit过滤 | Pick 挑选

Omit 用于构造一个类型，它是从Type类型里面过滤了一些属性Keys

interface IType {
	name: string,
	age: number
}
//  返回对应的类型结果
type HyPick = Pick<IType, "name">

// 体操
type HyPickC<T, K extends keyof T> = {
	[P in K]: T[P]
}

type CHyPick = HyPickC<IType, "name">

Pick用于构造一个类型，它是从Type类型里面挑了一些属性Keys

interface IType {
	name: string,
	age: number
}

//  返回对应的类型结果
type HyOmit = Omit<IType, "name">

8.7 Exclude | Extract | NonNullable 类型

Exclude用于构造一个类型，从联合类型里面排除了某些类型。


type unitType = string | number | Boolean

// 排除联合类型中的某些类型
type CUnitType = Exclude<unitType, string>

Extract 提取联合类型中的某些类型

type unitType = string | number | Boolean

// 提取联合类型中的某些类型
type CUnitType = Extract<unitType, string>
export { }

NonNullable 排除null与undefined

type unitType = string | number | Boolean | null | undefined

// NonNullable 排除null与undefined
type CUnitType = NonNullable<unitType>

ik i5

关注

1
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
TS（由浅到深）

TS是JavaScript的超级背景：JS 的类型系统存在“先天缺陷”弱类型，JS 代码中绝大部分错误都是类型错误（Uncaught TypeError）开发的时候，定义的变量本应该就有类型这些经常出现的错误，导致了在使用 JS 进行项目开发时，增加了找 Bug、改 Bug 的时间，严重影响开发效率为什么会这样？从编程语言的动静来区分，TypeScript 属于静态类型的编程语言JavaScript 属于动态类型的编程语言编译。
复制链接

扫一扫