箭头函数与 TypeScript 接口中的函数不同的编译时行为

Question

假设以下简化的 TypeScript sn-p：

interface MyInterface {
    callbackLambda: (value: string) => void;
    callbackFunction(value: string): void;
}

type MyType = "MyValue";

const myObject: MyInterface = {
    callbackLambda: (value: MyType): void => {
        console.log(value);
    },
    callbackFunction: (value: MyType): void => {
        console.log(value);
    }
};

myObject.callbackLambda("MyValue");
myObject.callbackFunction("MyValue");

此代码无法编译，因为 TypeScript 说：

Type '(value: MyType) => void' is not assignable to type '(value: string) => void'.
  Types of parameters 'value' and 'value' are incompatible.
    Type 'string' is not assignable to type '"MyValue"'.

所以，看起来函数定义编译得很好，但箭头函数定义却没有。

这是repro playground。

我在文档中找不到信息，我最初的想法是它应该可以正常编译。谁能解释（并找到相关文档）为什么在这种情况下函数定义编译得很好而不是箭头函数？

Answer 1

您是否使用strictFunctionTypes 标志？ (doc)

在--strictFunctionTypes 函数类型下，参数位置以逆变方式而不是双变量方式进行检查。 [...] 更严格的检查适用于所有函数类型，但源自方法或构造函数声明的函数类型除外。专门排除方法是为了确保泛型类和接口（例如Array<T>）继续大部分协变相关。

如果是这样，我认为原因是A => C 确实不是B => C 的子类型，因为A 是B 的子类型（协方差）。 实际上，A => C 是 B => C 的超类型，如果 A 是 B 的子类型（逆变）。

如果这听起来很奇怪，假设您有一个 Animal => void 类型的常量 washAnimal。你不能给它分配一个函数Dog => void，即使是Dog ≤ Animal，因为你不能通过Cat来调用washAnimal。

Here 和 here 你可以找到比我更好的协变/逆变解释。