1. 类型推断
1.1 类型推论了解
类型推论是指 在没有明确指出类型的地方TypeScript可以根据默写规则自动推断出其类型
例如:
let num = 3
// let num: number
这里并没有指定num的类型, 但是TypeScript根据赋予的值推断num的类型为number
类型推论的作用:辅助开发,提升开发效率,
1.2 类型推论分类
- 基础类型推论
- 通用类型推论
- 上下文类型推论
2. 各种不同的类型推论
2.1 基础类型推论
基础类型推论是最常见的一种类型推论.
2.1.1 推断变量类型(直接声明变量)
声明一个变量并赋初始值是, 自动推断的类型为 any类型
let num; // 推断为any类型
// let num: any
// 后续再次赋值也不会改变变量类型
num = 20;
// let num: any
num = 'string'
// let num: any
如果声明变量时赋予了初始值,会根据赋予的值推断类型
let num = 30; // num: number
let str = 'hello' // str: string
let bol = true // bol: boolean
let arr = [] // arr: any[]
let obj = {} // obj: {}
let fn = function(){} // fn: () => void
2.1.2 推断形参类型(定义函数时,推断形参类型)
形参如果没有添加类型注释,并且没有赋予默认值时, 推断为any类型,意为可以赋予任何类型的值
例如
// (parameter) x: any
let text = function(x){
}
形参被赋予了默认值
当形参被赋予了初始值,形参的类型会被推断为默认值的类型,在调用函数时,如果传递的参数类型不对就会报错
例如:
// (parameter) x: string
let text = function(x= 'hello'){
}
text(123) // error
// 类型“number”的参数不能赋给类型“string”的参数。
例子中推断形参x的类型时string类型,调用时传入number类型的值则报错类型不匹配
2.1.3 推断返回值类型(更加函数返回值,推断返回类型)
如果函数返回值是一个确定能推断出类型的值,那么ts会根据返回值推断函数返回类型
例如:
// let text: () => number
let text = function(){
return 123
}
此时函数推断返回类型为number类型,
如果函数的返回值有形参参与,此时形参没有确定类型,那么返回值将是一个any类型
例如:
// let text: (x: any) => any
let text = function(x){
return x + 1
}
如果函数形参确定了类型,ts就会根据形参类型推断返回值类型
// let text: (x: number) => number
let text = function(x:number){
return x+1
}
示例中形参x的类型为number ts会更加形参x的类型推断返回值也是number类型
参数的类型只是返回值推断类型的参考要素之一, 最重要的还是要根据返回值来推断类型
例如:
// let text: (x: number) => string
let text = function(x:number){
return x + '1'
}
参数是number类型, 但更加返回值的操作,推断出返回string类型
2.2 通用类型推断
通用类型,就是当需要根据多个不同的类型推断一个类型时, TS会尽可能的推断出一个兼容当前所有类型的通用类型
例如
// let arr: number[]
let arr = [10,20,null]
这里为了推断arr的类型, TS 就必须考虑所有元素的类型, 这里有两种选择:number和 null.这里需要给出一个兼容所有类型的类型,
因为null类型时所有类型的子类型, 因此这里number类型兼容null类型, 因此,推断arr的类型为number[]
如果不能从多个备选类型中选择出一个兼容类型,那么类型会被推断为所有候选类型的联合类型
// let arr: (string | number)[]
let arr = [10,20,'string']
示例中,有两个候选类型number与string, 但是这两个类型都没法兼容另外一个类型, 因此会推断出联合类型(string | number)[]
2.3 上下文类型推论
前面两种类型推断是根据表达式右侧推断左侧的类型, 上下文类型时相反方向进行推论的. 也被叫做"上下文归类"
例如:
// 类
class Person {
name: string | undefined
age: number | undefined
}
// 类型注释
const student: Person = {
name: 'jack',
speak: true
/*
报错:
不能将类型“{ name: string; speak: boolean; }”分配给类型“Person”。
对象文字可以只指定已知属性，并且“speak”不在类型“Person”中。
*/
}
示例中将一个对象赋值给有Person类型注释的变量student, Person类型中没有speak属性, 推断报错
