ctre 是纯头文件的 C++20 编译期正则库，需编译器支持 C++20 并启用对应标准，直接包含 single_header/ctre.hpp 即可使用，所有正则必须为字符串字面量，不支持运行时字符串。
ctre 库怎么装进项目里
ctre 是头文件库，不用编译安装，但必须确保编译器支持 C++20 且启用 -std=c++20（GCC/Clang）或 /std:c++20（MSVC）。它依赖编译器的模板深度和 constexpr 能力，Clang 14+、GCC 12+、MSVC 19.32+ 比较稳。
常见错误现象：error: constexpr if is not allowed in a template argument 或大量 constexpr evaluation exceeded step limit —— 多半是编译器太旧，或正则太复杂触发了 constexpr 步数限制。
实操建议：
- 从 GitHub 下载最新
single_header/ctre.hpp，直接#include "ctre.hpp"，不走包管理器更可控 - 在 CMake 中显式加
set(CMAKE_CXX_STANDARD 20)，并检查target_compile_options是否真传给了编译器 - 别用
std::regex的写法去套 ctre：ctre 不接受运行时字符串，所有模式必须是字面量字符串字面量（"\d+"），不能是std::string或变量
如何写一个编译期匹配函数
ctre 的核心是 ctre::re 模板和 .match() / .search() 成员函数，它们在编译期展开为状态机代码。匹配失败会直接导致编译错误，不是返回 false。
立即学习“C++免费学习笔记（深入）”；
使用场景：校验宏参数、静态断言配置项格式、生成类型名时做命名规范检查。
实操建议：
- 基础匹配写法：
static_assert(ctre::re().match("foo123"));—— 注意双引号内是原始正则，反斜杠要双写 - 想提取捕获组？用
.search()返回ctre::match_result，再通过.get<1>()取第 1 组（索引从 0 开始，0 是全匹配） - 避免写
.*：它会导致编译时间爆炸甚至栈溢出；用[^\n]*或明确边界更安全
为什么 ctre::re 不能接受变量字符串
因为 ctre 的整个机制建立在编译期字符串字面量（std::string_literal）之上。ctre::re 是个模板，它的模板参数必须是常量表达式，而任何运行时变量（哪怕 const std::string&）都不满足条件。
常见错误现象：error: the value of 's' is not usable in a constant expression，哪怕你写了 constexpr std::string_view s = "abc"; —— C++20 的 std::string_view 构造函数不是 constexpr 的（直到 C++23 才部分支持）。
实操建议：
- 坚持用字符串字面量：
"\w+@\w+\.com"，别试图拼接或从宏展开中“构造”它 - 如果需要多处复用同一模式，定义为
constexpr auto email_pattern = ctre::re(); - 别尝试绕过限制：比如把正则存在数组里再取 —— 编译器认不出那是字面量，照样报错
匹配失败时编译器报错太难读怎么办
ctre 展开后错误信息动辄几百行，关键线索往往埋在中间某句 no matching function for call to 'match' 或 template argument deduction/substitution failed 后面。
性能影响：正则越长、分支越多，编译时间增长非线性；一个带 5 个可选组的模式可能让单个 .match() 调用增加 2–3 秒编译延迟。
实操建议：
- 先用在线工具（如 regex101.com，选 “C++ (CTRE)” 模式）验证语法，尤其注意转义和锚点
- 把大正则拆成多个小
ctre::re分步断言，比如先match前缀，再对剩余部分search子模式 - 开启编译器简化错误：Clang 加
-fmacro-backtrace-limit=0，GCC 加-fmax-errors=1防止刷屏
最易被忽略的是：ctre 对 Unicode 支持有限，默认只处理 ASCII 字符类（d 等同于 [0-9]），不识别 UTF-8 多字节序列；如果你的字面量含中文或 emoji，匹配行为可能和预期完全不同。
