TypeScript映射类型约束参数遇问题，求优化方案

问题说明 #

尝试通过自定义映射类型约束参数，当前实现虽能运行，但存在三个缺陷：

• 子属性类型校验失效：例如将enableDomain设为字符串时不会触发类型报错
• 无法正常遍历对象键：返回类型为ObjectValuesOf，无法获取明确的键集合
• 实现方式冗余，存在更简洁的写法

当前代码实现 #

// Types source
const OperatorConfigs = {
  certManager: {
    namespace: 'cert-manager',
    enableDomain: true
  },
  contour: {
    namespace: 'contour',
  }
} as const

// Types
type ObjectKeyOf<T> = { [K in keyof T]?: unknown }
type ObjectValuesOf<T> = { [K in keyof T]?: ObjectKeyOf<T[K]> }
type OperatorKeysUnion<T> = T extends {
  [K in keyof T]: T[K] | object
} ? ObjectValuesOf<T>
  : never
type OperatorOptions = OperatorKeysUnion<typeof OperatorConfigs>

// Interface
export interface OperatorArgs {
  namespace?: string;
  operators?: OperatorOptions;
}

期望的OperatorOptions类型 #

type OperatorOptions = {
    certManager?: {
        namespace?: string;
        enableDomain?: boolean;
    };
    contour?: {
        namespace?: string;
    };
}

优化实现方案 #

核心问题在于原类型定义中用unknown覆盖了子属性的具体类型，同时嵌套了不必要的类型逻辑。直接通过映射类型+Partial工具类型即可实现需求，代码更简洁且类型精准：

// Types source
const OperatorConfigs = {
  certManager: {
    namespace: 'cert-manager',
    enableDomain: true
  },
  contour: {
    namespace: 'contour',
  }
} as const

// 直接生成期望的OperatorOptions类型
type OperatorOptions = {
  [K in keyof typeof OperatorConfigs]?: Partial<typeof OperatorConfigs[K]>
}

// Interface
export interface OperatorArgs {
  namespace?: string;
  operators?: OperatorOptions;
}

优化点说明 #

1. 子属性类型校验生效：Partial<typeof OperatorConfigs[K]>会保留原对象子属性的类型，仅将其设为可选。例如enableDomain的类型为boolean | undefined，传入字符串会直接触发类型错误。
2. 可正常遍历对象键：OperatorOptions的键是明确的certManager和contour，通过keyof OperatorOptions即可获取键的联合类型，支持遍历操作。
3. 实现更简洁高效：去掉了冗余的ObjectKeyOf、ObjectValuesOf、OperatorKeysUnion类型，直接通过一层映射完成需求，逻辑清晰易维护。

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