Type Guard在else分支非合理收窄联合类型问题咨询

我发现自定义Type Guard应用于联合类型时，会在else分支进行不符合预期的类型收窄。示例代码如下：

const isShortString = (value: any): value is string => {
  return typeof value === 'string' && value.length < 10;
}

const fn1 = (value: string | number) => {
   if (isShortString(value)) {
      // ✅ 正确收窄为string
      return value.trim();
   } else {
      // ❌ 错误收窄为`number`（实际仍可能是长度≥10的string）
      return value.toExponential();
   }
}

而TypeScript处理原生类型守卫（或者说同时检查类型守卫+其他条件的内联写法）时，表现符合预期：

const fn2 = (value: string | number) => {
   if (typeof value === 'string' && value.length < 10) {
      // ✅ 正确收窄为string
      return value.trim();
   } else {
      // ✅ 正确保留为`string | number`
      return value.toExponential(); // 报错
   }
}

请问是否有方法让isShortString不对else分支进行错误的类型收窄，或者这属于Type Guard的误用？

原因分析 #

这属于自定义Type Guard的误用。你写的isShortString返回类型断言value is string会告诉TypeScript：当函数返回true时，value是string；当返回false时，value绝对不是string。但实际逻辑中，函数返回false时，value可能是number，也可能是长度≥10的string，这和类型断言的语义完全矛盾，导致了错误的类型收窄。

解决方案 #

方案1：定义精确的子类型守卫

创建一个代表“短字符串”的品牌类型（Brand Type），让Type Guard只断言value属于这个子类型，而非整个string类型：

// 用品牌类型标记短字符串，属于string的子类型
type ShortString = string & { __brand: 'ShortString' };

const isShortString = (value: unknown): value is ShortString => {
  return typeof value === 'string' && value.length < 10;
}

const fn1 = (value: string | number) => {
   if (isShortString(value)) {
      return value.trim(); // value是ShortString，可安全调用string方法
   } else {
      // value类型保持为string | number，调用toExponential会报错，符合预期
      return value.toExponential(); 
   }
}

这种方式既保留了类型安全，又能复用判断逻辑。

方案2：拆分类型检查与业务判断

如果不需要额外类型，可以将类型检查和长度检查分开，先确认value是string，再调用自定义函数判断长度：

const isShortString = (value: string): boolean => {
  return value.length < 10;
}

const fn1 = (value: string | number) => {
   if (typeof value === 'string' && isShortString(value)) {
      return value.trim();
   } else {
      // value类型为string | number，调用toExponential触发报错
      return value.toExponential(); 
   }
}

这种写法和你示例中的fn2逻辑一致，兼顾了复用性和类型准确性。

方案3：使用排除类型（不推荐）

如果一定要在单个函数里实现，可利用Exclude类型调整断言，但这种写法可读性差，实际项目不建议使用：

const isShortString = (value: string | number): value is Exclude<string | number, string> extends never ? never : string => {
  return typeof value === 'string' && value.length < 10;
}

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