Блог

Pick Тип включен в TypeScript. Его реализация заключается в следующем:

 type Pick<T, K extends keyof T> = {
  [P in K]: T[P];
};
  

Как бы вы написали PickByValue тип, чтобы работало следующее:

 type Test = {
  includeMe: 'a' as 'a',
  andMe: 'a' as 'a',
  butNotMe: 'b' as 'b',
  orMe: 'b' as 'b'
};

type IncludedKeys = keyof PickByValue<Test, 'a'>;
// IncludedKeys = 'includeMe' | 'andMe'
  

Предполагая, что вы намереваетесь Test быть таким:

 type Test = {
  includeMe: 'a',
  andMe: 'a',
  butNotMe: 'b',
  orMe: 'b'
};
  

и предполагая, что вы хотите PickByValue<T, V> предоставить все свойства, которые являются подтипами V (так что PickByValue<T, unknown> должно быть T ), тогда вы можете определить PickByValue следующим образом:

 type PickByValue<T, V> = Pick<T, { [K in keyof T]: T[K] extends V ? K : never }[keyof T]>
type TestA = PickByValue<Test, 'a'>; // {includeMe: "a"; andMe: "a"}
type IncludedKeys = keyof PickByValue<Test, 'a'>; // "includeMe" | "andMe"
  

Но если все, что вам нужно, это IncludedKeys , то вы можете сделать это более непосредственно с помощью KeysMatching<T, V> :

 type KeysMatching<T, V> = {[K in keyof T]: T[K] extends V ? K : never}[keyof T];
type IncludedKeysDirect = KeysMatching<Test, 'a'> // "includeMe" | "andMe"
  

Игровая площадка ссылка на код