Как преобразовать этот тип:
{
a: number
b: string
c: number
}
В этот:
[['a', number], ['b', string], ['c', number]]
Т.е. эффект 1 в 1 как от Object.entries
, только вместо значений св-в их типы.
Stack Overflow на русском — это сайт вопросов и ответов для программистов. Присоединяйтесь! Регистрация займёт не больше минуты.
Присоединиться к сообществуНемного модифицировав код, переводящий union
тип, в tuple
- можно получить ожидаемый результат. Однако, так как union
тип не упорядочен, есть вероятность, что порядок элементов в tuple
может меняться:
type TuplePrepend<Tuple extends readonly unknown[], NewElement> =
[NewElement, ...Tuple]
type Consumer<Value> = (value: Value) => void;
type IntersectionFromUnion<Union> =
(Union extends unknown ? Consumer<Union> : never) extends (Consumer<infer ResultIntersection>)
? ResultIntersection
: never;
type OverloadedConsumerFromUnion<Union> = IntersectionFromUnion<Union extends unknown ? Consumer<Union> : never>;
type UnionLast<Union> = OverloadedConsumerFromUnion<Union> extends ((a: infer A) => void) ? A : never;
type UnionExcludingLast<Union> = Exclude<Union, UnionLast<Union>>;
type TupleFromUnionRec<RemainingUnion, CurrentTuple extends readonly unknown[], TObj extends Record<any, any>> =
[RemainingUnion] extends [never]
? CurrentTuple
: TupleFromUnionRec< // рекурсивный тип
UnionExcludingLast<RemainingUnion>,
TuplePrepend<
CurrentTuple,
[UnionLast<RemainingUnion>, TObj[UnionLast<RemainingUnion>]] // добавляем тип ключа с типом значения в конечный tuple
>,
TObj>;
export type TupleFromUnion<TObj> = TupleFromUnionRec<keyof TObj, [], TObj>;