浅聊泛型常量参数 Const Generic
💡
原文中文，约6400字，阅读约需16分钟。
📝
内容提要
为了解决宏编译时统计 token tree 序列的长度问题，提出了采用泛型常量参数的方法，以及 Repetition Replacement(RR) 和元变量表达式 ${ignore(识别符名)} 等改善宏循环结构使用体验的设计模式，还有 Array Length、Slice Length、枚举计数法和比特计数法等统计 token tree 序列长度的方法。
🎯
关键要点
- 为了解决宏编译时统计 token tree 序列的长度问题，提出了泛型常量参数的方法。
- 宏递归深度有限，默认最大为 128 层，导致被统计序列长度受限。
- 通过每次宏递归统计多个 token，可以降低总递归次数，允许更长的 token tree 序列。
- 将递归调用变形成循环结构是解决问题的根本方法，循环不会增加调用栈深度。
- Array Length 设计模式通过将 token tree 序列变形成数组字面量来实现长度统计。
- 泛型常量参数允许泛型项接受常量值或常量表达式作为泛型参数，增强灵活性。
- 泛型常量参数的使用存在同名冲突、声明和使用限制等问题。
- 泛型常量参数可用于常量项适用的所有位置，但有些位置不适用。
- 数组重复表达式允许使用泛型常量形参，但在右侧长度操作数位置上有特定限制。
- 循环替换设计模式和元变量表达式用于改善宏循环结构的使用体验。
- 统计 token tree 序列长度的方法还包括 Slice Length、枚举计数法和比特计数法等。
- 比特计数法是一种算法优化，将复杂度从 O(n) 降到 O(log(n))。
➡️
