### 实现百分比解析器实现 PercentageParser。根据 `/^(\+|\-)?(\d*)?(\%)?$/` 正则表达式匹配 `T` 并获取三个匹配项,结构应为：[ `plus or minus` , `number` , `unit` ] 如果没有捕获，默认为空字符串题目链接[Percentage Parser](https://typehero.dev/challenge/percentage-parser) ```typescript type PString1 = "" type PString2 = "+85%" type PString3 = "-85%" type PString4 = "85%" type PString5 = "85" type R1 = PercentageParser // expected ['', '', ''] type R2 = PercentageParser // expected ["+", "85", "%"] type R3 = PercentageParser // expected ["-", "85", "%"] type R4 = PercentageParser // expected ["", "85", "%"] type R5 = PercentageParser // expected ["", "85", ""] ``` 初次看到这个题目可能会感觉无从下手，因为如果想要一次性写完所有情况明显是比较困难的，那么我们可以拆分问题，先解决开头的符号以及末尾的百分号，最后再处理中间的数字，因为如果从前到后解析的话对于数字类型就不太好判定了，而在确认了前后类型后再判断中间的类型比较简单 ```typescript type ParseSign = T extends `${infer F extends "+" | "-"}${string}` ? F : ""; type ParsePercentage = T extends `${string}${infer R extends "%"}` ? R : ""; type ParseNumber = T extends `${ParseSign}${infer N}${ParsePercentage}` ? N : ""; type PercentageParser = [ParseSign, ParseNumber, ParsePercentage]; ``` ### infer extends 这里用到了一个知识点`infer X extends`,它是TS4.8+的语法,用于在条件类型中同时进行模式匹配和类型约束,[官方链接](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-8.html#improved-inference-for-infer-types-in-template-string-types) ```typescript // SomeNum used to be 'number'; now it's '100'. type SomeNum = "100" extends `${infer U extends number}` ? U : never; // SomeBigInt used to be 'bigint'; now it's '100n'. type SomeBigInt = "100" extends `${infer U extends bigint}` ? U : never; // SomeBool used to be 'boolean'; now it's 'true'. type SomeBool = "true" extends `${infer U extends boolean}` ? U : never; // 基本形式 type Example = T extends `${infer U extends string}` ? U : never; // 这里的 `U extends string` 表示推断出的 U 必须是 string 类型 ``` 以上文中对正负号的推断举例，在TS4.8以前，没有`infer extends`的时候，我们可能需要如此实现 ```typescript type ParseSign = T extends `${infer F}${string}` ? F extends "+" | "-" ? F : "" : ""; ``` 也就是需要先推断`F`,然后再进一步判断约束`F`的范围，但是4.8之后就可以简化这个步骤 ### 应用场景 - 解析字符串格式（如百分比、日期、货币） - 验证和提取特定模式的字符串部分 - 构建类型安全的字符串处理器