应先检查 std::sregex_iterator 是否有效再解引用，避免空匹配崩溃；推荐用 std::regex_search + match.ready() 判断安全性，并用命名捕获组配合 std::variant 实现类型安全提取。
std::regex 提取匹配内容时如何避免空匹配崩溃
直接用 std::sregex_iterator 遍历可能在无匹配时触发未定义行为，尤其当正则不匹配却仍调用 operator* —— 这是常见段错误源头。必须先检查迭代器是否有效，再解引用。
- 永远在使用
std::sregex_iterator前判断是否等于std::sregex_iterator()（即 end 迭代器） - 不要依赖
std::regex_search返回值后直接取match[0]：若未匹配，match.ready()为 false，此时访问match[0]是未定义行为 - 推荐写法：
std::smatch match; if (std::regex_search(text, match, pattern) && match.size() > 1) { // 安全访问 capture group 1 std::string value = match[1].str(); }
提取多个捕获组并存入 std::variant 的类型选择逻辑
std::variant 要求所有备选类型在编译期确定，而字符串提取结果可能是数字、布尔字面量或纯文本——不能靠运行时“猜”类型，得靠正则分组命名 + 显式映射规则。
- 用命名捕获组（如
(?<int>\d+)</int>）比位置索引更可靠，避免分组顺序变化导致类型错位 - 典型 variant 定义：
using Extracted = std::variant<:monostate int double bool std::string>;</:monostate>——std::monostate占位“无匹配”状态，避免用std::nullopt（那是 optional） - 转换时别依赖
std::stoi直接强转：需先用std::from_chars或 try-catch 包裹，否则非数字字符串会抛std::invalid_argument
封装成可复用函数时如何处理多匹配 vs 单匹配场景
业务中常遇到“只取第一个匹配”和“取全部匹配的第 N 个分组”两种需求，但 std::regex API 对两者支持不对称：单次匹配用 regex_search，多次匹配必须用迭代器——混用易出错。
- 明确函数签名语义：比如
extract_first只返回首个匹配的指定 group；extract_all返回std::vector<extracted></extracted> - 对多匹配场景，避免反复构造
std::regex对象：它内部有缓存开销，应传 const ref 或提前构建好 - 注意 locale 影响：
std::regex默认使用std::locale::classic()，若字符串含 Unicode（如 UTF-8 中文），需确保 pattern 和 text 编码一致，否则\w等可能失效
实际封装示例：带类型推导的 extract 函数
下面这个函数只处理单次匹配 + 命名分组，返回 std::variant，重点在安全转换和空值兜底：
using Extracted = std::variant<:monostate int double bool std::string>;
<p>Extracted extract(const std::string& text, const std::regex& pattern, const std::string& group_name) {
std::smatch match;
if (!std::regex_search(text, match, pattern)) {
return std::monostate{};
}</p>
<pre class="brush:php;toolbar:false;">auto it = match.named_subexpression_begin(group_name);
if (it == match.named_subexpression_end()) {
return std::monostate{};
}
std::string val = it->str();
if (val == "true" || val == "false") {
return val == "true";
}
if (val.find('.') != std::string::npos) {
char* end;
double d = std::strtod(val.c_str(), &end);
if (*end == ' ') return d;
}
if (!val.empty() && std::all_of(val.begin(), val.end(), ::isdigit)) {
char* end;
long i = std::strtol(val.c_str(), &end, 10);
if (*end == ' ') return static_cast<int>(i);
}
return val;</int>
}
真正麻烦的是命名分组在不同编译器下的兼容性：MSVC 支持 (?<name>...)</name>，但早期 GCC 版本（如 9.4）需开启 -std=c++17 且不保证完全一致。线上服务务必验证目标环境的 std::regex::traits_type::lookup_collatename 行为。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
