如何无需创建特定类型，用断言函数实现API数据复杂验证并推导类型？

你遇到的核心问题是原断言函数的类型约束不够精确，导致TypeScript无法自动推导keyA和property的非空状态。可以通过精确的类型断言实现需求，无需手动创建额外类型，直接在断言函数中细化验证后的类型结构。

修正后的断言函数 #

首先定义原API数据类型：

type DType = { 
  keyA?: { property?: string | null | undefined }, 
  keyB?: string | null 
} | null;

编写断言函数，明确指定验证后的数据类型：

function assertValidData(data: DType): asserts data is Omit<DType, 'keyA'> & {
  keyA: { property: string };
} {
  // 验证data本身非空
  if (!data) throw new Error('no data');
  // 验证keyA必须存在
  if (!data.keyA) throw new Error('keyA undefined');
  // 验证property是非空有效字符串（排除null、undefined、空字符串）
  if (data.keyA.property == null || data.keyA.property.trim() === '') {
    throw new Error('property must be non-empty string');
  }
}

验证后的类型推导效果 #

调用断言函数后，TypeScript会自动识别data的精确类型：

function handleApiResponse(data: DType) {
  assertValidData(data);
  
  // 此处data.keyA.property会被推导为string，可直接无障碍使用
  console.log(data.keyA.property.toUpperCase());
  
  // keyB仍保留原类型（可选、可null），完全符合你的需求
  if (data.keyB) {
    console.log('keyB value:', data.keyB);
  }
}

方案说明 #

• asserts data is XXX语法告诉TypeScript：如果函数执行完未抛出错误，data必然符合XXX类型。
• Omit<DType, 'keyA'>复用了原类型中keyB的定义，避免重复编写，仅针对性修改keyA的约束，确保keyA存在且property为有效字符串。
• 验证逻辑覆盖了null/undefined和空字符串场景，保证property是非空有效字符串。

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