# type-challenges 300번 문제 분석 및 해결 ## 문제 분석 **목표**: 문자열 타입을 숫자 타입으로 변환하는 `ToNumber` 유틸리티 타입 구현. 변환이 불가능한 경우(예: 숫자가 아닌 문자 포함) `never` 반환. **테스트 케이스 요약**: - `"0"` → `0` - `"-3"` → `-3` - `"12"` → `12` - `"0xaf"` → `never` (유효하지 않은 입력) ## 해결 전략 1. **문자열 분해**: 재귀적으로 각 문자를 처리하며 숫자 누적 계산 2. **부호 처리**: 첫 문자가 `"-"`인 경우 음수 변환 3. **숫자 변환 검증**: 각 문자가 `0-9` 범위인지 확인 4. **수치 연산 시뮬레이션**: 배열 길이를 이용한 곱셈/덧셈 구현 ## 핵심 TypeScript 개념 - **템플릿 리터럴 타입**: 문자열 패턴 매칭 - **조건부 타입**: 타입 분기 처리 - **재귀 타입**: 문자열 순회 - **맵 타입**: 문자-숫자 매핑 (`DigitMap`) - **배열 길이 연산**: 수치 연산 에뮬레이션 ## 구현 코드 ```typescript type DigitMap = { '0': 0; '1': 1; '2': 2; '3': 3; '4': 4; '5': 5; '6': 6; '7': 7; '8': 8; '9': 9; }; type CreateArray = T['length'] extends N ? T : CreateArray; type Multiply10 = [ ...CreateArray, ...CreateArray, ...CreateArray, ...CreateArray, ...CreateArray, ...CreateArray, ...CreateArray, ...CreateArray, ...CreateArray, ...CreateArray ]['length']; type Add = [...CreateArray , ...CreateArray]['length']; type Process = S extends `${infer C}${infer Rest}` ? C extends keyof DigitMap ? Process, DigitMap[C]>> : never : Acc; type Negative = `-${T}` extends `${infer R extends number}` ? R : never; type ToNumber = S extends '' ? never : S extends `${infer Sign}${infer Rest}` ? Sign extends '-' ? Rest extends '' ? never : Process extends never ? never : Negative> : Process : never; ``` ## 코드 분석 1. **DigitMap**: 문자-숫자 매핑 딕셔너리 2. **CreateArray**: 주어진 길이의 배열 생성 (숫자 → 배열 변환) 3. **Multiply10**: 배열 10회 복제 후 길이 반환 (×10 연산) 4. **Add**: 두 배열 병합 후 길이 반환 (덧셈 연산) 5. **Process**: 재귀적 문자열 처리 (누적 계산) 6. **Negative**: 양수 → 음수 변환 (템플릿 리터럴 활용) 7. **ToNumber**: 최상위 로직 (부호 처리, 예외 케이스 처리) ## 주요 지식 - 재귀적 타입 처리 패턴 - 타입 시스템 내 산술 연산 구현 기법 - 템플릿 리터럴 타입의 고급 활용 - 타입 가드 및 조건부 타입 활용 ## 확장 논의 **최적화 방안**: 1. **Tail-Recursive 방식**: 재귀 깊이 제한 극복 2. **튜플 연산 최적화**: 병합 연산 간소화 3. **TS 4.8+ 내장 기능 활용**: ```typescript type ToNumber = S extends `${infer N extends number}` ? N : never; ``` - 장점: 간결함, 대부분 케이스 커버 - 단점: 비표준 형식(16진수 등) 처리 불명확 **적용 시나리오**: - 환경 변수 파싱 (문자열 → 숫자 검증) - API 응답 타입 검증 - 설정 파일 값 타입 변환 ## 관련 문제 추천 1. **00110-medium-tuple-to-union**: 유니온 타입 변환 (재귀 처리 연습) 2. **00529-medium-absolute**: 절댓값 타입 구현 (음수 처리 응용) 3. **00531-medium-string-to-union**: 문자열 분해 기법 연습 4. **00476-extreme-sum**: 수학 연산 확장 적용 각 문제는 문자열 처리, 재귀 알고리즘, 타입 시스템 활용 능력을 키우는 데 도움됨. ```

00300-hard-string-to-numberHardtemplate-literal

실행

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