推荐答案
--strictFunctionTypes 是 TypeScript 中的一个编译选项，它用于在函数类型检查时启用更严格的类型检查规则。具体来说，它会对函数参数进行逆变（contravariant）检查，而不是默认的双变（bivariant）检查。这意味着在启用该选项后，函数参数的类型必须完全匹配或更严格，才能被认为是兼容的。
本题详细解读
1. 默认行为（双变检查）
在 TypeScript 中，默认情况下，函数参数的类型检查是双变的。这意味着，如果一个函数的参数类型是父类型，那么它可以接受子类型的参数，反之亦然。这种宽松的类型检查在某些情况下可能会导致类型安全问题。
type Handler = (arg: string) => void;
const handler: Handler = (arg: string | number) => {
console.log(arg);
};在上面的例子中，handler 函数的参数类型是 string | number，而 Handler 类型的参数类型是 string。默认情况下，TypeScript 允许这种赋值，因为双变检查认为它们是兼容的。
2. 启用 --strictFunctionTypes（逆变检查）
当启用 --strictFunctionTypes 选项后，TypeScript 会对函数参数进行逆变检查。这意味着函数参数的类型必须完全匹配或更严格，才能被认为是兼容的。
type Handler = (arg: string) => void;
const handler: Handler = (arg: string | number) => {
console.log(arg);
};在这个例子中，启用 --strictFunctionTypes 后，TypeScript 会报错，因为 handler 函数的参数类型 string | number 不满足 Handler 类型的参数类型 string 的要求。
3. 逆变检查的意义
逆变检查确保了函数参数的类型安全性。它防止了在函数调用时传入不兼容的参数类型，从而减少了运行时错误的可能性。这对于大型项目或需要高度类型安全的项目尤为重要。
4. 启用方式
--strictFunctionTypes 可以通过在 tsconfig.json 文件中设置 compilerOptions 来启用：
{
"compilerOptions": {
"strictFunctionTypes": true
}
}或者，如果你已经启用了 --strict 选项，--strictFunctionTypes 也会自动启用，因为它是 --strict 选项的一部分。
5. 注意事项
需要注意的是，--strictFunctionTypes 只影响函数类型的参数类型检查，不会影响返回值类型的检查。此外，它也不会影响类方法的参数类型检查，因为类方法的参数类型检查默认是双变的。