应使用 std::regex_search 而非 std::regex_match 进行子串提取，因其支持局部匹配并填充 smatch；需缓存 regex 对象、检查 m[i].matched、用 str() 提取捕获组，并合理设计 variant 类型以安全转换。
std::regex_match 和 std::regex_search 的选择直接影响提取逻辑
直接用 std::regex_match 会失败——它要求整个字符串完全匹配正则，而实际场景多是子串提取（比如从日志行里抓 IP 或时间戳）。必须用 std::regex_search，它支持局部匹配并填充 std::smatch。
注意：C++17 起 std::smatch 是 std::match_results<:string::const_iterator></:string::const_iterator> 的别名，内部存储的是迭代器位置而非拷贝字符串，所以提取时要显式构造 std::string：
std::string input = "id=123, name=alice";
std::regex re(R"(id=(\d+), name=(\w+))");
std::smatch m;
if (std::regex_search(input, m, re)) {
std::string id_str = m[1].str(); // 不是 m[1].first/m[1].second 直接用
std::string name_str = m[2].str();
}
std::variant 成员类型需覆盖所有可能的提取结果
不能只塞 std::string 和 int 就完事。正则捕获组内容全是字符串，转换失败（如非数字转 int）必须有 fallback 路径，否则 std::variant 构造会抛 std::bad_variant_access。
推荐组合：std::monostate（表示未匹配）、std::string（原始文本）、int64_t（安全整型）、double（浮点）、bool（需额外解析逻辑）——避免用 int，防止溢出。
立即学习“C++免费学习笔记（深入）”；
- 用
std::stoll()替代std::stoi()，捕获std::out_of_range异常后 fallback 到std::string - 布尔值建议约定字符串 "true"/"false"，不依赖
std::stoi("true")这种未定义行为 -
std::monostate必须作为第一个类型，方便默认构造和std::holds_alternative判空
封装函数需区分「单次提取」和「全部匹配」两种模式
一个正则可能匹配多次（如提取所有邮箱），但 std::regex_search 默认只找第一个。若要全量提取，得循环调用，并更新搜索起始位置：
std::vector<std::variant<std::monostate, std::string, int64_t>> extract_all(
const std::string& s, const std::regex& re, size_t group_idx = 0) {
std::vector<std::variant<...>> results;
std::string::const_iterator it = s.cbegin();
std::smatch m;
while (std::regex_search(it, s.cend(), m, re)) {
auto& sub = m[group_idx];
if (sub.matched) {
results.push_back(try_parse_as_number(sub.str()));
}
it = sub.second; // 关键：移动迭代器到本次匹配末尾
}
return results;
}
漏掉 it = sub.second 会导致无限循环——regex_search 每次都从头开始找。
std::regex 构造开销大，必须缓存 regex 对象
每次调用都 new 一个 std::regex，性能崩得比没加锁还快。C++ 标准库实现（尤其 libstdc++）的 std::regex 编译耗时显著，且线程不安全。
正确做法：
- 静态局部变量：适合固定正则，但要注意初始化时机和静态析构顺序
- 全局
const std::regex：最简单，但多个翻译单元可能重复实例化（ODR 问题） - 函数参数传引用：由调用方负责缓存，灵活性最高
别写 std::regex re(pattern) 在函数栈上——哪怕 pattern 是字面量，编译期也无法优化掉构造过程。
m[0] 是整个匹配，m[1] 才是第一个 () 内容；提取前务必检查 m[i].matched，否则 .str() 返回空串却看似成功。 
