Как создать тип из существующего типа, в котором будут только некоторые поля существующего типа?

Question

[wonderingpeanut]

Приветствую.
Есть следующий код:

type FormProps<T extends FieldValues> = {
  defaultValues?: DefaultValues<T>;
  onSubmit: (data: UnpackNestedValue<T>) => void;
  children: ({ register, formState }: UseFormReturn<T>) => ReactNode;
};
export const Form = <T,>({ defaultValues, onSubmit, children }: FormProps<T>) => {
  const { handleSubmit, reset, setValue, control, register } = useForm({ defaultValues });

  return <form onSubmit={handleSubmit(onSubmit)}>{children({ register, formState })}</form>;
};

В настоящий момент, если передать в children только register и formState, тайпскрипт ругается, что я указал не все требуемые свойства (требуется объект, который возвращается хуком useForm).

Как написать тип свойства children, чтобы ему требовались только некоторые свойства объекта UseFormReturn?
Именно требовались. Partial> не подходит.

Очевидно, что можно явно указать тип каждому требуемому свойство:

...
children: ({ register, formState }: { register: UseFormRegister<T>, formState: FormState<T> }) => ReactNode;
...

Но можно ли как-то получить тип из существующего типа UseFormReturn?
Плейграунд

Answer 1

[WbICHA]

Pick

Comments

[wonderingpeanut]

хмм, я думал Pick'ом можно пикать только одно свойство. Спасибо.

Есть какие-нибудь другие решения? Более, как бы это сказать, замудрые? Впечатляющие? Типа

[K in keyof UseFormReturn<T>]: K extends something ? hard_logic_type_extraction : something_other_hard_logic

Хочу впечатлить девчонку своим знанием тайпскрипта ;)

[WbICHA]

wonderingpeanut,

Хочу впечатлить девчонку своим знанием тайпскрипта ;)

Такого я ещё не видел.)
Я могу, конечно, реализовать это "круто", но это будет говнокод.)

[wonderingpeanut]

WbICHA, если время есть, пожалуйста)) будет интересно посмотреть

[WbICHA]

wonderingpeanut, что-то типа такого:

type UltimatePick<T, Keys> = T extends object ?
    Keys extends keyof T ?
        ((keys: Keys) => T) extends ((keys: infer InferedKeys) => infer InferedT) ?
            { [Key in keyof InferedT & InferedKeys]: InferedT[Key] } :
            never :
        never :
    never;

Работает примерно также, как и обычный пик, только делает кучу ненужных кододвижений.

[wonderingpeanut]

WbICHA, Спасибо))

А можно ли динамически передавать в Pick свойства, которые мне нужны, исходя из аргументов, которые я передаю в функцию?
Например, если функция принимает аргумент { register, formState }, то вместо 'properties' в типе Pick подставится 'register' | 'formState' и получится Pick

children: ({ register, formState }: Pick<UseFormReturn<T>, magicTypeInfer) => ReactNode; // magicTypeInfer -> 'register' | 'formState',  =>
// children: ({ register, formState }: Pick<UseFormReturn<T>, 'register' | 'formState') => ReactNode;

[WbICHA]

wonderingpeanut, не очень понял, ты о джинерике? Если да, то для чего? Это не даст тебе никаких преимуществ.

[wonderingpeanut]

WbICHA, я хочу, чтобы мне не нужно было указывать свойства, которые я хочу достать из UseFormReturn с помощью Pick, чтобы они автоматически определялись исходя из указанных аргументов функции.

В моем примере аргумент функции это объект { register, formState } - нужен тип, который должен определить сам, что ему нужно достать свойства register и formState из типа UseFormReturn.

То есть чтобы вместо Pick я написал тип Pick и он сам понимал, какие свойства нужны из UseFormReturn. Чтобы тип был полиморфный(полиморфический?) и работал с любыми переданными аргументами (если соответствующие свойства существуют в типе UseFormReturn)

[wonderingpeanut]

WbICHA, тут более подробно расписал, что я хочу

Answer 2

[Alexandroppolus]

type X<T> = Pick<UseFormReturn<T>, 'register' | 'formState'>;

Как-то так