如何在类型守卫中将联合类型属性转换为指定类型返回？

在应用的不同位置，需要从函数返回一个属性，该属性可能是两种字符串字面量类型之一，其中一种类型是另一种的扩展。怎么在类型守卫里把传入的同一个变量转换为其中一种类型后返回？

类型定义 #

type NameA = 'A'| 'B' | 'C'
type NameB = NameA | 'D' | 'E'

当前的实现 #

function nameTypeGuard(
    name: NameA | NameB
  ):  NameA | NameB{
    if (some condition) {
      return name as NameA;
    } else {
      return name as NameB;
    }
  }

问题分析 #

当前写法用了类型断言（as），但并没有让TypeScript真正理解判断逻辑——函数返回类型和输入类型完全一致，调用后变量类型不会被自动缩小。而且如果some condition的判断逻辑不严谨，类型断言会跳过TypeScript的检查，埋下类型错误隐患。

正确实现方式 #

因为NameB是NameA的超集，核心是判断输入值是否属于NameA的取值范围，以此缩小类型。

1. 用类型谓词函数实现真正的类型守卫

这种方式能让TypeScript在调用后自动推断变量的具体类型：

// 定义NameA的所有取值，用于判断
const nameAValues: readonly NameA[] = ['A', 'B', 'C'];

// 类型谓词函数，返回值`name is NameA`告诉TypeScript该函数能判断name是否为NameA类型
function isNameA(name: NameA | NameB): name is NameA {
  return nameAValues.includes(name);
}

// 使用示例
const testName: NameA | NameB = 'D';

if (isNameA(testName)) {
  // 此处testName被自动推断为NameA类型
  console.log(testName); // 类型为'A'|'B'|'C'
} else {
  // 此处testName被自动推断为NameB独有的类型：'D'|'E'
  console.log(testName); // 类型为'D'|'E'
}

2. 直接返回缩小后类型的函数

如果需要函数直接返回已缩小类型的值，可以这样写：

const nameAValues: readonly NameA[] = ['A', 'B', 'C'];

function narrowNameType(name: NameA | NameB): NameA | Exclude<NameB, NameA> {
  if (nameAValues.includes(name)) {
    return name; // TypeScript自动推断为NameA
  } else {
    return name; // TypeScript自动推断为Exclude<NameB, NameA>，即'D'|'E'
  }
}

// 使用示例
const result = narrowNameType('E');
// result的类型为'D'|'E'

关键说明 #

• 不要依赖类型断言跳过检查，要让TypeScript通过具体的判断逻辑自动推导类型，保证类型安全。
• 因为NameB包含NameA的所有值，不存在“判断是否为NameB”的必要——所有输入值本身都是NameB类型，我们要区分的是“是否为NameA”或“是否为NameB独有的值”。

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