TypeScript类型收窄问题：无类型参数的对象类型转换

不一定必须为每个类型单独编写类型守卫函数，但TypeScript需要明确的运行时类型判断逻辑才能完成可靠的类型收窄。以下是几种可行的方案：

1. 利用区分联合类型（Discriminated Union）自动收窄 #

如果你的A_DTO和B_DTO包含一个共同的区分字段（比如type标识），TypeScript会自动根据这个字段完成类型收窄，无需额外写守卫函数：

type A_DTO = { type: 'A'; uniquePropertyA: string };
type B_DTO = { type: 'B'; uniquePropertyB: number };
type AnyDTO = A_DTO | B_DTO;

function processDTO(dto: AnyDTO) {
  switch(dto.type) {
    case 'A':
      // 此处自动收窄为A_DTO，可直接访问uniquePropertyA
      console.log(dto.uniquePropertyA);
      break;
    case 'B':
      // 此处自动收窄为B_DTO，可直接访问uniquePropertyB
      console.log(dto.uniquePropertyB);
      break;
    default:
      throw new Error('无法识别的DTO类型');
  }
}

2. 编写复用的类型守卫函数 #

如果没有区分字段，就需要通过检查专属属性来判断类型。你可以为每个类型写单独的守卫函数，也可以合并成一个函数处理所有类型：

单独守卫函数写法 #

type A_DTO = { uniquePropertyA: string };
type B_DTO = { uniquePropertyB: number };
type AnyDTO = A_DTO | B_DTO;

// 针对A_DTO的类型守卫
function isADTO(dto: AnyDTO): dto is A_DTO {
  return 'uniquePropertyA' in dto && typeof (dto as A_DTO).uniquePropertyA === 'string';
}

// 针对B_DTO的类型守卫
function isBDTO(dto: AnyDTO): dto is B_DTO {
  return 'uniquePropertyB' in dto && typeof (dto as B_DTO).uniquePropertyB === 'number';
}

function processDTO(dto: AnyDTO) {
  if (isADTO(dto)) {
    console.log(dto.uniquePropertyA);
  } else if (isBDTO(dto)) {
    console.log(dto.uniquePropertyB);
  }
}

合并判断的函数写法 #

function castToConcreteDTO(dto: AnyDTO): A_DTO | B_DTO {
  if ('uniquePropertyA' in dto && typeof dto.uniquePropertyA === 'string') {
    return dto as A_DTO;
  }
  if ('uniquePropertyB' in dto && typeof dto.uniquePropertyB === 'number') {
    return dto as B_DTO;
  }
  throw new Error('无效的DTO对象');
}

function processDTO(dto: AnyDTO) {
  const concreteDTO = castToConcreteDTO(dto);
  if ('uniquePropertyA' in concreteDTO) {
    console.log(concreteDTO.uniquePropertyA);
  } else {
    console.log(concreteDTO.uniquePropertyB);
  }
}

总结 #

• 如果联合类型有明确的区分字段，直接用分支判断即可完成类型收窄，无需额外守卫函数；
• 如果没有区分字段，必须通过检查专属属性的方式让TypeScript确认类型，这时候可以选择单独写守卫函数或合并判断逻辑，本质都是提供运行时的类型校验依据。

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