函数的类型
函数声明
在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 会优先从最前面的函数定义开始匹配,所以多个函数定义如果有包含关系,需要优先把精确的定义写在前面。