Увы, но дело не в -вариантности. Дело в том, как TS

Question

Увы, но дело не в -вариантности. Дело в том, как TS

обходится с методами типов-пересечений, в том числе и для дженериков. TS глубоко наплевать на то, что мы берём Array<T> и Array<G> и складываем их; частный случай сложения двух, эээ, разных инстансов одного класса типов не рассматривается; анализируется сложение двух каких-то типов, не будем обращать внимание на их структуру пока что.

Аксессор простого свойства будет работать, как и ожидалось — и для T[] & G[] и для (T & G)[] TS выведет, что нас интересует тип T & G, что мыслится мне вполне корректным.

С методами несколько интереснее. Уберём дженерики из рассмотрения, посмотрим на простой синтетический пример тут . Тип функции вывелся ещё кое-как, но какой тип её первого аргумента? Казалось бы, это такая хитрая функция, которая берёт первым аргумент одновременно и string, и number, то есть string & number, то есть, вообще говоря, never... У меня есть стойкое мнение, что при проектировании TS возникло здесь больше вопросов, чем ответов, у авторов, и они пошли по пути наименьшего сопротивления. Путь наименьшего сопротивления — при необходимости зарезолвить свойство, тип которого является пересечением типов-функций, выбирать одну из перегрузок (последнюю, если я не ошибаюсь).

Поэтому T[] & G[] в качестве сигнатур функций выбирает сигнатуры G[]. Это очень нехорошо. Скорее всего вам нужно не это. Не делайте так.

#programming #russian #typescript

0

09.10.2020

8 ответов

23 просмотра

Andrey Kurnoskin Автор вопроса

Если немного подумать, то тип (inp: string) => string & (inp: number) => string можно было бы интерпретировать как (inp: string | number) => string. По-моему, я когда-то находил причину, по которой такого рода преобразования не всегда корректны, и задача в общем случае так себе решаема

0

09.10.2020

Andrey Kurnoskin Автор вопроса

А есть пример того, когда такой тип инферится?

0

09.10.2020

˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪

Вот тут ошибка, кстати, ни о каком OR (|) речь не шла

0

09.10.2020

Andrey Kurnoskin Автор вопроса

type fromStringToString = (inp: string) => string; // Область определения — строки type fromNumberToString = (inp: number) => string; // Область определения — числа type enigma = fromStringToString & fromNumberToString; // enigma == ((inp: string) => string) & ((inp: number) => string) Казалось бы, последняя запись значит, что функция типа enigma обладает всеми признаками как типа fromStringToString, так и типа fromNumberToString. Следовательно, в неё можно передать строку, и получить строку, и также можно передать число, и получить строку. Это вполне соответствует именно записи (inp: string | number) => string — благо, пример несложный. А вот пример сложнее: type f1 = (inp: 'a' | 'b') => 'x'; type f2 = (inp: 'b' | 'c') => 'z'; type f3 = f1 & f2; // Что это за покемон?

0

09.10.2020

˸̧̨ ͅBlack Akula˸̧̨ ͅ ̤ ̬̪