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。