您现在的位置是:首页 >其他 >TypeScript函数网站首页其他
TypeScript函数
1.函数声明
TypeScript的函数声明形式比JavaScript要复杂一些
1.1 JavaScript函数声明
-
函数声明语句声明函数:
function test() {}
-
赋值语句声明函数:
const test = function(){}
-
声明箭头函数:
const test = () => {}
1.2 TypeScript函数声明
-
函数声明语句声明函数
-
赋值语句声明函数
-
声明箭头函数
-
接口或类型别名声明函数:
interface Test { (arg: string): void } // type Test = (arg: string): void // 使用类型别名描述 const test: Test = (arg) => {}
-
函数签名声明函数:
函数签名可以指定更多内容,除了指定函数体外,还可以指定函数属性
// 声明函数签名 type Func = { description: string; (arg: string): void; } // 实现指定函数 function func(name: string): void { console.log(name) } func.description = 'this is a function' // 实现函数签名 const fc: Func = func fc("Danny")
2.函数签名
函数签名用来描述函数详细信息,普通形式声明函数不能定义函数属性,使用函数签名可以实现。
2.1 调用签名
调用签名是普通的函数签名,借助类型别名或接口来实现。
2.1.1 包含属性的函数签名
// 声明函数签名
type Func = {
description: string;
(arg: string): void;
}
// 实现指定函数
function func(name: string): void {
console.log(name)
}
func.description = 'this is a function'
// 实现函数签名
const fc: Func = func
// 也可以使用接口
interfacre Func {
description: string,
(arg: string): void
}
2.1.2 简单的函数签名
// 类型别名
type Func = (name: string, age: number) => void
const func: Func = (n: string, a: number) => {}
// 类型别名简写
const func: (name: string, age: number) => void = (n: string, a: number) => {}
// 接口
interface Func {
(name: string, age: number): void
}
const func: Func = (n: string, a: number) => {}
// 接口简写
const func: { (name: string, age: number): void } = (n: string, a: number) => {}
2.2 构造签名
构造签名用于描述类的构造函数, 但构造函数不能通过构造签名声明,也不能实现构造签名。
构造签名的应用场景主要就是“工厂函数”,函数接收一个类,返回该类实例化的对象。
// 通过接口来描述构造签名
interface Constructor {
new (name: string, age: number): { name: string, age: number }
}
// 构造签名描述的构造函数所在的类
class Person {
constructor(public name: string, public age: number) {}
}
// 工厂函数
function factory(constructor: Constructor, name: string, age: number): Person {
return new constructor(name, age)
}
// 构造函数通过类名调用,所以将Person类传递过去
console.log(factory(Person, 'Danny', 21))
↓↓或者也可以指定类实现这个构造签名,但是没有什么实际意义
interface Constructor {
new (name: string, age: number): { name: string, age: number };
}
// 通过类型注释来说明类实现了构造签名
const Person: Constructor = class {
constructor(public name: string, public age: number) {}
}
2.3 重载签名
重载签名用于函数重载。不像是调用签名和构造签名都是由箭头函数或其语法糖来实现,重载签名只能由普通函数实现
function func(name: string, age: number): { name: string, age: number } // 没有函数体的普通函数就是重载签名
3.函数可选参数
3.1 回调函数的可选参数
-
回调函数:
在JavaScript和TypeScript中,回调函数的特征可以简要描述为:函数作为另一个函数的参数。
-
不完全的静态类型检查:
TypeScript并不是完全做静态类型检查,在对于回调函数类型的检查中,静态类型检查这一标准变得宽泛。回调函数的实参个数可以小于形参可数。
-
在C++中对于形参实参个数的检查是严格的:
#include <iostream> using namespace std; void sayHello() { cout << "Hello, world!" << std::endl; } void callFunction(void (*functionPtr)(int a, int b)) { functionPtr(1, 2); } int main() { callFunction(&sayHello); // 报错,sayHello函数形参个数为0,callFunction中的形参函数要求2个参数 return 0; }
-
在TypeScript中,回调函数的实参个数可以小于形参个数:
因为在调用回调函数时,相当于传了多余的参数,这些参数会被忽略,一定不会产生错误。如果实参个数多于形参个数,例如下面第三个例子,那么在调用回调函数时,一定会少传参数,一定会报错。
const func = (arg: (name: string, age: number) => void): void => {} func(() => {}) // 合法的 func((name: number) => {}) // 非法的 func((name: string, age: number, gender: string) => {}) // 非法的
-
-
回调函数的形参不需要写可选参数:
上文提到了回调函数的实参可以小于等于其实参,这样的话没有必要在回调函数中写可选参数。
// 简易实现数组的过滤函数的部分功能 const filter = <T>(ar: Array<T>, func: (el: T, idx: number, ar: Array<T>) => boolean): Array<T> => ar.filter(func) const ar = [1, 2, 3, 4] console.log(filter(ar, el => !!(el % 2)))
下面的func中的el,idx,ar不需要再类型注释前添加问号。
const filter = <T>(ar: Array<T>, func: (el?: T, idx?: number, ar?: Array<T>) => boolean): Array<T> => ar.filter(func) // 没有必要的操作
4.函数剩余参数
4.1 剩余形参
剩余形参比较简单,注意类型注释一定是数组,因为在函数中使用剩余变量的时候是数组类型。
// 求和函数
function add(arg1: number, arg2: number, ...args: number[]): number { // 剩余形参类型注释为数组
return arg1 + arg2 + args.reduce((arg1, arg2) => arg1 + arg2, 0)
}
console.log(add(1, 2, 3, 4, 5, 6))
当不对剩余形参注释时,默认是any类型的数组。
// es5对于call的声明
call(this: Function, thisArg: any, ...argArray: any[]): any // 剩余形参为any类型数组
4.2 剩余实参
TypeScript类型推断会默认将数组推测为长度未知的数组,这样展开后传给函数的实参的个数是未知的,会导致报错。
function add(a: number, b: number) {
return a + b
}
const ar = [1, 2]
console.log(add(...ar)) // 报错,实参个数和形参个数不匹配
剩余实参要注意转化为不可变类型。
function add(a: number, b: number) {
return a + b
}
const ar = [1, 2] as const
console.log(add(...ar))
-
类比:
另一个类似的情景是在函数中使用泛型约束值,也需要强制类型转化。
// 修改对象length为尽可能小的值 function setMinLength<T extends { length: number }>(obj: T, minLength: number): T { if(obj.length < minLength) return obj return { length: minLength } as T // 需要强制类型转化为T类型。因为单纯包含length的对象不是T类型,T类型可能含有更多属性 }
-
回顾:
在枚举中使用常量枚举不会产生中间结果(反向映射)以提高效率。
const enum Fruit { Apple, Orange, Melon } console.log(Fruit) // 非法的,常量枚举不会产生中间结果Fruit console.log(Fruit.Apple) // 合法,只能访问枚举值或其关联值
5.函数参数解构
函数参数解构非常简单,只要在解构大括号之后进行类型注释即可。
不管解构多花里胡哨,有几层嵌套,是否有重命名,我们只需要关注解构在何处结束,然后在后面添加类型注释即可。
// 累加各科成绩
function add({math: a, biology: b, science: c}: { math: number, biology: number, science: number }): number {
return a + b + c
}
console.log(add({
math: 135,
biology: 74,
science: 67
}))
// 推荐将类型注释提取成类型别名或接口
interface StuGrade {
math: number,
biology: number,
science: number
}
-
类比:
使用解构提取值时我们不需要进行类型注释,此时类型是可以推断的
const stuGrade = { math: 135, biology: 74, science: 67 } const { math: a, biology: b, science: c } = stuGrade
6.函数参数this类型注释
TypeScript中函数除了可以对参数类型,返回值类型进行注释,还可以对this指向进行注释。
-
对this进行类型注释:
函数对this进行类型注释时,this作为第一个参数。
interface Stu { name: string, age: number } interface Person { gender: string, location: string, setStuInfo(this: Stu, name: string, age: number): void // 指定了setStuInfo函数中this必须是Stu类型 } const person: Person = { gender: 'male', location: 'China', setStuInfo(name: string, age: number) { console.log(this) } } person.setStuInfo('Danny', 21) // 报错,函数作为对象方法调用,this指向person对象,不是Stu
-
call和apply和bind无视this类型注释:
person.setStuInfo.call({}, 'Danny', 21) // 使用call调用上述函数,this强制切换为{},不会报错
7.函数返回值与void
-
类型注释声明的返回值为void类型的函数将不限制返回值:
const func: { (): void } = () => true // 合法,不会报错 console.log(func()) // 输出true
-
普通声明的返回值为void类型的函数限制返回值:
const func: () => void = () => true // 报错,返回值不应该为布尔类型
8.函数重载
函数重载就是同一个名称的函数可以实现不同的功能,它的参数和返回值都可以不同。
8.1 C++函数重载
直接声明多个同名函数,只是函数返回值和函数参数可以不同。
#include <bits/stdc++.h>
using namespace std;
int test(int a, int b) {
return a + b;
}
int test(int a, int b, int c) {
return a + b + c;
}
int main() {
cout << test(1, 2) << " " << test(1, 2, 3);
return 0;
}
8.2 TypeScript函数重载
直接声明多个同名函数是非法的。需要先声明多个函数的重载签名,再声明函数来实现所有的函数。
// 声明重载函数签名
function func(name: string, age: number): { name: string, age: number }
// 声明重载函数签名
function func(a: number, b: number): number
// 声明函数,实现所有重载函数签名
function func(arg1: string | number, arg2: number) {
if(typeof arg1 === 'string')
return {
name: arg1,
age: arg2
}
return arg1 + arg2
}