TypeScript Academy · 강의

템플릿 리터럴로 파싱하기

infer를 사용해 문자열에서 구조화된 데이터를 추출합니다.

템플릿 리터럴로 파싱하기은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 4개 중 3번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

분할에서 구조로

분할하면 부분들의 튜플을 얻습니다. 파싱은 여기서 더 나아가 문자열 타입에서 이름이 지정된 구조화된 데이터를 추출합니다. 여러 infer 변수가 포함된 템플릿 리터럴 패턴을 사용하여 필요한 부분을 꺼냅니다.

표기법: 실제 TypeScript에서는 달러-중괄호 구멍이 포함된 백틱으로 구분된 문자열을 사용해 템플릿 리터럴 타입을 작성합니다. 이 코드 조각에서는 해당 패턴을 Tpl<...>로 표시하고 각 부분을 순서대로 나열합니다. 예를 들어 리터럴 접두사와 그다음 Rest에 일치하는 백틱 템플릿은 Tpl<'prefix', infer Rest>로 표시합니다.

type KeyValue<S> =
  S extends Tpl<infer K, '=', infer V> ? { key: K; value: V } : never;
// Tpl<K, '=', V> matches K, an equals sign, then V

type X = KeyValue<'name=alice'>; // { key: 'name'; value: 'alice' }

여러 추론 지점

하나의 패턴으로 여러 필드를 한 번에 캡처할 수 있습니다. "GET /users"를 파싱할 때 조건부 타입 하나에서 메서드와 경로를 함께 추론합니다.

type Request<S> =
  S extends Tpl<infer Method, ' ', infer Path>
    ? { method: Method; path: Path }
    : never;
// Tpl<Method, ' ', Path> matches the method, a space, then the path

type X = Request<'GET /users'>; // { method: 'GET'; path: '/users' }

추론된 부분 좁히기

extends를 인라인으로 사용하면 추론된 변수를 제한하여 특정 형태에만 일치하도록 만들 수 있습니다. 여기서 메서드는 알려진 동사여야 합니다.

type Method = 'GET' | 'POST';
type Parse<S> =
  S extends Tpl<(infer M extends Method), ' ', infer P>
    ? { method: M; path: P }
    : never;
// the inferred M is constrained to Method inside the template pattern

type X = Parse<'POST /x'>; // { method: 'POST'; path: '/x' }

키-값 쌍 파싱

분할과 파싱을 결합합니다. 쿼리 문자열을 쌍으로 분할한 다음 각 쌍을 키와 값으로 파싱합니다. 결과는 구조화된 항목들의 튜플입니다.

type Pair<S> =
  S extends Tpl<infer K, '=', infer V> ? [K, V] : [S, ''];
// Tpl<K, '=', V> splits a 'key=value' string literal type

type X = Pair<'page=2'>; // ['page', '2']

쌍에서 객체 만들기

매핑 및 교차 누산기를 사용하여 키-값 쌍의 튜플을 객체 타입으로 접습니다. 각 쌍이 속성 하나를 추가합니다.

type FromPairs<T extends [string, string][]> =
  T extends [[infer K extends string, infer V], ...infer R extends [string, string][]]
    ? { [P in K]: V } & FromPairs<R>
    : {};

type X = FromPairs<[["a", "1"], ["b", "2"]]>; // { a: "1" } & { b: "2" }

쿼리 문자열 파싱

이제 모두 결합해 보겠습니다. "&"에서 분할하고, 각 부분을 "="에서 파싱한 다음 객체를 만듭니다. 이제 컴파일러는 쿼리 문자열 리터럴의 정확한 키를 알 수 있습니다.

type ParseQuery<S extends string> =
  FromPairs<{ [I in keyof SplitAmp<S>]: Pair<SplitAmp<S>[I] & string> }>;
// where SplitAmp splits on "&" (from previous lesson)

숫자 추출

추론된 부분은 항상 문자열 리터럴 타입입니다. 한 부분을 숫자로 처리하려면 숫자 패턴에 일치하는지 확인하거나 숫자만 허용하는 제약을 통해 매핑합니다. 값은 리터럴 타입으로 유지됩니다.

type IsNumeric<S extends string> =
  S extends Tpl<number> ? true : false;
// Tpl<number> is a template literal type that matches any numeric string

type X = IsNumeric<'42'>; // true
type Y = IsNumeric<'4a'>; // false

선택적 세그먼트

선택적 부분을 처리하려면 패턴의 합집합을 사용합니다. 더 구체적인 패턴을 먼저 시도하고, 일치하지 않으면 더 단순한 패턴으로 대체합니다.

type ParsePath<S> =
  S extends Tpl<infer Base, '?', infer Query>
    ? { base: Base; query: Query }
    : { base: S; query: '' };
// Tpl<Base, '?', Query> matches an optional query after a question mark

type X = ParsePath<'/x?a=1'>; // { base: '/x'; query: 'a=1' }

공백과 예외 사례

실제 문자열에는 불필요한 공백이 포함될 수 있습니다. 이전 과정의 Trim과 파서를 조합하여 앞뒤 공백 때문에 추출된 필드가 손상되지 않도록 하십시오.

type CleanKey<S extends string> = Trim<S>;
// Apply Trim to each inferred segment before using it

이 방식이 강력한 이유

템플릿 리터럴 파싱을 사용하면 컴파일러가 날짜, 경로, 환경 키, SQL 조각과 같은 형식을 이해할 수 있습니다. 잘못 입력한 문자열은 컴파일 오류가 되고, 이후의 타입은 파싱된 구조에 따라 달라질 수 있습니다. 문자열 리터럴이 타입이 지정된 값이 되는 것입니다.

type Event<S> =
  S extends Tpl<infer Domain, ':', infer Action>
    ? { domain: Domain; action: Action }
    : never;
// Tpl<Domain, ':', Action> matches 'domain:action'
type X = Event<'user:created'>; // { domain: 'user'; action: 'created' }

파서 조합하기

값 수준의 조합자와 마찬가지로 타입 수준의 파서도 조합할 수 있습니다. 분할한 다음 각 부분을 파싱하고 객체를 조립합니다. 각 단계는 작은 조건부 타입이며, 이들을 함께 사용하면 완전한 타입 지정 파서가 됩니다.

// Split -> Pair -> FromPairs is a parser pipeline at the type level

빠른 확인

템플릿 리터럴 파싱에 대한 이해도를 테스트해 보십시오.

복습

문자열 타입에서 구조화된 데이터를 추출했습니다.

여러 infer 지점으로 하나의 패턴에서 이름이 지정된 필드를 캡처할 수 있습니다.
추론된 부분은 인라인 extends를 사용하여 더 좁힐 수 있습니다.
Split, Pair, FromPairs를 조합하여 쿼리 파서를 만들 수 있습니다.
Trim과 숫자 검사를 사용하면 예외 사례를 처리할 수 있습니다.

다음 주제: 완전한 미니 경로 파서

자주 묻는 질문

“템플릿 리터럴로 파싱하기” 강의는 무료인가요?

네 — “템플릿 리터럴로 파싱하기” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

“템플릿 리터럴로 파싱하기”에서 뭘 배우나요?

infer를 사용해 문자열에서 구조화된 데이터를 추출합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 3번째 강의입니다.

“템플릿 리터럴로 파싱하기” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

← TypeScript Academy(으)로 돌아가기