如何消除那些值为“to”的TypeScript对象类型的条目？

Question

如何实现一个类型GetRidOfNeverValues<T>，它删除一个对象类型的所有条目(比方说：Record<string, any>)，其中的值永远不是？

例如

type A = {
  a: number;
  b: string;
  c: never;
};

type B = GetRidOfNeverValues<A>;

/*
  type B shoud now be:

  {
    a: number;
    b: string;
  }

*/

Answer 1

您可以使用这一技术创建一个助手类型：

type RemoveValues<T, U> = { [P in keyof T as T[P] extends U ? never : P]: T[P] }

我们可以从中派生出RemoveNever

type RemoveNever<T> = RemoveValues<T, never>

或者，如果您只想要GetRidOfNeverValues类型：

type GetRidOfNeverValues<T> = { [P in keyof T as T[P] extends never ? never : P]: T[P] } 
// same as RemoveNever

TS游乐场链接