Почему у пересечения функций такой ReturnType?

Question

[Alexandroppolus]

Узнал тут невероятный факт, просто зацените:

type FuncsIntr = (() => 1) & (() => 2) & (() => 3);

type RetIntr = ReturnType<FuncsIntr>; // 3

В чем философия? Почему берется последний вариант?

С объединением функций всё в порядке:

type FuncsUn = (() => 1) | (() => 2) | (() => 3);

type RetUn = ReturnType<FuncsUn>; // 1 | 2 | 3

Playground

Answer 1

[Aetae]

Ни в чём. Просто ограничение языка. Видимо слишком сложно было сделать и\или обосновать. Возможно в какой-то следующей версии языка пофиксят.

Вот issue помеченная как "Design Limitation", там есть workaroud(который не стоит юзать в проде, разве что если очень хочется).

Comments

[WbICHA]

который не стоит юзать в проде

А как юзать тс в проде?)

[Aetae]

WbICHA, сборка на прод - тоже часть прода, а такая хрень может её замедлить довольно прилично.:)

[WbICHA]

Aetae, да ну, у меня в проекте тоже страшные типы используются и непосредственно проверка типов занимает от силы 10% времени. Преттиер + еслинт + стайллинт + тесты занимают намного больше времени. Особенно тесты.

[Alexandroppolus]

В общем, пересечение функций - это по факту overloads?

[WbICHA]

Alexandroppolus, не по факту, это и есть оверлоад. Его хоть через тип, хоть через интерфейс, хоть через функции объявляй, работает он везде одинаково, просто разный синтаксис.

Answer 2

[Алексей Ярков]

Смею предположить, что всё ОК. Просто & как-бы накладывает типы друг на друга в том порядке, в котором они определены. У вас 3 последняя, вот она и используется.

type FuncsObjr = (() => ({ prop: string, name: string })) & (() => ({ prop: string, name: number }));

const test: ReturnType<FuncsObjr> = { prop: '', name: '' }; // Error: Type 'string' is not assignable to type 'number'.(2322)

Comments

[Alexandroppolus]

Просто & как-бы накладывает типы друг на друга в том порядке, в котором они определены

тут согласен, но предыдущие варианты всё равно учитываются, например type Intr = 1 & 2 & 3 дает вполне ожидаемый never, а не 3