Почему нет ошибки при использовании intersection типа?

Question

[ivan0512]

Возник такой вопрос, при использовании union типа присваиваемый объект должен быть либо type1, либо type2. Данный объект очевидно не может быть присвоен type1, так как не хватает свойтва b, однако, если предположить, что он type2, то тут также есть лишнее свойство, то есть также должна быть ошибка при присвоении объектного литерала. Однако тс не считает это ошибкой. Почему так?

type type1 = {
  a: number;
  b: number;
};

type type2 = {
  c: number;
};

type type3 = type1 | type2;

const test1: type3 = { // Тут должна быть ошибка
  a: 111,
  c: 222,
};

test1.a // При этом работает все корректно. Обратиться к переменным в таком случае нельзя

Это баг ts или я что-то не понимаю?

Answer 1

[Руслан Лопатин]

А это и не ошибка вовсе. В переменную типа type1 | type2 можно назначить значение типа type1 или типа type2. Ваше значение вполне соответствует типу type2, так что всё в порядке. Что до "лишнего" свойства "a", то его наличие, строго формально, - не ошибка. Теоретически там может быть любое дополнительное поле. Но TypeScript не допускает такого, для предотвращения _человеческих_ ошибок. Это что-то типа linting, Хотя строго формально, как я уже сказал, - это не ошибка.
Вот соответствующий комментарий.

Comments

[ivan0512]

Я вас понял. Но, как я указал в последней строке, я не могу обратиться ни к переменной c, которая определена в type2, ни к переменной а, которая является "лишней". (То есть все отработало так, как я и предполагал, просто нет ошибки)

Также, даже если называть это линтингом, а не ошибкой, то опять же странное поведение. Если бы присваивание было не к & типу, то ts бы показал предупреждение, а тут молчит. Выглядит как опять же недоработка ts.

[Руслан Лопатин]

Обратиться к любому полю (a, b, c) типа type1 | type2 не получится, потому что любое из этих полей отсутствует либо в типе type1, либо в типе type2. Для решения этой проблемы используются, например, discriminator unions.

Линтинг же такой, видимо, из-за того, что не удаётся сформулировать требования строго формально. Поскольку строго формально никакой ошибки нет. А до версии 3.4 TypeScript вообще любые поля разрешал добавлять в объектный литерал в таком случае. И был формально прав!

Попробуйте так:

type type1 = {
  a: number;
  b: number;
};

type type2 = {
  c: number;
};

type type3 = type1 | type2;

const test0 = {
  c: 111,
  d: 333,                            // этого поля нет ни в type1, ни в type2,
                                        // но "лишние" поля не делают тип несовместимым
                                        // только отсутсвующие
  a: 'string, not a number!', // здесь вообще не тот тип
}
const test1: type3 = test0; // ошибки нет, ведь test0 совместим с type2