TypeScript条件泛型检测函数readonly required属性问题

问题根源 #

你原来的条件ReturnType<IPayloadObjectTypeMap[key]> extends Readonly<{ required: false }>不生效，核心原因有两个：

• required/optional函数返回的required属性未被推断为字面量类型（true/false），而是宽泛的boolean类型，导致条件类型无法精确匹配。
• 用整个对象结构做extends判断时，若返回类型包含额外业务属性，TypeScript的结构类型检查可能因严格性导致判断异常，直接判断属性值更可靠。

实现方案 #

1. 定义带字面量类型的字段构造函数 #

确保required和optional返回的对象中，required是精确的字面量类型，同时携带业务类型信息：

// 绑定required字面量与业务类型的基础字段定义
type FieldDef<T, Required extends boolean> = {
  readonly required: Required;
  type: T;
};

// 必填字段构造函数，返回required为true的字面量类型
function required<T>(type: T): FieldDef<T, true> {
  return { required: true, type } as const;
}

// 可选字段构造函数，返回required为false的字面量类型
function optional<T>(type: T): FieldDef<T, false> {
  return { required: false, type } as const;
}

2. 定义字段类型映射 #

按需求定义IPayloadObjectTypeMap：

type IPayloadObjectTypeMap = {
  size: typeof optional(0), // 用number示例值标记类型
  shape: typeof required('circle') // 用string示例值标记类型
};

3. 构造最终类型P #

通过条件类型判断每个字段的required值，决定是否添加undefined：

type P = {
  [K in keyof IPayloadObjectTypeMap]: 
    // 提取字段的required属性值做判断
    IPayloadObjectTypeMap[K]['required'] extends false
      ? IPayloadObjectTypeMap[K]['type'] | undefined // 可选字段附加undefined
      : IPayloadObjectTypeMap[K]['type'] // 必填字段直接取类型
};

此时P的类型完全符合预期：

// 实际类型：{ size: number | undefined; shape: string }
const p: P = {
  shape: 'square',
  // size可选，可传入number或undefined
};

关键优化点 #

• 用as const强制函数返回的required为字面量类型，避免被推断为boolean。
• 直接针对返回类型的required属性值做判断，避开复杂对象结构匹配的不确定性。

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