Как получить типы свойств объединенного типа в TypeScript?

Question

[Persotr27]

Всем привет!

Лучше показать проблему на примере, по этому вот... У меня есть такой объединенный тип

type Creature = {
    type: "people";
    subtype: "adult";
    params: IPeopleAdultParams;
} | {
    type: "animal";
    subtype: "cat";
    params: IAnimalCatParams;
}

Есть массив:
const creatures = Creature[];

Вместо того, чтобы прописывать постоянно что-то на подобии

creatures.push({
type: 'animal', 
subtype: 'cat',
params: {
...
}});

я хочу использовать функцию push(type, subtype, params), которая и будет выполнять код выше, с переданными ей аргументами.
Например, push('people', 'adult', {...});
Примерный вид функции:

function push(type: ?, subtype: ??, params: ???) {
    creatures.push({type, subtype, params})
}

Тип subtype отличается, в зависимости от типа type (ну, это видно по определению типа Creature), также само, тип params зависит от типов type & subtype.

Как задать типы аргументов для функции push?
Заранее спасибо за помощь! :)

Comments

[WbICHA]

push({ type: ?, subtype: ??, params: ??? }: Creature)

Answer 1

[Alex]

type Creature = {
    type: "people";
    subtype: "adult";
    params: IPeopleAdultParams;
} | {
    type: "animal";
    subtype: "cat";
    params: IAnimalCatParams;
}

type allTypes = Creature['type']

Playground

Comments

[WbICHA]

При таком подходе это:

{
    type: "people";
    subtype: "cat";
    params: IAnimalCatParams;
}

Будет валидно.

[Alex]

WbICHA, Не будет, так как ошибка вывалится при попытке запушить в массив если перед этим не выполнить валидацию. Playground.

[WbICHA]

Alex, а теперь представляем, что тайпов 5 штук и для каждого по 5 субтайпов.)
Ах, да, тебе ещё и валидацию парамсов делать надо.)
И в конце ещё оказалось, что часть тайпов и субтайпов надо убрать, а часть добавить.

В общем, твоё решение создаёт настолько много гемороя, что лучше уже через эни всё сделать будет.)

[Aetae]

WbICHA, некропост:
Ты всё равно где-то и как-то описываешь эти "тайпов 5 штук и для каждого по 5 субтайпов", ведь так?
И в чём тогда проблема? Всё что надо сделать - придумать как не описывать всё дважды. Типы прекрасно выводятся через typeof из твоей структуры, какой бы она там ни была, после чего один раз пишем боль-мене сложный тип-преобразователь "тип структуры" - "тип приведённый выше" и дальше спокойно работаем.

[WbICHA]

Aetae, не очень тебя понял. Как тут вообще тайпоф поможет, когда тип того же "cat" он вернёт как "стринг", что в корне неверно. Тайпоф это же жсовская функция, а не тсовская.

[Aetae]

WbICHA, магическое слово as const. Тогда typeof вернёт конкретный литерал.)

typeof есть и "тсовксий", делает так:

const catStruct = {
  type: 'cat'
} as const;

type Cat = typeof catStruct;

[WbICHA]

Aetae, а, в этом смысле. Тогда да, но это всё равно куча гемора на ровном месте, когда есть нормальное решение, которое не требует никаких плясок после создания типа (ответ Дмитрия).

[Aetae]

WbICHA, ну так "нормальное решение" Дмитрия делает имеено то что я сказал:

один раз пишем боль-мене сложный тип-преобразователь "тип структуры" - "тип приведённый выше"

Только у него "тип структуры" задаётся вручную, а не выводится из уже имеющегося js кода, так что в его случае надо писать больше.

[WbICHA]

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

[Aetae]

WbICHA, лучше ты кинь свою функцию работающую с массивом creatures с зависимостями, чтоб мне не гадать какая у тя там структура.)

Суть в том, что если у тебя не код-лапаша вида:

if(type === "people") {
  if(subtype === "adult") ...
  else if ...
  else if ...
  else if ...
} else if ...

то где-то в коде уже описаны каким-то образом возможные type, их subtype и т.д. Осталось только их добыть через typeof и преобразовать в нужный вид.

[WbICHA]

Aetae,

лучше ты кинь свою функцию работающую с массивом creatures с зависимостями, чтоб мне не гадать какая у тя там структура.)

???
Я же не автор.

[Aetae]

WbICHA, сорян, попутал, за давностью.)

Крч. как и сказал Дмитрий - затипизировать можно любую дичь, а значит и преобразовать можно любую дичь в любую дичь. Будь там классы, json, функции или массивы, всё это можно забрать через typeof и с помощью магии динамических типов преобразовать к нужному виду.

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

[WbICHA]

Aetae, с этим я , безусловно, согласен.)

Особенно после того, как решил с питоном пару дней назад побаловаться с использованием типов.
Какая же это боль...

Answer 2

[Дмитрий Беляев]

Когда я отвечал Вам тут в примере был тип CreatureBasis из которого уже строился тип Creature через вычисления на типах.
Его же можно использовать и для построения Вашей функции:
https://www.typescriptlang.org/play?#code/C4TwDgpg...