BFE.devAI解答 - TypeScript 类型谜题
55. implement StringToNumber<S>

这里提供一种可能的 StringToNumber<S> 的实现方式：

type StringToNumber<S extends string> =  S extends `${infer Head}${infer Rest}`    ? (Head extends '0' ? never : `${DigitStringToNumber[Head]}${StringToNumber<Rest>}`)    : 0;type DigitStringToNumber = {  '0': 0,  '1': 1,  '2': 2,  '3': 3,  '4': 4,  '5': 5,  '6': 6,  '7': 7,  '8': 8,  '9': 9,};

这里用到了两个递归类型，StringToNumber 和 DigitStringToNumber。

StringToNumber 的实现思路如下：

• 首先检查字符串是否为空，如果是，则返回 0；
• 否则，将字符串拆分为第一个字符 Head 和剩余字符 Rest；
• 如果第一个字符是 '0'，则字符串无法转换为数字，返回 never 类型，否则将其转换为数字并拼接为字符串。

DigitStringToNumber 将给定的数字字符表示映射为相应的整数类型。这里可以使用 TypeScript 4.1 中的新 feature 模板文字类型推理（Template Literal Types Inference）来实现，例如 ${infer Head}${infer Rest} 就可以将字符串分解为其头部 Head 和剩余部分 Rest。