// from a library
type T = null | "auto" | "text0" | "text1" | "text2" | "text3" | "text4";
//in my code
type N = Extract<T, `text${number}`> extends `text${infer R}` ? R : never
Для приведенного выше фрагмента кода N будет эквивалентно "0" | "1" | "2" | "3" | "4". Как я могу преобразовать это в числовой тип, то есть 0 | 1 | 2 | 3 | 4?
Уже пробовал вставлять & number в некоторых местах, например infer R & number, но ничего из этого не работает.
ОБНОВЛЕНИЕ
type MAXIMUM_ALLOWED_BOUNDARY = 999
type Mapped<
N extends number,
Result extends Array<unknown> = [],
> =
(Result['length'] extends N
? Result
: Mapped<N, [...Result, Result['length']]>
)
type NumberRange = Mapped<MAXIMUM_ALLOWED_BOUNDARY>[number] // 0.. 998
type ConvertToNumber<T extends string, Range extends number> =
(Range extends any
? (`${Range}` extends T
? Range
: never)
: never)
type _ = ConvertToNumber<'5', NumberRange> // 5
type __ = ConvertToNumber<'125', NumberRange> // 125
П.С. извините за название, я в этом не силен.
Кажется, в настоящее время это невозможно, но есть обходной путь.
Вы можете создать Dictionary для номеров в диапазоне 0..42:
// from a library
type Texts<T extends PropertyKey> = T extends number ? `text${T}` : never
type T = null | "auto" | Texts<Enumerate<43>>;
type PrependNextNum<A extends Array<unknown>> = A['length'] extends infer T ? ((t: T, ...a: A) => void) extends ((...x: infer X) => void) ? X : never : never;
type EnumerateInternal<A extends Array<unknown> N extends number> = { 0: A, 1: EnumerateInternal<PrependNextNum<A> N> }[N extends A['length'] ? 0 : 1];
type Enumerate<N extends number> = EnumerateInternal<[], N> extends (infer E)[] ? E : never;
type Dictionary = {
[Prop in Enumerate<43> as `${Prop}`]: Prop
}
// 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 ... 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42
type N =
Extract<T, `text${number}`> extends `text${infer R}`
? R extends keyof Dictionary
? Dictionary[R]
: never
: never
После того, как хвостовая рекурсия PR будет объединена
, можно будет сгенерировать гораздо больший диапазон.ОБНОВЛЕНИЕ - как я и обещал
Попробовать
type MAXIMUM_ALLOWED_BOUNDARY = 999
type Mapped<
N extends number,
Result extends Array<unknown> = [],
> =
(Result['length'] extends N
? Result
: Mapped<N, [...Result, Result['length']]>
)
// 0 , 1, 2 ... 998
type NumberRange = Mapped<MAXIMUM_ALLOWED_BOUNDARY>[number]
type Texts<T extends PropertyKey> = T extends number ? `text${T}` : never
type T = null | "auto" | Texts<NumberRange>;
type Dictionary = {
[Prop in NumberRange as `${Prop}`]: Prop
}
// 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 ... 998
type N =
Extract<T, `text${number}`> extends `text${infer R}`
? R extends keyof Dictionary
? Dictionary[R]
: never
: never
Вы можете попробовать указанное выше решение на игровой площадке TS с версией TS 4.5 (ночная) Код намного проще.
Здесь у вас есть javascript-представление Mapped:
const Mapped = (N: number, Result: number[] = []): number[] => {
if (Result.length === N) {
return Result
}
return Mapped(N, [...Result, Result.length])
}
Ничего сложного. Хвостовая рекурсия.
Ох. Новый пиар от самого босса. TailRec в системе типов был бы отличным дополнением :)
@spender правда. У меня уже есть много ответов, которые нужно улучшить ))
Мне понадобится секунда, чтобы понять, что здесь происходит, но это может быть излишним для того, что мне нужно. Хотя за эту идею спасибо
вечером дополню описание
Спасибо за ответ, @captain-yossarian. Я обнаружил, что вы также можете сохранить кортеж Mapped<MAXIMUM_ALLOWED_BOUNDARY> и индексировать, используя строковый индекс. Конечно, Range должен быть кортежем.
type MAXIMUM_ALLOWED_BOUNDARY = 999
type Mapped<
N extends number,
Result extends Array<unknown> = [],
> =
(Result['length'] extends N
? Result
: Mapped<N, [...Result, Result['length']]>
)
type NumberRange = Mapped<MAXIMUM_ALLOWED_BOUNDARY>; // <- tuple [0, 1, 2, 3, ...]
type ConvertToNumber<T extends string, Range extends number[]> =
T extends keyof Range ? Range[T] : never;
type _ = ConvertToNumber<'5', NumberRange> // 5
type __ = ConvertToNumber<'125', NumberRange> // 125
На данный момент это кажется невозможным coderhelper.com/questions/65410801/…
Вы можете создать структуру данных хэш-карты и карту из
"1" -> 1, но она не является универсальной и работает только для 10 цифр.@captain-yossarian TBH Я предпочитаю просто создавать
type N = 0 | 1 | 2 | 3 | 4вручную, пока не будет доступно встроенное решение TS. Хотя спасибо за идею