Typescript 如果在另一个对象中指定了递归省略字段

第一个问题是，您将类型赋给变量，这不再生成文字值，这会阻止编译器理解对象的确切形状.使用const assertion可以解决此问题:

const person = {
  head: {
    hairColor: 'gray',
    eyeColor: 'green',
  },
} as const

const fieldsToInclude = {
  head: {
    hairColor: true,
  },
} as const 

但是，这样就不会有类型安全性，因为没有类型，这可以通过使用satisfies运算符来修复:

const person = {
  head: {
    hairColor: 'gray',
    eyeColor: 'green',
  },
} as const satisfies Person;

const fieldsToInclude = {
  head: {
    hairColor: true,
  },
} as const satisfies BooleanValues<Person>;

现在，让我们修改IncludeFieldsBasedOn，第一件事将是从O参数中删除约束，因为我们可以不使用它，并使类型判断更容易:

type IncludeFieldsBasedOn<T, O> = {
  [K in keyof O as K extends keyof T
    ? O[K] extends true
      ? K
      : O[K] extends object
      ? K
      : never
    : never]: K extends keyof T
    ? NonNullable<T[K]> extends object
      ? IncludeFieldsBasedOn<NonNullable<T[K]>, O[K]>
      : T[K]
    : never;
}

不是映射到T，而是映射到O的键，并使用key remapping删除O中的FALSE或不是对象的字段.在值WE中，我们判断K是否是T的键，如果是，则判断它是否是对象.在这种情况下，我们递归地调用该对象属性的IncludeFieldsBasedOn.

请注意，使用内置的NonNullable实用程序类型对于可选字段是必要的，以确保条件正常工作.

用途:

function dropFields<T, K extends BooleanValues<T>>(
  value: T,
  x: K,
): IncludeFieldsBasedOn<T, K> {
  return {} as any; // ...
}

测试:

// const result: IncludeFieldsBasedOn<{
//   readonly head: {
//       readonly hairColor: "gray";
//       readonly eyeColor: "green";
//   };
// }, {
//   readonly head: {
//       readonly hairColor: true;
//   };
// }>
const result = dropFields(person, fieldsToInclude);

结果类型没有显示最终结果，这可以通过使用type-samurai包中的Prettify实用程序类型来修复，从而提高类型的可读性:

type IncludeFieldsBasedOn<T, O> = Prettify<{
  [K in keyof O as K extends keyof T
    ? O[K] extends true
      ? K
      : O[K] extends object
      ? K
      : never
    : never]: K extends keyof T
    ? NonNullable<T[K]> extends object
      ? IncludeFieldsBasedOn<NonNullable<T[K]>, O[K]>
      : T[K]
    : never;
}>

测试:

// const result: {
//   readonly head: {
//       readonly hairColor: "gray";
//   };
// }
const result = dropFields(person, fieldsToInclude);

看上go 不错！

playground个