如何捕获条件判断后变量可能未定义的问题？

你这段是TypeScript代码，普通ESLint的no-undef等规则不处理类型相关的初始化检查，得用TypeScript ESLint的专属规则才能识别这个问题，具体推荐以下规则：

必用核心规则 #

• @typescript-eslint/no-uninitialized：专门检测未初始化的变量被直接使用的场景，能精准捕捉你代码里a仅在条件分支赋值、却在分支外访问a.c的问题。
• @typescript-eslint/no-unsafe-member-access：当a可能为undefined时，访问a.c属于不安全的成员访问，这个规则会触发警告或错误。

辅助强化规则 #

• @typescript-eslint/strict-boolean-expressions：启用后会强制要求变量在使用前确保非空，能从根源上避免这类未初始化变量的访问问题。

配置步骤 #

要使用这些规则，先确保项目已安装@typescript-eslint/eslint-plugin和@typescript-eslint/parser，然后在ESLint配置文件（如.eslintrc.js）中添加配置：

module.exports = {
  parser: '@typescript-eslint/parser',
  plugins: ['@typescript-eslint'],
  rules: {
    '@typescript-eslint/no-uninitialized': 'error',
    '@typescript-eslint/no-unsafe-member-access': 'error',
    '@typescript-eslint/strict-boolean-expressions': 'error'
  }
};

你之前尝试的no-undef、no-undef-init等都是普通ESLint针对JavaScript的规则，它们无法理解TypeScript的类型注解和条件初始化逻辑，所以识别不了这类问题。

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