如何检测第三方函数返回的隐式any类型并触发告警？

问题背景 #

启用了TypeScript的--noImplicitAny编译选项，同时配置了ESLint的@typescript-eslint/no-explicit-any规则，但在使用类似Object.values这类第三方函数时，代码自动匹配到返回any[]的重载，导致变量类型变为any却没有收到任何警告或错误，直到出现问题才发现类型不安全——关键是代码里并没有显式写出any字样，常规规则无法覆盖这种场景。

比如这段代码：

interface T1 {
  name: string
  color: string
}

interface T3 {
  name: string
  height: number
}

interface Data {
  k1: {[key: string]: T1}
  k3: {[key: string]: T3}
}

function f(data: Data) {
  for (const key of ['k1', 'k3'] as const) {
    // Object.values自动匹配返回any[]的重载，v的类型为any
    for (const v of Object.values(data[key])) {
      console.log(v.name)
    }
  }
}

检测方案 #

1. 启用ESLint的安全规则 #

针对隐式any的场景，需要启用@typescript-eslint的以下规则：

• @typescript-eslint/no-unsafe-assignment：检测将any类型的值赋值给变量的操作，比如上面代码中v的赋值会触发警告。
• @typescript-eslint/no-unsafe-member-access：检测访问any类型对象的属性/方法，比如v.name这种操作会触发警告。

在ESLint配置文件中添加：

{
  "rules": {
    "@typescript-eslint/no-unsafe-assignment": "warn",
    "@typescript-eslint/no-unsafe-member-access": "warn"
  }
}

这两个规则会覆盖所有隐式any的使用场景，不管any来自第三方函数还是类型推断漏洞。

2. 强化TypeScript编译严格性 #

除了--noImplicitAny，建议启用TypeScript的strict模式（tsconfig.json中设置"strict": true），它包含了一系列严格检查选项，比如：

• strictFunctionTypes：强化函数类型的兼容性检查，减少因类型推断模糊导致的隐式any。
• strictNullChecks：避免null/undefined被隐式推断为any的一部分。

严格模式能让TypeScript的类型推断更严谨，减少触发第三方函数any重载的概率。

3. 针对性禁用不安全重载（可选） #

如果某些第三方函数的any重载是高频坑点，可以通过类型声明文件重载或覆盖原有类型，比如针对Object.values，可以自定义更严格的类型：

declare global {
  interface ObjectConstructor {
    values<T>(o: { [s: string]: T } | ArrayLike<T>): T[];
    // 移除返回any的重载
  }
}

这样当TypeScript无法匹配到泛型重载时，会直接抛出编译错误，而不是退化为any。

补充说明 #

@typescript-eslint/no-explicit-any规则仅检测代码中显式书写的any，无法覆盖隐式产生的any，所以必须配合上述安全规则和严格编译选项，才能全面检测类型不安全的场景。

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