17370845950

编译期正则表达式是在C++编译阶段完成匹配与验证的constexpr机制，以CTRE库为代表，支持模板化字符串字面量解析、编译期错误检查及constexpr结果推导，用于格式校验、常量提取和元编程驱动。

编译期正则表达式，是指在 C++ 编译阶段就完成正则匹配、解析与验证的机制，不依赖运行时库（如 std::regex），所有逻辑由编译器在 constexpr 上下文中求值。它的核心是利用 C++17 起强化的 constexpr 能力，配合模板元编程和字符串字面量处理，把“正则引擎”搬进编译器。

CTRE 库：轻量、高效、纯 constexpr 的正则实现

CTRE（Compile-Time Regular Expressions）是目前最主流的编译期正则库，由 Hans Dembinski 开发，支持 C++17 及以上。它不使用宏、不依赖运行时，所有匹配操作（ctre::search、ctre::find、ctre::split 等）均可在 constexpr 函数中调用。

• 正则模式以字符串字面量形式传入模板参数，例如 ctre::re()，编译器据此生成专用匹配状态机
• 匹配结果（如子串位置、捕获组）在编译期可推导为 constexpr 值，可用于数组大小、if constexpr 分支、模板参数推导等场景
• 错误检查也发生在编译期：非法正则语法（如 "[a-z["）会触发 SFINAE 或静态断言，直接报错

典型 constexpr 应用：验证字面量 + 驱动元编程

编译期正则不是为了替代运行时匹配，而是解决“已知固定格式”的编译期校验与结构提取问题。

• 配置/标识符合法性检查：比如要求枚举名必须匹配 "k[A-Z][a-zA-Z0-9]*"，可在 static_assert 中直接验证
• 从字符串字面量提取编译期常量：例如解析版本号 "v2.15.0" 得到 constexpr int MAJOR = 2, MINOR = 15，用于条件编译或版本特化
• 生成类型列表或参数包：结合 CTRE 的 ctre::captures 和 std::tuple 拆解，把匹配到的各组转为不同类型，驱动后续模板实例化

与 std::regex 的本质区别

标准库 std::regex 是运行时引擎：构造对象开销大、匹配过程不可预测、无法参与 constexpr 计算；而 CTRE 的每个正则表达式都是一个独立的、零成本的模板特化，无动态内存、无虚函数、无分支预测失败惩罚。

• std::regex 的模式字符串在运行时解析，可能抛异常；CTRE 模式在编译期解析，错误即编译失败
• std::regex_match("123", std::regex("\\d+")) 返回 bool；CTRE 的 ctre::match("123") 是 constexpr bool，可用于 if constexpr
• CTRE 不支持所有 PCRE 特性（如回溯引用、动态断言），但覆盖了绝大多数结构化文本解析需求（字符类、量词、分组、非贪婪等）

基本上就这些。编译期正则不是银弹，但它让“字符串即类型信息”真正可行——只要格式确定、内容已知，就能把文本解析这件事，提前到编译器做决定。