在 TypeScript 中，函数形状可以用多种方式进行定义。下面介绍了几种常用的函数形状定义方式：

1. 函数声明：

• function add(a: number, b: number): number {return a + b;
  }
  

  在函数声明中，我们直接使用 function 关键字来声明函数，并指定参数的类型和返回值的类型。

• 函数表达式：

• const subtract = function(a: number, b: number): number {return a - b;
  };
  

  使用函数表达式的方式，我们将一个匿名函数赋值给一个变量。在这种情况下，可以通过变量的类型推断来推导参数和返回值的类型，当然也可以显式地指定类型。

• 箭头函数：

• const multiply = (a: number, b: number): number => a * b;
  

  箭头函数是一种更简洁的函数表达式形式，通过箭头 => 分隔参数和函数体，并且可以省略 function 关键字和 return 关键字（当函数体只有一条返回语句时）。

• 函数类型别名：

1. type Calculator = (a: number, b: number) => number;const divide: Calculator = (a, b) => a / b;
   

   我们可以使用类型别名来定义一个函数类型，将参数类型和返回值类型组合在一起。然后可以使用类型别名来声明具体的函数。

总结起来，函数形状可以通过函数声明、函数表达式、箭头函数和函数类型别名等方式进行定义。每种方式都有其自身的特点和适用场景，选择合适的方式取决于具体的需求和编码风格。

infer 是 TypeScript 中的一个关键字，它用于从类型中推断（infer）出其他类型。

在条件类型（Conditional Types）中，我们可以使用 infer 来引入一个类型参数，并根据条件对该类型参数进行推断。具体来说，infer 用于提取并推断出某个表达式中的类型，并将其作为新的类型参数使用。

下面是一个示例，展示了 infer 的使用：

type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;function add(a: number, b: number): number {return a + b;
}type AddReturnType = ReturnType<typeof add>; // 推断出 add 函数的返回值类型console.log(typeof add); // function
console.log(typeof AddReturnType); // number

在上述示例中，我们定义了一个 ReturnType<T> 类型，它接受一个泛型参数 T，表示函数类型。通过使用条件类型和 infer R，我们在条件中判断 T 是否满足函数类型的要求。如果满足条件，那么 R 将被推断为函数的返回值类型。最终，ReturnType<T> 类型将被定义为函数的返回值类型。

通过调用 typeof 运算符，我们可以看到 add 的类型为 function，而 AddReturnType 的类型为 number，这是因为 ReturnType<typeof add> 推断出了 add 函数的返回值类型。

总结起来，infer 关键字在 TypeScript 中用于从类型中推断出其他类型，主要用于条件类型中。它允许我们在条件类型中提取和使用表达式中的类型，并将其作为新的类型参数