TypeScript映射类型生成异常：数组字段处理错误及解决方案咨询

问题原因 #

你的Flags类型对数组字段处理出错，核心原因是TypeScript中数组会被判定为符合Record<string, any>类型。数组本质是带数字索引的对象，因此T[K] extends Record<string, any> | undefined会匹配到数组类型，进而递归调用Flags处理数组元素，最终把number[]转换成了(boolean | undefined)[]，而非你期望的单个boolean。

解决方案 #

修改类型逻辑，优先排除数组类型，再判断是否需要递归处理对象：

type Flags<T> = {
  [K in keyof T]?: 
    T[K] extends any[] 
      ? boolean 
      : T[K] extends Record<string, any> | undefined 
        ? Flags<Exclude<T[K], undefined>> 
        : boolean;
};

// 原类型定义
type DataType = {
  field1: number;
  field2: string;
  field3?: {
    subField1: number;
    subField2: string;
  };
  field4?: number[];
};

// 生成目标类型
type DataTypeFlags = Flags<DataType>;

关键调整说明 #

• 优先识别数组：通过T[K] extends any[]直接匹配数组类型，返回boolean，避免递归处理数组元素
• 清理可选类型的undefined：用Exclude<T[K], undefined>移除对象类型中的undefined后再递归，避免子字段出现多余的undefined
• 统一可选属性：将所有字段定义为可选（?:），与目标DataTypeFlags结构完全一致

此时DataTypeFlags的输出完全符合预期：

{
  field1?: boolean;
  field2?: boolean;
  field3?: {
    subField1?: boolean;
    subField2?: boolean;
  };
  field4?: boolean;
}

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