typeScript-函数的类型

函数的类型

函数声明

在JavaScript中，有两种常见的定义函数的方式——函数声明(Function Declaration) 和函数表达式(Function Expression)

// 函数声明
function sum (x,y) {
  return x + y
}
// 函数表达式
let sum = function (x,y) {
  return x +y
}

一个函数有输入和输出，要在typeScript中对其约束，需要把输入输出都考虑到，其中函数声明的类型比较简单

 function mySum (x:number,y:number) :number{
    return x + y
  }

注意输入多余或者小于多余的参数是不允许的，会报错

function mySum (x:number,y:number) :number{
    return x + y
  }
  mySum(1)
// ERROR in 
//  TS2554: Expected 2 arguments, but got 1.

 function mySum (x:number,y:number) :number{
    return x + y
  }
  mySum(1,2,3)
// ERROR in 
// TS2554: Expected 2 arguments, but got 3.

函数表达式

如果现在我们写一个对函数表达式的定义，可能会写成这样

let mySum1 = function (x:number,y:number):number {
    return x + y
  }

这是可以通过编译的，不过事实上，上面的代码只对等号右边的匿名函数进行了类型定义，而等号左边的mySum1是通过赋值操作类型推论而推断出来的，如果需要我们手动给mySum1添加类型，则应该是这样的

let mySum1 : (x:number,y:number)=>number = function (x:number,y:number):number {
    return x + y
  }

注意不要混淆了typeScript中的=>和es6中的=>,在typeScript类型定义中=>是用来表示函数的定义，左边是输入类型，需要用括号括起来，右边是输出类型。早es6中=>表示箭头函数

用接口定义函数的形状

我们也可以使用接口的方式来定义一个函数更符合的形状

let mySearch:SearchFunc;
  mySearch = function (source:string,subString:string) {
    return source.search(subString) !== -1
  }

采用函数表达式接口定义函数的方式时，对等号左侧进行类型限制，可以保证以后对函数赋值时保证参数个数，参数类型，返回值类型不变。

可选参数

前面提到，输入多余（或少于要求的）参数是不允许的，那么如何定义可选参数呢，与接口中的可选属性类似，我们使用?表示可选参数

function buildName(firstName:string,lastName?:string) {
    if(lastName) {
      return firstName + ' ' + lastName
    } else {
      return firstName
    }
  }
  let tomcat = buildName('Tom','cat')
  let tom = buildName('Tom')
  console.log(tomcat, tom)

需要注意的是，可选参数必须杰仔必须参数后面。换句话说，可选参数后面不能再跟必须参数

function buildName1 (firstName?:string,lastName:string) {
    if (firstName) {
      return firstName + ' ' + lastName
    } else {
      return lastName
    }
    let lilyCat = buildName1('lily','cat')
    let cat = buildName1(undefined,'cat')
// ERROR in 
// TS1016: A required parameter cannot follow an optional parameter.

参数默认值

在ES6中，允许给函数的参数添加默认值，typeScript会将添加默认值的参数识别为可选参数

function  buildName2(firstName:string,lastName:string = 'Cat') {
    return firstName + ' ' + lastName
  }
  const makaCat = buildName2('maka')
  const makaCat1 = buildName2('maka','cat1')
  console.log(makaCat,makaCat1)

此时就不受可选参数必须在必须参数的后面的限制了

  function buildName3(firstName:string='Tom',lastName:string) {
    return firstName + ' ' + lastName
  }
  console.log(buildName3(undefined,'ksd'))

剩余参数

ES6中，可以使用...rest的方式来获取函数中的剩余参数（rest参数）

function push (array,...items) {
    items.forEach(function (item) {
      array.push(item)
    })
    return array
  }
  let a:any[] = []
  console.log(push(a,1,2,3))

事实上，items是一个数组，我们可以用数组的类型来定义它

 function push2(array:any[],...items:any[]) {
    items.forEach((function (item) {
      array.push(item)
    }))
    return array
  }
  console.log(push2([],3,4,5))

注意，rest参数只能是最后一个参数

重载

重载允许一个函数接受不同数量或类型的参数时，做不同的处理

比如，我们需要一个reverse函数，当输入数字的123，输出反转数字321，当输出字符串'hello'时候，输出反转的字符串 'olleh'。

 function reverse(x:number | string):number|string|void {
    if (typeof x === 'number') {
      return Number(x.toString().split('').reverse().join(''))
    } else if (typeof x === 'string') {
      return x.split('').reverse().join('')
    }
  }
  console.log(reverse(123),reverse('hello'))// '321' 'olleh'

然后，这样有一个缺点就是不能精确的表达，输入数字的时候，输出也为数字，输入为字符串的时候，输出也为字符串

这时，我们可以用重载定义多个reverse的函数类型

 function reverse1(x:number):number;
  function reverse1(x:string):string;
  function reverse1(x:number|string):number|string |void{
    if (typeof x === 'number') {
      return Number(x.toString().split('').reverse().join(''))
    } else if (typeof x === 'string') {
      return x.split('').reverse().join('')
    }
  }
  console.log(reverse1(123),reverse1('world'))

上例中，我们重复定义了多次函数reverse1，前几次都是函数定义，最后一次是函数实现。在编辑器的代码提示中，可以正确的看到前两个提示。

注意，TypeScript 会优先从最前面的函数定义开始匹配，所以多个函数定义如果有包含关系，需要优先把精确的定义写在前面。