如何在TypeScript中无需类型转换验证双变量或关系的类型有效性？

可以通过以下几种方式在不使用类型转换的前提下，让TypeScript正确推断x的类型：

1. 拆分条件分支 #

利用TypeScript的控制流分析，将原有的复合条件拆分为独立分支，让TS自动收窄two的类型：

function sample(one: boolean, two?: string) {
  let x: string;
  if (one) {
    x = 'hello';
  } else if (two) {
    x = two;
  } else {
    // 此分支逻辑上不会进入，仅用于满足TS的完整性检查
    throw new Error('Unreachable code');
  }
  // 后续代码中x的类型会被正确识别为string
}

原理：当进入else if(two)分支时，TS会自动将two的类型从string | undefined收窄为string——因为只有two为真值（即非undefined的string）时才会进入该分支。

2. 使用自定义类型守卫 #

通过自定义类型守卫函数，明确告知TypeScripttwo的类型状态：

function isString(value: unknown): value is string {
  return typeof value === 'string';
}

function sample(one: boolean, two?: string) {
  if (one || isString(two)) {
    const x: string = one ? 'hello' : two;
    // TS此时能识别two为string，因为isString守卫已确认其类型
  }
}

原理：isString函数作为类型守卫，会在条件判断中向TS传递类型信息——当isString(two)为真时，two必然是string类型，因此三元表达式的结果始终为string。

3. 约束函数参数的联合类型 #

从函数参数层面定义one和two的关系，直接消除类型歧义：

type SampleParams = { one: true; two?: string } | { one: false; two: string };

function sample({ one, two }: SampleParams) {
  const x: string = one ? 'hello' : two;
  // TS可直接推断x为string，因为参数类型已保证：one为false时two必为string
}

原理：通过联合类型SampleParams，强制约束参数的合法组合——要么one为true（two可选），要么one为false时two必须是string，从根源上避免了类型模糊。

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