Почему при создании объединенного типа из нескольких в условии не работает условие или?

Question

[MishaXXL]

Почему в данном примере я не могу задать свойство main: 'spb', ведь в одном из перечисленных типов "ColWithMain" у меня есть свойство main
Если я правильно понял, то выражение type Switch = (Nav & (Col | ColWithMain )) | null создает тип с полями Navи на выбор одним из вариантов Colили ColWithMain, т.е. Nav + Cal или Nav + ColWithMain

type Nav = {
  nav?: {
    count: number;
    key: string;
  }
}

type Col = {
  type: "col";
  label: string;
  value: string;
}

type ColWithMain = {
  type: "colWith";
  label: string;
  value: string;
  main?: string;
}

type Switch = (Nav & (Col | ColWithMain )) | null

type Single = {
  name: string;
  props: Switch;
}

const test: Single = {
  name: 'Hello',
  props: {
    nav: {
       count: 1,
       key: 'local'
    },
    type: 'col',
    label: 'hello',
    value: 'world',
    main: 'spb'
  }
}

Не понял, почему здесь идет речь только о 'Nav & Col', если у нас есть условие или, где есть и 'Nav & ColWithMain '

Object literal may only specify known properties, and 'main' does not exist in type 'Nav & Col'.(2353)
input.tsx(25, 3): The expected type comes from property 'props' which is declared here on type 'Single'
(property) main?: string | undefined

И что даст здесь выражение props: Record<string, Switch>?
Если наш тип будет выглядеть так

type Single = {
  name: string;
  props: Record<string, Switch> | Switch | null;
}

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

Comments

[Александр]

type Single = {
   name: string;
   props: Col | ColWithName;
} & Nav;

то что Вам нужно?

[MishaXXL]

Александр, хочу узнать, почему при добавлении mainне срабатывает то, что у меня в типе условие (Nav & (Col | ColWithMain ))
И вылетает ошибка, будто только Nav & Col

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

[GeminiX]

TypeScript will only allow an operation if it is valid for every member of the union. For example, if you have the union string | number, you can’t use methods that are only available on string

[Александр]

MishaXXL, Col | ColWithMain работает взаимоисключающе. Вы определяете тип но полю type. Почитайте https://habr.com/ru/articles/778060/

[MishaXXL]

Александр, спасибо! Напиши это в ответе, отмечу )
Подскажи еще пожалуйста, что тут делает выражение Record<string, Switch> и для чего оно здесь используется?

type Single = {
  name: string;
  props: Record<string, Switch> | Switch | null;
}

[Александр]

MishaXXL, позволит передавать несколько вариантов объекта Single под уникальными ключами.

[MishaXXL]

Александр, можешь пожалуйста обьяснить попроще, вроде слова знакомые, но я ничего не понял )
До этого я использовал Recordтак

type List = 'id' | 'name' 
type Columns = Record<List , string>

Но здесь обратная логика, которую я не понимаю, что именно у нас получится в props?
props: Record<string, Switch>

Вообще можно как-то в консоли выводить полный результат таких сложных типов, а не то, что propsэто Record<string, Switch> | Switch | null?

[Александр]

MishaXXL, Record<string, Switch> всё равно что:

{
  key1: {
    name: 'Hello',
    props: {
      nav: {
        count: 1,
        key: 'local'
      },
      type: 'col',
      label: 'hello',
      value: 'world',
    }
  },
  key2: {
    name: 'Another Hello',
    props: {
      nav: {
        count: 1,
        key: 'local',
      },
      type: 'colWith',
      label: 'label',
      value: 'value',
      main: 'hello there'
    }
  }
}

и т.д.

[MishaXXL]

Александр, ааа, т.е. эта запись позволяет вставлять не только объект, но и ассоциативный массив таких типов, верно?

[Александр]

MishaXXL, Да.

[MishaXXL]

Александр, от души, спасибо!!

Answer 1

[Александр]

Col | ColWithMain работает взаимоисключающе. Вы определяете тип но полю type. Почитайте https://habr.com/ru/articles/778060/.