基于标志的条件类型（Conditional types）：如何让TypeScript忽略不可达分支？

这个问题我之前踩过坑！TypeScript在处理常量标志和条件类型的组合时，确实有点“认死理”——明明我们肉眼都能看出某个分支绝对不会执行，但它还是会严格检查所有分支的类型是否匹配，真的有点让人头疼。

咱们先理清楚问题根源：你定义了const UseStrings = true，它的类型是字面量true，对应的Foo类型的value就固定是string。但在三元表达式或者if分支里，TypeScript会把返回值推断成string | number的联合类型，而不是匹配条件类型的单一类型，所以就会抛出类型不兼容的错误。

下面给你几个实用的解决办法，你可以根据自己的场景选：

• 方案1：直接断言返回值为Foo类型
  最简单粗暴的办法就是直接告诉TypeScript：“我确定这个值完全符合Foo的类型，你不用纠结联合类型的问题了”。修改后的代码如下：

  const UseStrings = true;
  type Foo = { value: (typeof UseStrings extends true ? string : number) };
  
  function foo1(): Foo {
    return { value: UseStrings ? 'a' : 1 } as Foo; // 用as Foo断言
  }
  
  function foo2(): Foo {
    if (UseStrings) {
      return { value: 'a' } as Foo;
    } else {
      // 这个分支实际上永远不会执行，断言成Foo是绝对安全的
      return { value: 1 } as Foo;
    }
  }
  

  这种方式快准狠，适合快速解决问题，而且因为我们明确知道不可达分支不会被执行，所以断言完全没有风险。

• 方案2：用never类型标记不可达分支
  如果你想让代码更严谨，同时让TypeScript彻底认清某个分支绝对走不通，可以用never类型来标记：

  const UseStrings = true;
  type Foo = { value: (typeof UseStrings extends true ? string : number) };
  
  function foo2(): Foo {
    if (UseStrings) {
      return { value: 'a' };
    } else {
      // 用never类型绑定UseStrings，告诉TypeScript这个分支不可能进入
      const unreachable: never = UseStrings;
      throw new Error(`这行代码永远不会执行：${unreachable}`);
    }
  }
  

  这种方式的好处是，万一以后你不小心修改了UseStrings的值（比如改成false），TypeScript会立刻提示你调整分支代码，避免潜在的bug。

• 方案3：重构为泛型函数（适合动态场景）
  如果你以后可能需要动态切换这个标志，而不是固定用全局常量的话，可以把函数改成泛型，基于传入的标志类型自动推断返回值：

  function createFoo<T extends boolean>(useStrings: T): { value: T extends true ? string : number } {
    if (useStrings) {
      return { value: 'a' } as ReturnType<typeof createFoo<T>>;
    } else {
      return { value: 1 } as ReturnType<typeof createFoo<T>>;
    }
  }
  
  // 调用时TypeScript会自动推断类型
  const stringFoo = createFoo(true); // value是string类型
  const numberFoo = createFoo(false); // value是number类型
  

  这种方式比全局常量更灵活，适合需要动态控制类型的场景。

总的来说，核心就是要给TypeScript足够的“提示”，让它明白哪个分支是有效的、哪个是绝对不会执行的，这样它就不会再揪着联合类型的问题不放啦。

内容来源于stack exchange