在接口中使用胖箭头和非胖箭头语法声明函数有什么区别？

Question

在 TypeScript 的接口和类型中使用粗箭头和非粗箭头语法声明函数之间有什么区别？

例如：

build(paramOne: string): string;

相比：

build: (paramOne: string) => string;

起初，我认为这会限制我实现功能的方式，但似乎并非如此。所以，我不认为它与thisES6 中的类似。但我确实注意到，当我尝试重载时，用粗箭头语法声明的那个有问题。

例如，这是不可接受的：

build: (paramOne: string) => void
build: (paramOne: number, paramTwo: string) => void

这将给出一个错误：

Subsequent property declarations must have the same type. Property 'build' must be of type '{ (paramOne: string): string; (paramOne: number, paramTwo: string): number; }', but here has type '(params: unknown) => void

但这没关系：

build(paramOne: string): string;
build(paramOne: number, paramTwo: string): number;

那么，这两种语法是否相同？是否有任何差异或场景我应该使用另一种？

Answer 1

主要区别在于，带有箭头语法的一个是函数类型表达式，而另一个是调用签名。明显的区别是手册中的语法：

请注意，与函数类型表达式相比，语法略有不同 - 在参数列表和返回类型之间使用 : 而不是 =>。

您是正确的，此语法不会使this函数的 具有词法作用域。您可以指定this您期望函数在调用时具有的任何类型：

thisChanged: (this: { test: number }, param1: number, param2: boolean) => string;

但正如您也正确猜测的那样，应用程序中存在细微的差异。请注意术语“表达式”而不是“签名”。除非定义为表达式的交集，否则前者“计算”为一个调用签名，而后者可以多次定义以创建函数重载：

//multiple call signatures used for function overloading:
function build(param1: string) : string;
function build(param1: number) : string;
function build(param1: string | number) {
    return param1.toString();
}

//intersection of expressions 
type build2 = ((param1:string) => string) & ((param1:number) => string);

declare const b: build2;
b(2) //OK
b("test") //OK
b(false) //No overload matches this call.

应用于在对象类型中使用它们的用例时，可以在同一键下多次指定调用签名，因为这会导致多个函数重载。另一方面，[key]: <function expression>语法定义具有函数表达式类型值的属性（因此无法多次指定该属性，因为键必须是唯一的）。

另请注意，推断类型对应于函数的定义方式（作为函数声明或表达式）：

//call signature: function build3(param1: string | number): string
function build3(param1: string|number) : string {
    return param1.toString();
}

//function expression: const build4: (param1: string | number) => string
const build4 = (param1: string|number) : string => param1.toString();

操场