题目

Github: StringToUnion

实现一个将接收到的 String 参数转换为一个字母 Union 的类型。

type Test = '123';
type Result = StringToUnion<Test>; // expected to be "1" | "2" | "3"

解题思路

通过模板字面量类型 和 条件类型推断，从字符串中取出一个个字符，并使用 尾递归的方式，将字符串转为联合类型。

答案

type StringToUnion<S extends string> = 
  S extends `${infer L}${infer R}` ? `${L | StringToUnion<R>}` : never

验证

import { Equal, Expect } from '~/tc-utils'
type StringToUnion<S extends string> = 
  S extends `${infer L}${infer R}` ? `${L | StringToUnion<R>}` : never

// ---cut---
type cases = [
  Expect<Equal<StringToUnion<''>, never>>,
  Expect<Equal<StringToUnion<'t'>, 't'>>,
  Expect<Equal<StringToUnion<'hello'>, 'h' | 'e' | 'l' | 'l' | 'o'>>,
  Expect<Equal<StringToUnion<'coronavirus'>, 'c' | 'o' | 'r' | 'o' | 'n' | 'a' | 'v' | 'i' | 'r' | 'u' | 's'>>,
]

参考

• 模板字面量类型 Template Literal Types
• 条件类型 Conditional Types
• 条件类型中的类型推断 Type Inference in Conditional Types
• 递归条件类型 Recursive Conditional Types
• 联合类型 Union Types