如何让JavaScript内置函数拥有更严格的TypeScript类型检查？

1. 收紧内置函数的类型签名 #

TypeScript默认的内置类型为兼容ES规范做了宽松处理，你可以通过自定义类型声明文件覆盖默认签名，实现严格类型检查：

创建一个如strict-builtins.d.ts的声明文件，在其中重写目标内置函数的类型：

interface NumberConstructor {
  // 仅允许传入number类型，替代默认的any
  isFinite(value: number): boolean;
}

interface StringConstructor {
  // 同理收紧其他函数，比如parseInt
  parseInt(string: string, radix?: number): number;
}

将该文件加入tsconfig.json的include数组，确保TypeScript加载这个自定义声明：

{
  "include": ["./src/**/*", "./strict-builtins.d.ts"]
}

这样在调用Number.isFinite时，TypeScript会强制要求传入number类型，不符合的调用会直接触发类型错误。

2. 通过ESLint禁用指定内置函数 #

利用ESLint的no-restricted-globals规则，可以直接禁止项目中使用特定内置函数：

在ESLint配置文件（如.eslintrc.js）中添加规则：

module.exports = {
  rules: {
    "no-restricted-globals": [
      "error",
      // 列出需要禁用的内置函数/对象
      "Number.isFinite",
      "parseInt",
      "JSON.parse"
    ]
  }
};

如果需要禁用整个内置对象（如Number下的所有方法），可以编写自定义ESLint规则，通过AST检测对内置对象方法的调用并抛出错误。

替代方案与补充建议 #

• 封装严格类型的工具函数：
  自己实现一套类型严格的工具函数，替代内置函数，统一在项目中使用：

  // utils/type-checks.ts
  export const isFinite = (value: number): boolean => Number.isFinite(value);
  export const parseIntStrict = (str: string, radix = 10): number => parseInt(str, radix);
  

  这样所有调用都会经过严格的类型检查，也便于统一维护和修改逻辑。

• 启用TypeScript严格模式：
  在tsconfig.json中开启strict: true，配合noImplicitAny、strictNullChecks等子规则，从整体上减少类型漏洞，与自定义类型声明配合能最大化类型安全性。

• 使用类型守卫前置校验：
  在调用内置函数前，通过类型守卫确保输入类型合法：

  function handleInput(input: unknown) {
    if (typeof input === 'number') {
      // 此时input已被推断为number类型，调用Number.isFinite不会有类型风险
      if (Number.isFinite(input)) {
        // 处理逻辑
      }
    }
  }
  

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