如何在TypeScript中无需新变量收窄string | symbol类型？

问题场景还原 #

先看你遇到的代码情况：

function myFunc(): string | symbol {
  return Math.random() > 0.5 ? "hello" : Symbol("test");
}

// 原narrow函数：传入symbol则终止进程
function narrow(val: string | symbol) {
  if (typeof val === "symbol") {
    process.exit(1);
  }
}

const foo = myFunc();
narrow(foo);
foo.toUpperCase(); // TS报错：类型“string | symbol”上不存在属性“toUpperCase”

此时明明调用narrow(foo)后，foo不可能是symbol（进程已经终止），但TS没法自动收窄foo的类型，必须赋值给新变量才能正常识别。

核心解决方案：给narrow函数添加类型谓词 #

TypeScript需要明确知道narrow函数具备类型守卫的作用，只要把函数返回类型改成类型谓词，就能让TS自动跟踪变量的类型收窄，无需新变量。

修改后的narrow函数：

function narrow(val: string | symbol): val is string {
  if (typeof val === "symbol") {
    process.exit(1);
  }
  return true; // 因为symbol分支已经终止进程，这里返回true确认当前val是string
}

现在再调用narrow(foo)后，TS会自动把foo的类型收窄为string，直接调用方法就不会报错：

const foo = myFunc();
narrow(foo);
foo.toUpperCase(); // 正常通过类型检查

为什么原写法不行？ #

默认情况下，普通函数的内部逻辑不会被TS当作类型守卫的依据。虽然你在narrow里处理了symbol分支并终止进程，但TS无法自动推断出这个函数调用对外部变量类型的影响，必须通过val is string这种类型谓词显式声明：当该函数正常返回时，传入的参数一定是string类型。

备选方案：类型断言（不推荐） #

如果不想修改narrow函数，也可以手动用类型断言强制指定类型，但这种方式是绕过TS的类型检查，安全性较低，不建议常用：

const foo = myFunc();
narrow(foo);
(foo as string).toUpperCase();

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