TypeScript类型守卫失效：已判断非undefined仍报类型错误

你遇到的是TypeScript中控制流分析的局限性——虽然你通过isCiPipeline判断了三个变量都不为undefined，但TS没办法把这个复合条件的结果关联到每个单独变量的类型上。不用类型断言的话，有几个更优雅的方案：

方案1：使用自定义类型守卫函数 #

写一个专门的类型守卫，明确告诉TS当条件满足时，三个变量都是string类型：

const PACT_TAGS: string[] = [];
const CI_BRANCH: string | undefined = process.env.CI_BRANCH;
const CI_USER: string | undefined = process.env.CI_USER;
const CI_COMMIT: string | undefined = process.env.CI_COMMIT;

// 自定义类型守卫，断言三个变量均为string
function isCiEnvironment(
  branch: string | undefined,
  user: string | undefined,
  commit: string | undefined
): branch is string & user is string & commit is string {
  return branch !== undefined && user !== undefined && commit !== undefined;
}

if (isCiEnvironment(CI_BRANCH, CI_USER, CI_COMMIT)) {
  PACT_TAGS.push(CI_COMMIT); // 类型正确，无报错
  PACT_TAGS.push(CI_BRANCH);
  PACT_TAGS.push(CI_USER);
}

这个方法通过类型谓词，直接把函数的返回结果和三个变量的类型绑定，TS能准确识别if块内的变量类型。

方案2：封装变量到对象，利用对象类型收窄 #

把三个环境变量放到一个对象里，然后检查对象的所有属性是否都不为undefined，TS会自动收窄对象属性的类型：

const PACT_TAGS: string[] = [];
const ciEnv = {
  branch: process.env.CI_BRANCH,
  user: process.env.CI_USER,
  commit: process.env.CI_COMMIT
};

// 检查对象所有属性都不是undefined
if (ciEnv.branch !== undefined && ciEnv.user !== undefined && ciEnv.commit !== undefined) {
  PACT_TAGS.push(ciEnv.commit); // 类型正确
  PACT_TAGS.push(ciEnv.branch);
  PACT_TAGS.push(ciEnv.user);
}

或者更简洁一点，用类型工具确保对象是完整的：

type CiEnv = {
  branch: string;
  user: string;
  commit: string;
};

function isCompleteCiEnv(env: typeof ciEnv): env is CiEnv {
  return Object.values(env).every(val => val !== undefined);
}

if (isCompleteCiEnv(ciEnv)) {
  PACT_TAGS.push(ciEnv.commit);
  // ...其他push操作
}

为什么原来的代码不行？ #

TS的控制流分析是基于单个变量的，它不会跟踪isCiPipeline这个复合条件和三个变量之间的关联——也就是说，TS不知道isCiPipeline为true就意味着CI_COMMIT等变量一定是string，只会记得isCiPipeline是个布尔值，所以没法自动收窄变量类型。

上面的两种方案都是通过明确的类型关联，让TS能正确识别变量在特定代码块中的类型，完全符合TS的类型检查逻辑，不需要用类型断言绕过检查。

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