TypeScript中类型收窄与never函数的行为差异及解决方案

差异原因 #

• 对于process.exit这类TypeScript内置的全局终止函数，TS的控制流分析会做特殊处理：它明确知道调用该函数后进程会直接退出，当前函数后续的代码绝对不可能执行。因此第一个例子里，TS能确定return value只会在value为string的分支执行，最终推断getValue的返回类型为() => string。
• 而自定义的exit函数，即便返回never类型，TS也不会默认将其调用视为“终止当前函数执行”的信号。TS的控制流分析仅在遇到return、throw或是内置终止操作时，才会标记后续代码不可达。单纯调用exit()时，TS无法确认这个函数调用会不会让当前函数停止执行——除非你通过return exit()把这个never值返回，此时TS才会识别当前代码路径已终止，完成类型收窄。

解决办法 #

• 添加return关键字（最直接的方式）：
  调用exit时加上return，让TS识别到当前路径终止：

  const getValue = () => {
    const value = process.env.VARIABLE;
    if (!value) return exit();
    return value;
  };
  

• 将exit定义为断言函数：
  利用TypeScript的断言函数语法，明确告诉TS调用exit()后后续代码不可达：

  function exit(): asserts false {
    process.exit(1);
  }
  
  const getValue = () => {
    const value = process.env.VARIABLE;
    if (!value) exit();
    return value; // 此时TS会推断为string类型
  };
  

• 让exit函数抛出错误（按需选择）：
  如果业务逻辑允许，可在exit中抛出错误，TS自然会识别路径终止，无需额外操作：

  const exit = () => {
    throw new Error("Required environment variable is missing");
    process.exit(1); // 这行代码已不可达，可保留或删除
  };
  

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