函数类型的定义

• 一般函数需要定义它的参数类型和返回值类型
• 作为回调函数(函数类型表达式)

function fn(cb: (msg: string) =>void) {}

• 可以作为对象调用的函数（调用签名）

type DescribeFunction = {msg: string(n: number): void
}

• 作为构造函数（构造签名）

type someConstructor {new (n: number): string
}

泛型函数

• 泛型参数的限制条件

// 这个泛型的类型要有length属性，而不是让泛型类继承这个length属性
function fn<T extend {length: number}>() {}

• 调用时，可制定类型参数

fn<string>('abc')

• 编写泛型函数的准则

1、如果参数和返回值之间没有什么关系，不要使用泛型函数
2、泛型参数要尽量少
3、尽量少的使用泛型参数的约束

可选参数

• 使用?:（msg?: string）
• 回调函数中永远不要使用可选参数

函数重载

function makeDate(timestamp: number): Date;// 重载签名
function makeDate(m: number, d: number, y: number): Date;//重载签名
function makeDate(mOrTimestamp: mumber, d?: number, y?: number): Date {...}//实现签名

• 实现签名中参数和返回值要兼容重载签名中的
• 调用函数时，只能参照重载签名中需要的参数，实现签名的参数只是为了兼容而写的
• 编写重载函数的准则（倾向于使用联合类型的参数，而不是重载参数）