TypeScript如何在编译期捕获函数类型不匹配的潜在运行时错误？

问题场景 #

你遇到的问题是：TypeScript允许某些函数赋值操作通过编译，但实际运行时会报错。示例代码如下：

function foo(callback: (bool: boolean) => string) {
    callback(true);
}

type Interface1 = {
    func1: () => string;
};

const testFunction = (str: string = '') => str.toLowerCase();

const variable: Interface1 = { func1: testFunction };

// 无TypeScript错误，但运行时会报错（布尔值没有toLowerCase方法）
foo(variable.func1);

而直接调用foo(testFunction)时，TypeScript会正确抛出错误——这是因为testFunction的参数类型（可选string）与foo要求的boolean不兼容。但经过Interface1中转后，TypeScript无法检测到参数类型不匹配的问题。

问题根源 #

TypeScript默认的函数参数兼容性规则允许将参数更少或带可选参数的函数赋值给需要更多参数的函数类型——这是因为JavaScript中调用函数时，多余的参数会被直接忽略。但在你的场景中，testFunction虽然定义了可选参数，实际调用时会接收foo传入的boolean值，覆盖默认的空字符串，导致后续调用toLowerCase()时触发运行时错误。

当testFunction被赋值给Interface1的func1后，variable.func1的类型被窄化为() => string，此时TypeScript默认认为() => string可以安全赋值给(bool: boolean) => string，从而跳过了类型检查。

解决方案 #

方案1：启用--strictFunctionTypes编译选项 #

启用该选项后，TypeScript会启用逆变的函数参数兼容性检查，禁止将参数更少的函数赋值给需要更多参数的函数类型。此时foo(variable.func1)会直接触发编译错误，从根源阻止问题发生。

在tsconfig.json中添加配置：

{
  "compilerOptions": {
    "strictFunctionTypes": true
  }
}

方案2：显式约束函数参数完全匹配 #

如果无法启用严格模式，可以定义工具类型强制函数参数列表与类型完全匹配，从赋值阶段就拦截不兼容的函数：

// 工具类型：约束函数必须严格匹配指定的参数和返回值类型
type ExactFunc<Args extends any[], Ret> = (...args: Args) => Ret;

// 修改foo的参数类型为严格匹配[boolean]参数的函数
function foo(callback: ExactFunc<[boolean], string>) {
    callback(true);
}

// 修改Interface1，约束func1必须是无参数的函数
type Interface1 = {
    func1: ExactFunc<[], string>;
};

const testFunction = (str: string = '') => str.toLowerCase();

// 此时赋值会直接报错：testFunction的参数是可选string，不符合无参数要求
const variable: Interface1 = { func1: testFunction };

方案3：用never限制参数数量 #

如果希望Interface1的func1只能接受完全无参数的函数，可以将参数类型定义为never[]，直接阻止带可选参数的函数被赋值：

type Interface1 = {
    func1: (...args: never[]) => string;
};

const testFunction = (str: string = '') => str.toLowerCase();

// 赋值时触发TS错误：testFunction接受可选参数，不符合要求
const variable: Interface1 = { func1: testFunction };

内容的提问来源于stack exchange，提问作者Prithiv Krishna