启用--noImplicitAny时如何正确编写TypeScript函数重载？

嗨，这个问题我之前也踩过坑！其实核心原因很简单：当你开启--noImplicitAny严格模式后，TypeScript会强制要求所有函数参数都要有明确的类型声明——哪怕是重载的实现函数也不能例外。官方文档里的示例可能是为了简化教学省略了类型，但实际工程中启用严格模式时必须补上。

为什么会报错？ #

重载的签名是对外暴露的“接口”，而实现函数的参数类型必须能兼容所有重载的输入场景。如果不给实现函数的参数指定类型，TypeScript就会默认推断为隐式any，这正好触发了--noImplicitAny的报错规则。

修正你的示例代码 #

1. 你的plus函数修正版

给实现函数的参数指定联合类型，覆盖所有重载的输入可能：

function plus(a: string, b: string): string;
function plus(a: number, b: number): number;
// 显式指定参数为联合类型，兼容两种重载场景
function plus(a: string | number, b: string | number): any { 
  return a + b; 
}

如果你觉得联合类型写起来麻烦，也可以显式声明为any（不推荐，会丢失类型检查，但能快速解决报错）：

function plus(a: string, b: string): string;
function plus(a: number, b: number): number;
// 显式声明参数为any，避免隐式any报错
function plus(a: any, b: any): any { 
  return a + b; 
}

2. 文档中pickCard函数的修正版

同样给实现函数的x参数指定兼容所有重载的联合类型：

const suits = ["hearts", "spades", "clubs", "diamonds"]; // 补充定义suits数组
function pickCard(x: { suit: string; card: number }[]): number;
function pickCard(x: number): { suit: string; card: number };
// 显式指定x的类型为两种重载输入的联合
function pickCard(x: { suit: string; card: number }[] | number): any {
  if (typeof x === 'object'){
    const pickedCard = Math.floor(Math.random() * x.length);
    return pickedCard;
  } else if (typeof x === 'number'){
    const pickedSuit = Math.floor(x / 13);
    return { suit: suits[pickedSuit], card: x % 13 };
  }
}

最佳实践 #

• 优先使用联合类型：既能满足--noImplicitAny的要求，又能保留一定的类型检查，确保实现函数能正确处理所有重载的输入。
• 尽量避免显式any：除非你的实现逻辑非常复杂，无法用联合类型覆盖，否则显式any会让TypeScript失去类型校验的意义。

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