maredbf · 2025 年 12 月 16 日 via iPhone · 2872 次点击

我用 C++ 实现了一个模式匹配库 Patternia： https://github.com/sentomk/patternia

目前整体设计与实现已经趋于稳定，具备实际可用性，但仍然非常依赖真实使用场景来暴露设计与语义层面的不足，因此非常欢迎 issue 、反馈或设计层面的讨论。

Patternia 旨在以零运行时开销的方式，为 C++ 提供一种更结构化、更具表达力的条件分支与数据解构机制，使控制流能够围绕数据的形态与语义展开，而不是分散在大量 if / switch 与手动解构之中。

当前已支持的核心能力包括（但不限于）：

• 值模式与字面量匹配
• 结构化匹配与成员解构
• 绑定模式与占位符
• 守卫模式（ guard ）与自定义谓词约束

可以参考这里的示例集合来直观看看 Patternia 的实际用法： https://github.com/sentomk/patternia/tree/main/samples

对 variant 等代数式数据结构以及运行时多态的模式匹配已在规划中，后续的稳定版本也将逐步完善穷尽性检查与编译期诊断能力。