# Análise e Resolução do Desafio type-challenges/00300-hard-string-to-number ## Análise do Problema **Objetivo**: Criar um tipo `ToNumber` que converta uma string numérica (ex: `"123"`) para o tipo numérico correspondente (ex: `123`). Se a string não for válida (contém caracteres não numéricos), retorne `never`. **Requisitos**: - Lidar com números positivos e negativos. - Rejeitar strings com caracteres não numéricos (ex: `"12a"` → `never`). --- ## Estratégia de Solução 1. **Mapeamento de Caracteres**: Converter cada caractere da string em seu equivalente numérico. 2. **Processamento Recursivo**: Acumular o valor numérico usando operações de multiplicação e adição simuladas via manipulação de tuplas. 3. **Tratamento de Negativos**: Identificar o sinal `-` e ajustar o resultado final. 4. **Validação de Entrada**: Retornar `never` se caracteres inválidos forem encontrados. **Conceitos Principais**: - Template Literal Types para decompor strings. - Tipos Condicionais e Recursão para processamento iterativo. - Mapeamento de tipos para conversão caractere → número. - Manipulação de tuplas para simular operações aritméticas. --- ## Implementação do Código ```typescript type CharToNum = { '0': 0, '1': 1, '2': 2, '3': 3, '4': 4, '5': 5, '6': 6, '7': 7, '8': 8, '9': 9 }; type TupleOfLength = T['length'] extends L ? T : TupleOfLength; type Multiply10 = [ ...TupleOfLength, ...TupleOfLength, ...TupleOfLength, ...TupleOfLength, ...TupleOfLength, ...TupleOfLength, ...TupleOfLength, ...TupleOfLength, ...TupleOfLength, ...TupleOfLength ]['length']; type Add = [...TupleOfLength , ...TupleOfLength]['length']; type ToNumberHelper = S extends `${infer F}${infer R}` ? F extends keyof CharToNum ? ToNumberHelper, CharToNum[F]>> : never : Acc; type ToNumber = S extends `${infer Sign}${infer Rest}` ? Sign extends '-' ? ToNumberHelper extends infer N extends number ? `-${N}` extends `${infer M extends number}` ? M : never : never : ToNumberHelper : ToNumberHelper; ``` --- ## Explicação do Código 1. **CharToNum**: Mapeia cada caractere numérico para seu equivalente em número. 2. **TupleOfLength**: Cria uma tupla de comprimento `L`, usado para simular números via comprimento de arrays. 3. **Multiply10**: Multiplica o comprimento de uma tupla por 10, concatenando 10 cópias dela. 4. **Add**: Soma dois números via concatenação de tuplas. 5. **ToNumberHelper**: Processa recursivamente cada caractere: - Se o caractere atual (`F`) é válido, atualiza o acumulador (`Acc`) com `Acc * 10 + F`. - Se inválido, retorna `never`. 6. **ToNumber**: Trata o sinal negativo (se presente) e chama `ToNumberHelper` para o cálculo. --- ## Técnicas Avançadas Utilizadas - **Template Literal Types**: Decomposição de strings em partes (`${infer F}${infer R}`). - **Tipos Condicionais**: Verificação de validade de caracteres e sinal negativo. - **Recursão em Tipos**: Processamento iterativo de strings e cálculos aritméticos. - **Mapeamento de Tuplas**: Simulação de operações matemáticas via manipulação de comprimento de arrays. --- ## Discussão e Otimizações **Desafios**: - Limitações de recursão do TypeScript (~1000 níveis). - Ineficiência em números grandes devido à manipulação de tuplas. **Alternativas**: - Uso de técnicas de divisão e conquista para reduzir a profundidade recursiva. - Pré-computar valores para strings curtas usando lookup tables. **Cenários de Uso**: - Parsing de parâmetros de URL ou configurações em formato de string. - Validação de formatos numéricos em tempo de compilação. --- ## Recomendações de Desafios Relacionados 1. **[00298-medium-length-of-string](https://github.com/type-challenges/type-challenges/blob/main/questions/00298-medium-length-of-string/README.md)**: Calcula o comprimento de uma string, útil para praticar manipulação de strings. 2. **[1130-hard-replace](https://github.com/type-challenges/type-challenges/blob/main/questions/01130-hard-replace/README.md)**: Substitui partes de uma string, explorando decomposição complexa. 3. **[476-extreme-sum](https://github.com/type-challenges/type-challenges/blob/main/questions/00476-extreme-sum/README.md)**: Realiza soma aritmética em tipos, complementando a lógica de manipulação numérica. **Por quê?** Esses desafios reforçam habilidades em manipulação de strings, recursão e operações matemáticas em tipos, diretamente relacionadas à solução deste problema.

00300-hard-string-to-numberHardtemplate-literal

Executar

00300-hard-string-to-number
Hard
template-literal