如何配置TypeScript编译器，在无法推断类型时默认使用unknown而非any？

TypeScript原生没有直接的编译器选项，能让所有原本会推断为any的场景自动使用unknown。但可以通过编译器选项 + ESLint规则的组合实现这个需求，具体步骤如下：

1. 基础编译器配置 #

首先在tsconfig.json中启用以下选项：

• noImplicitAny: 禁止TypeScript在无法推断类型时默认使用any，而是抛出编译错误，确保所有潜在的隐式类型场景都被标记出来。比如下面的代码会触发错误：

  function fn(s) {
  //          ~  Parameter 's' implicitly has an 'any' type.
    console.log(s.subtr(3));
  }
  

• useUnknownInCatchVariables: 单独处理catch子句的异常参数，直接将其类型设为unknown，无需额外注解：

  try {
    // ...
  } catch (err) {
    // err的类型为unknown，必须先类型收窄才能使用
    if (err instanceof Error) {
      console.log(err.message);
    }
  }
  

示例tsconfig.json片段：

{
  "compilerOptions": {
    "noImplicitAny": true,
    "useUnknownInCatchVariables": true,
    // 建议启用严格模式以获得更全面的类型检查
    "strict": true
  }
}

2. 用ESLint自动补全unknown类型 #

通过ESLint的TypeScript插件规则，将所有被noImplicitAny标记的隐式any场景自动替换为unknown类型注解：

安装依赖 #

确保已安装ESLint的TypeScript相关插件：

npm install --save-dev @typescript-eslint/eslint-plugin @typescript-eslint/parser

配置ESLint规则 #

在.eslintrc.js中添加以下规则：

module.exports = {
  parser: '@typescript-eslint/parser',
  plugins: ['@typescript-eslint'],
  rules: {
    // 强制将隐式any的场景自动修复为unknown类型
    '@typescript-eslint/no-implicit-any': ['error', {
      fixToUnknown: true
    }],
    // 可选：强制函数返回值添加类型注解（按需启用）
    '@typescript-eslint/explicit-function-return-type': ['warn', {
      allowExpressions: true
    }]
  }
};

规则效果

运行eslint --fix命令后，之前的示例代码会被自动修复为：

function fn(s: unknown) {
  console.log(s.subtr(3)); // 此时会报错：unknown类型无法直接调用方法，需先类型收窄
}

这样既避免了隐式any的风险，又通过unknown的严格性强制开发者进行类型检查。

3. 覆盖边缘场景 #

对于未标注类型的对象属性、类成员等场景，可以配合@typescript-eslint/typedef规则进一步约束：

rules: {
  '@typescript-eslint/typedef': ['error', {
    "variableDeclaration": true,
    "memberVariableDeclaration": true
  }]
}

该规则会强制要求变量、类成员必须添加类型注解，你可以手动指定为unknown或更具体的类型。

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