Опциональные элементы в кортеже (с зависимостью друг от друга)

@DimaDima1985 · Регистрация: 15.11.2017

Студворк — интернет-сервис помощи студентам

JavaScript
1
2
3
4
5
6
7
type ParentsTuple = [string, number, string?, number?];
 
let sashaParents: ParentsTuple = ['Дмитрий', 35, 'Ирина', 34]; // ошибки нет
 
let vikaParents: ParentsTuple = ['Мария', 27]; // ошибки нет
 
let olegParents: ParentsTuple = ['Виктор', 40, 'Ольга']; // ошибки тоже нет, а хотелось бы :)

Как сделать третий и четвертый элемент опциональными только совместно? Т.е. либо 2 элемента, либо 4.

@Masson1848 · 29.03.2021, 20:10

JavaScript
1
2
3
4
5
6
type ParentsTuple = [string, number] | [string, number, string, number];
const sashaParents: ParentsTuple = ['Дмитрий', 35, 'Ирина', 34]; // ошибки нет
 
const vikaParents: ParentsTuple = ['Мария', 27]; // ошибки нет
 
const olegParents: ParentsTuple = ['Виктор', 40, 'Ольга']; // ошибки тоже нет, а хотелось бы :)

@DimaDima1985 · 30.03.2021, 11:29 **[ТС]**

Masson1848, ну это понятно, тут union обычный.
А если нужно, допустим, неограниченное число пар, но в подобной последовательности?

@Masson1848 · 30.03.2021, 19:50

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

@DimaDima1985 · 30.03.2021, 21:41 **[ТС]**

Сообщение от Masson1848

как та себе представляешь

Я представляю это так, как я написал.
Любое число пар string + number.
В этом вопрос.

@IPcorp · 30.03.2021, 21:44

...хм, тогда не мешало бы добавить к вопросу еще строку:

JavaScript
1
let olyParents: ParentsTuple = ['Виктор', 40, 'Ольга', 35, 'Ирина', 34]; // ошибка есть, а не хотелось бы :)

...как вариант, если пара это неразрывное целое, реализовать так:

JavaScript
1
2
3
4
5
type ParentsTuple = [string, number][];
let sashaParents: ParentsTuple = [['Дмитрий', 35], ['Ирина', 34]]; // ошибки нет
let vikaParents: ParentsTuple = [['Мария', 27]]; // ошибки нет
let olegParents: ParentsTuple = [['Виктор', 40], ['Ольга']]; // ошибки тоже нет, а хотелось бы :)
let olyParents: ParentsTuple = [['Виктор', 40], ['Ольга', 35], ['Ирина', 34]]; // ошибка есть, а не хотелось бы :)

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

@DimaDima1985 · 30.03.2021, 22:23 **[ТС]**

IPcorp, массивы в массиве - неплохой вариант, но у меня вопрос больше теоретический. Кажется, пока это просто не реализовано в TS. При том, что можно в кортежах использовать и оператор ... , и оператор ?, но нельзя обернуть в скобки и скобкам поставить оператор ?.

@Masson1848 · 31.03.2021, 10:54

IPcorp, Ваша проблема решается так

JavaScript
1
2
3
4
5
6
7
type ParentsTuple = [string, number];
type ParentsTupleArray= Array<ParentsTuple>;
 
const sashaParents: ParentsTupleArray = [ [ 'Дмитрий', 35 ], [ 'Ирина', 34 ] ]; // ошибки нет
const vikaParents: ParentsTupleArray = [ [ 'Мария', 27 ] ]; // ошибки нет
const olegParents: ParentsTupleArray = [ [ 'Виктор', 40 ], [ 'Ольга' ] ]; // Ошибка есть
const olyParents: ParentsTupleArray = [ [ 'Виктор', 40 ], [ 'Ольга', 35 ], [ 'Ирина', 34 ] ]; // Ошибки нет

Добавлено через 1 минуту
В результате вы получаете массив пар, который можете обходить в любом формате

@IPcorp · 03.04.2021, 00:56

DimaDima1985, решил отвлечься и вернулся к этому "теоретическому" вопросы. И наткнулся на здесь. Как бы близкий вопрос решается, хотя, по ходу, и тот через эдакий костылище. И опять же, через as const, то бишь получаем кортеж (конечную сущность), и уже по нему идем. В плане массива даже интересно, как разработчики, если возьмутся это реализовывать, выкрутятся. По определению Array у нас мутабельный со всех сторон. TS же просто статический анализатор, он в принципе на поведение JS влиять не может, а только определять его (о выдал

). Хотя интересно было бы иметь в TS какие-нить сущности, к примеру циклы и тому подобное, которые бы работали исключительно с типами

В общем, если с просто элементом массива все понятно, как бы не сложно его проверить, тем более и по массиву то самому бежать нет необходимости, то в плане того же

JavaScript
1
['Виктор', 40, 'Ольга', 35, 'Ирина', 34]

у нас "хм", учитывая что и размер то массива динамический. Нужно как-то описать, и без рекурсии тут никак, как бы некий такой тип

JavaScript
1
[string, number] | [string, number, string, number] | [string, number, string, number, string, number] | ...

, что в итоге выльется в

Type instantiation is excessively deep and possibly infinite.ts(2589)

Такое же получил, когда просто примитивно попытался описать поочередную последовательность типов string и number в массиве:

JavaScript
1
2
3
type Circular<T, U> = T extends string ? Circular<U, T> : Circular<T, U>;
 
type MType = Circular<string, number>;

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

JavaScript
1
2
3
type Circular<T, U> = any extends never ? never : Circular<T, U>[] | T | U;
 
type MType = Circular<string, number>;

и получил:

JavaScript
1
type MType = string | number | (string | number | (string | number | (string | number | (string | number | (string | number | (string | number | (string | number | (string | number | (string | ... 1 more ... | (string | ... 1 more ... | (string | ... 1 more ... | ...)[])[])[])[])[])[])[])[])[])[])[]

грубо говоря вернулся к эквиваленту типа:

(string | number)[]

как заставить его построить тип:

JavaScript
1
[string, number] | [string, number, string, number] | [string, number, string, number, string, number] | ...

я без малейшего понятия, учитывая что и знаком то с TS меньше месяца

Может кто когда проявит академический интерес и продолжит тему.

Новые блоги и статьи Все статьи Все блоги /
Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .
Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .

@DimaDima1985 331 / 238 / 80 Регистрация: 15.11.2017 Сообщений: 453 Записей в блоге: 4
	30.03.2021, 11:29 [ТС]
	Masson1848, ну это понятно, тут union обычный. А если нужно, допустим, неограниченное число пар, но в подобной последовательности? 0

@Masson1848 315 / 244 / 149 Регистрация: 03.10.2017 Сообщений: 886 Записей в блоге: 1
	30.03.2021, 19:50
	DimaDima1985, ты можешь ограничить только типом, как та себе представляешь ещё что будет у тебя компилятор ругаться? через ? Ты создаёшь необязательные поля 0

@DimaDima1985 331 / 238 / 80 Регистрация: 15.11.2017 Сообщений: 453 Записей в блоге: 4
	30.03.2021, 22:23 [ТС]
	IPcorp, массивы в массиве - неплохой вариант, но у меня вопрос больше теоретический. Кажется, пока это просто не реализовано в TS. При том, что можно в кортежах использовать и оператор `...` , и оператор `?`, но нельзя обернуть в скобки и скобкам поставить оператор `?`. 0