第八节: TypeScript 类型推断

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属性, 推断报错