目录

1、介绍 

2、函数类型表达式

3、呼叫签名

4、构造签名

5、泛型函数

6、推论

7、约束

8、使用约束值

9、指定类型参数

---

1、介绍 

函数是JavaScript应用程序的基础。 它帮助你实现抽象层，模拟类，信息隐藏和模块。 在TypeScript里，虽然已经支持类，命名空间和模块，但函数仍然是主要的定义 行为的地方。函数是任何应用程序的基本构建块，无论它们是本地函数、从其他模块导入的函数，还是类上的方法。 它们也是值，就像其他值一样，TypeScript 有很多方法来描述如何调用函数。 让我们学习如何编写描述函数的类型。

2、函数类型表达式

描述函数的最简单方法是使用函数类型表达式。 这些类型在语法上类似于箭头函数：

function Animal(fn: (age: number)=>void){
    return fn(20);
}

function Cat(age: number) {
    console.log('age: ', age);
}

// age:  20
Animal(Cat) 

语法(age: number) => void 表示“具有一个参数的函数，参数为数字类型，没有返回值”。 就像函数声明一样，如果未指定参数类型，则是隐式的 any 类型。

fn: (age: number)=>void 形成一个函数表达式，参数是必须的，需声明对应的类型，否则具有隐藏式的类型 any。

我们可以把函数类型表达式赋值给类型别名，如下所示：

type expFunc = (age: number) => void;

function Animal(fn: expFunc) {
    return fn(20);
}

function Cat(age: number) {
    console.log('age: ', age);
}

// age:  20
Animal(Cat) 

3、呼叫签名

在 JavaScript 中，函数除了可调用之外，还可以具有属性。 但是，函数类型表达式语法不允许声明属性。 如果我们想描述一些可以用属性调用的东西，我们可以在对象类型中写一个调用签名：

type DescInfo = {
    desc: string;
    (args: number): number
};

function Animal(fn: DescInfo) {
    // 我是tom🐱今年2岁
    console.log(fn.desc + '今年' +fn(2) + '岁');
}

function Cat(age: number) {
    return age;
}
Cat.desc = "我是tom🐱";

Animal(Cat)

请注意，与函数类型表达式相比，语法略有不同 - 在参数列表和返回类型之间使用，而不是上面缩写的（fn: (age: number)=>void）这样。

4、构造签名

JavaScript 函数也可以与运算符一起调用。 TypeScript 将这些称为构造函数，因为它们通常会创建一个新对象。 您可以通过在呼叫签名前面添加关键字来编写构造签名：new

type DescInfo = {
   new (args: number): Cat
};

function Animal(fn: DescInfo) {
    return new fn(20);
}

class Cat {
    age: number;
    constructor(age: number){
        this.age = age;
    }
}

console.log(new Cat(20).age);  // 20

某些对象，如 JavaScript 的对象，可以带或不带 . 您可以任意组合同一类型的调用和构造签名：

interface Animal {
    new(name: string, birthday: Date);
    (n?:number): number; 
}

5、泛型函数

通常编写一个函数，其中输入的类型与输出的类型相关，或者两个输入的类型以某种方式相关。

function Animals(array: any[]) {
    return array[1];
}

如果函数返回数组元素的类型会更好，例如：any 或者其他类型

在 TypeScript 中，当我们想要描述两个值之间的对应关系时，会使用泛型。 我们通过在函数签名中声明一个类型参数来做到这一点：

function Animals<Type>(array: any[]) : Type | undefined {
    return array[1];
}

在函数定义是，指定泛型Type，在返回的时候也指定对应类型 Type | undefined，这样返回的结果就会事先定义的范围，这样也使得结果更可控。

function Animals<Type>(array: any[]) : Type | undefined {
    return array[1];
}
console.log(Animals([1,2])); // 2

6、推论

我们不必在此示例中指定。 类型是由 TypeScript 推断的 - 自动选择的。

我们也可以使用多个类型参数。 例如

function Animals<Input, Output>(arr: Input[], func: (arg: Input) => Output) : Output[] {
    return arr.map(func)
}
Animals([1,2,3], (n)=>console.log(n)); // 1 2 3

7、约束

我们编写了一些可以处理任何类型的值的通用函数。 有时我们想关联两个值，但只能对某个值子集进行操作。 在这种情况下，我们可以使用约束来限制类型参数可以接受的类型类型。

function longest<Type extends { length: number }>(a: Type, b: Type) {
    if (a.length >= b.length) {
      return a;
    } else {
      return b;
    }
  }

  const longerArray = longest([1, 2], [1, 2, 3]);
  const longerString = longest("alice", "bob");
  const notOK = longest(123, 100);

// longest 指定类型必须有长度 ，字符串和数组都有长度，而数组没有length 

在此示例中，有一些有趣的事项需要注意。 我们允许 TypeScript 推断返回类型 。 返回类型推理也适用于泛型函数（longest）。

因为我们被限制为 ，所以我们被允许访问 和 参数的属性。 如果没有类型约束，我们将无法访问这些属性，因为这些值可能是没有 length 属性的其他类型的值。Type{ length: number }.length a b

和的类型是根据参数推断的。 请记住，泛型都是关于将两个或多个值与同一类型相关联！longerArraylongerString

8、使用约束值

function minimumLength<Type extends { length: number }>(
  obj: Type,
  minimum: number
): Type {
  if (obj.length >= minimum) {
    return obj;
  } else {
    return { length: minimum }; // 报错...
  }
}

发现else里面的return，报错了，如下所示： 

不能将类型“{ length: number; }”分配给类型“Type”。
"{ length: number; }" 可赋给 "Type" 类型的约束，但可以使用约束 "{ length: number; }" 的其他子类型实例化 "Type"。

如果返回是Type类型，可以调用函数试一下

const arr = minimumLength([1, 2, 3], 6);
console.log(arr.slice(0)); // [1, 2, 3]

如果把上面返回值改成obj，之后，上面代码是可以执行。

9、指定类型参数

TypeScript 通常可以在泛型调用中推断预期的类型参数，但并非总是如此。 例如，假设您编写了一个函数来组合两个数组：

function arrayConcat<Type>(arr1: Type[], arr2: Type[]): Type[] {
  return arr1.concat(arr2);
}

下面测试一下，传不同类型是否会报错提示：

console.log(arrayConcat([1,2,3], ['name']));  // 不能将类型“string”分配给类型“number”。
console.log(arrayConcat([1,2,3], [true]));    // 不能将类型“boolean”分配给类型“number”。
console.log(arrayConcat([1,2,3], [4, 5, 6]));    
console.log(arrayConcat([1,2,3], [undefined]));
console.log(arrayConcat([1,2,3], [null]));

根据以上测试结果，可以看出前2种会有对应错误提示。

如果能提前知道类型的参数，可以提前指定类型参数。如下所示：

console.log(arrayConcat<number | string>([1,2,3], ['name']));  
console.log(arrayConcat<number | boolean>([1,2,3], [true]));