【进阶】TS 中的 类型断言 和 泛型(ts入门教程)

【进阶】TS 中的 类型断言 和 泛型 类型断言

推荐整理分享【进阶】TS 中的 类型断言 和 泛型(ts入门教程)，希望有所帮助，仅作参考，欢迎阅读内容。

文章相关热门搜索词:ts中的keyof,ts中的enum,ts入门教程,ts中的?,ts中的keyof,ts技术,ts中的?,ts中的typeof,内容如对您有帮助，希望把文章链接给更多的朋友！

作用 : 手动指定值的具体类型 ( 缩写值的范围 )

应用场景 1

获取 DOM 元素的时候指定具体元素

示例 :

const box = document.getElementById('img')console.log(box.src) // ts报错

错误内容 :

解析 ： 上述语法在 js 中可以直接使用, 但是 TS 中就不行啦, 由于类型不明确会报错

返回值的类型是 HTMLElement，只有标签公共的属性，不包含 img 的 src 属性

解决方法 : 使用类型断言明确具体类型

语法 : let 变量 = 值 as 类型

as 关键字实现类型断言关键字 as 后面的类型是一个具体的类型

实例 :

const box = document.getElementById('img') as HTMLImageElement指定了具体类型后 , 就可以使用 box.src 了

技巧： 获取 DOM 元素类型的方法

在浏览器控制台，通过 __proto__ 获取 DOM 元素的类型;document.createElement('a')，然后看代码提示、

应用场景 2

知道获取数据的类型, 但是不知道具体的数据时 , 使用类型断言后就会有提示

type User = { name: string, age: number}const u1 = {} as Userconsole.log(u1.name) // 这里就会有提示非空断言

作用 : 明确地知道对象的属性一定不会为空，可以使用非空断言 !

应用场景 : TS 中 使用 useRef()

JS 中的语法直接使用会报错

错误解析 :

useRef 类型说明 : useRef的泛型参数用于指定current属性的值的类型

传入参数 null 时 , current属性的值类型也被指定为 null

解决方法 :

指定 useRef的泛型参数类型为 HTMLInputElement (已知类型)使用非空断言! 指定current属性的值不为空function App() { const inputRef = useRef<HTMLInputElement>(null) return ( <div className="App"> <input type="text" ref={inputRef} /> <button onClick={() => { console.log(inputRef.current!.value) }}>点击</button> </div>)}typeof

TS 中的 typeof 操作符 和 js 中的一样都是用来获取变量或属性类型

使用方法 :

获取类型 : type 变量 = typeof 常量

使用 : function(参数:变量){参数.常量的方法}

应用场景

获取到一个复杂的对象，我们把它当做实参传给一个函数fn，但是没有办法在使用形参时获取提示信息

typeof 解决

const res = { name: '小花', city: '武汉', skills: ['js', 'css'] }type Stu = typeof resfunction fn(obj:Stu) { // 这里写 obj. 就会有提示 obj.skills}fn(res)

注意 : typeof 只能用来查询变量或属性的类型，无法查询其他形式的类型（比如，函数调用的类型）

keyof

获取对象类型的属性名 , 得到新的类型

type 类型 = keyof 类型

实例type Point = { x: number; y: number }type P = keyof Pointtype 类型 = keyof 对象常量

type T = keyof {a:1,b:2}

使用方法

获取类型的属性名 :

type T = keyof {a:1,b:2}== type T = 'a'|'b'

使用 : let 变量:T = 'a'

变量的取值只能是 ‘a’或者’b’ 泛型

什么是泛型

顾名思义就是多个类型 , TS 中指使用变量保存要使用的类型

泛型本质

泛型本质是参数化类型 , 就是所操作的数据类型被指定为一个参数，这种参数类型可以用在类、接口和函数的创建中，分别成为泛型类，泛型接口、泛型函数

泛型函数

什么是泛型函数 ：

这个函数的参数类型或者返回值的类型是可变的

定义泛型函数 :

function 函数名<类型参数> (形参:类型参数):类型参数{}

在函数名称的后面写 <>(尖括号)，尖括号中添加类型变量类型变量相当于一个类型容器，能够捕获用户提供的类型(具体是什么类型由用户调用该函数时指定)

使用泛型函数

方法1: const 返回值 = 函数名(实参) 类型推论实参的类型,传递给类型参数方法2 : const 返回值= 函数名<类型实参>(实参) 上述的非空断言就使用了此种方法此时的 <> 中的就是具体的类型

示例

// 泛型函数 function useState<T>(val: T | (() => T)): [T | (() => T), (newvalue: T) => void]{ return [val,(newvalue)=>{val=newvalue}] } const [str,setStr] = useState('1') const [num,setNum] = useState<number>(1) const [fn, setFn] = useState<number>(() => 1)泛型推论

泛型推论就是, 利用类型推论简化函数调用

在调用泛型函数时，可以省略 <类型> 来简化泛型函数的调用此时，TS 内部采用一种类型参数推断的机制，来根据传入的实参自动推断出类型变量 Type 泛型对象

应用场景 :

函数中传入对象和该对象的属性,要求得到给对象的值

// 泛型对象 function getProp<T, K extends keyof T>(arr: T, key: K) { return arr[key] } let obj ={name:'ikun',age:18,hobby:'学习'} getProp(obj,'hobby')

解析 :

上述约定后, 后续调用时会有提示

泛型的问题

太灵活了

默认情况下，泛型函数的类型变量 可以代表多个类型，这导致在泛型函数内部无法访问任何属性function fn<T>(value: T): T { // 这里value. 不会有提示 console.log(value.length)// 这里会报错 return value}fn('a')

解决泛型太灵活的方法

为泛型添加约束来收缩类型(缩窄类型取值范围)

泛型约束

泛型约束主要有以下两种方式：

指定更加具体的类型添加约束

指定更加具体的类型

指定更具体的类型缩小范围

function fn<T>(value: T[]): T[] { console.log(value.length) // 这里就可以获得提示 return value}

T[] 数组一定会有length属性

添加约束(推荐使用)

对已有类型做继承,已有类型中指定了 length属性

interface ILength { length: number } function fn1<T extends ILength>(value: T): T { // 这里value. 不会有提示 console.log(value.length) return value }泛型接口

在接口中使用泛型来使用，以增加其灵活性，增强其复用性

语法 :

interface 接口名<类型变量1，类型变量2...> { 属性名1：类型1， 属性名2：类型2， 属性名3：类型3}

注意 :

在接口名称的后面添加 <类型变量>，那么，这个接口就变成了泛型接口。接口的类型变量，对接口中所有其他成员可见，也就是接口中所有成员都可以使用类型变量。使用泛型接口时，需要显式指定具体的类型

实例:

interface MyArray { length: number, push(n: number):void, pop():number, reverse():number[]}let obj: MyArray = { id(value) { return value }, ids() { return [1, 3, 5] }}

数组在ts中就是一个泛型接口

泛型工具类型Partial

把已有的类型属性,变成一个新类型的可选属性

语法 : type 新类型 = partial<老类型>

Readonly

把已有类型全部转换为只读类型

语法和上述一直

定义对象使其内在属性不能修改

Pick

从已有类型中选一些属性来构造新的类型

语法 : type 新类型 = partial<老类型,属性|属性2>

详见代码

代码地址： github.com/jiang-zi/TS…