Как получить тип: массив ключей объекта в TypeScript?

Question

[nikfarce]

Всем привет. У меня такая задача:
Берём произвольный тип объекта:

type O = {
  key1: string
  key2: string
}

Мне нужно получить из этого типа следующий:
type A = ["key1", "key2"]
У массива с таким типом будет фиксированная длина массива и каждое значение будет один раз.

Array<keyof O> даст немного другой результат: Array<"key1" | "key2">, в этом случае можно передать пустой массив, массив с любым количесвом значений равных "key1" или "key2", т.е. допускаются дубли.
Есть решение у данной задачи?

Comments

[RAX7]

https://stackoverflow.com/questions/69571110/how-t...

Answer 1

[Ярослав Вавилин]

https://stackoverflow.com/questions/43909566/get-k...

Comments

[nikfarce]

Спасибо огромное!

[Aetae]

nikfarce, если не использовать магические трансформеры и исходить из того, что тебе этот массив всё рано нужен в рантайме, то лочино пойти от обратного, условно:

const keys = ["key1", "key2"] as const;

type TKeys = typeof keys[number];

type O = Record<TKeys, string>

[WbICHA]

Или если тебе нужен именно тип:

type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never
type ExtractLast<T> = UnionToIntersection<T extends T ? T[] : never> extends (infer L)[] ? L : never;
type UnionToTuple<T, L = ExtractLast<T>> = [T] extends [L] ? [T] : [...UnionToTuple<Exclude<T, L>>, L]

type Union = 'a' | 'b' | 'c' | 'd'

type Tuple = UnionToTuple<Union> // ["a", "b", "c", "d"]

https://www.typescriptlang.org/play?#code/C4TwDgpg...

[Aetae]

WbICHA, мне кажется - это не гарантированное поведение.

[WbICHA]

Aetae, в каком смысле "не гарантированное"?

[Aetae]

WbICHA, ну в прямом: порядок значений в union и ключей в типе - не имеет значения. А значит получение одного конкретного кортежа (а не всех возможных комбинаций) опирается на особенность внутренней реализации, которая вполне в какой-то момент для какой-то оптимизации может и переставить ключи.

Как с for in для объектов, до принятия последних стандартов закрепивших порядок: все так делали, но единицы - попадали.)

[WbICHA]

Aetae, в целом, верно, но только если поменяют порядок сортировки юнионов. Вероятность этого, конечно, выше нуля, но, в отличии от жс, ошибки после обновления тса ты заметишь сразу. И там уже либо откатиться на предыдущую версию, либо фиксить. Но при любом раскладе "внезапно" в проде это не всплывёт никак по понятным причинам.

[Aetae]

WbICHA,

Но при любом раскладе "внезапно" в проде это не всплывёт никак по понятным причинам.

А вот тут в игру врывается магический трансформер из этого самого ответа, хе-хе. Он как раз при определённых условиях сможет незаметно принести всё это счастье на прод при следующем релизе.)

Понятно что вероятности тут малозначимые, но перфекционист во мне негодует.)

[WbICHA]

Aetae, в целом, да, согласен, просто врядли эта ошибка не отловится до прода. Если порядок важен, а иначе смысла использовать эту магию, то что-то явно должно сломаться, особенно если использовать юнит тесты, а вдвойне особенно если выделить отдельный тест на проверку текущего порядка.

[Aetae]

WbICHA, тесты? Не, не слышал)