如何解决TypeScript递归嵌套验证器的类型收窄问题？

首先，确保你的验证结果类型通过明确的判别式与对应的children结构绑定，这是TypeScript自动类型收窄的基础。以下是修正后的类型定义方案：

1. 定义带判别式的基础类型 #

// 判别式类型：明确区分三种字段类型
type ValidatorFieldType = 'primitive' | 'array' | 'object';

// 所有验证结果的公共属性
interface ValidatorFieldBase {
  isValid: boolean;
  messages: string[];
}

// 原始类型结果：无children
interface ValidatorFieldPrimitiveResult extends ValidatorFieldBase {
  type: 'primitive';
}

// 数组类型结果：children是验证结果数组
interface ValidatorFieldArrayResult extends ValidatorFieldBase {
  type: 'array';
  children: ValidatorResult[];
}

// 对象类型结果：children是键值对形式的验证结果
interface ValidatorFieldObjectResult extends ValidatorFieldBase {
  type: 'object';
  children: Record<string, ValidatorResult>;
}

// 联合所有验证结果类型
type ValidatorResult = 
  | ValidatorFieldPrimitiveResult
  | ValidatorFieldArrayResult
  | ValidatorFieldObjectResult;

2. 编写类型守卫函数 #

通过类型守卫，让TypeScript在运行时检查类型的同时，自动收窄编译时的类型：

// 判断是否为数组类型结果
function isArrayResult(result: ValidatorResult): result is ValidatorFieldArrayResult {
  return result.type === 'array';
}

// 判断是否为对象类型结果
function isObjectResult(result: ValidatorResult): result is ValidatorFieldObjectResult {
  return result.type === 'object';
}

// 判断是否为原始类型结果（可选，用于排除不需要children的情况）
function isPrimitiveResult(result: ValidatorResult): result is ValidatorFieldPrimitiveResult {
  return result.type === 'primitive';
}

3. 类型安全的嵌套访问 #

现在可以逐层使用类型守卫来访问嵌套的验证结果，无需手动断言：

// 示例：访问数组中第二个元素的name字段
if (isArrayResult(result)) {
  const secondChild = result.children[1];
  if (isObjectResult(secondChild)) {
    const nameField = secondChild.children.name;
    // 这里nameField自动是ValidatorResult类型，如需进一步操作可继续用类型守卫
    expect(nameField.isValid).toBe(true);
    
    // 如果需要访问nameField的messages（原始类型才有）
    if (isPrimitiveResult(nameField)) {
      expect(nameField.messages.length).toBe(0);
    }
  }
}

为什么这个方案有效？ #

• 判别式type字段让TypeScript能够明确区分不同的结果类型。
• 类型守卫函数在运行时检查类型，同时向TypeScript传递编译时的类型信息，实现自动收窄。
• 递归的ValidatorResult定义完美支持无限嵌套的结构。

如果需要更极致的类型安全（比如静态推断对象的键路径），可以结合递归条件类型实现路径感知的类型，但对于大多数场景，上述方案已经足够简洁且避免了手动断言。

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