为何调换std::regex::str与std::regex::suffix调用顺序会改变程序行为？

问题核心在于std::smatch的工作机制：smatch对象存储的是指向原字符串t的迭代器或引用，而非匹配结果的独立副本。

当你执行t = r.suffix()时，原字符串t会被替换为匹配位置之后的后缀内容，这直接导致smatch里保存的原字符串引用失效——原来的字符串内存已经被覆盖或销毁。此时调用r.str()，本质是访问了失效的内存区域，属于C++标准里的未定义行为，程序自然会输出随机内容，甚至可能直接崩溃。

而正确的顺序逻辑是：

1. 先调用r.str()：此时t还是匹配时的原字符串，smatch的引用完全有效，能正确读取到匹配结果。
2. 再执行t = r.suffix()：将t更新为后缀字符串，为下一次循环的regex_search提供新的有效输入。

正确代码回顾 #

std::regex x("(a|e|i|o|u){2}");
std::smatch r;
std::string t = some_string;

while (std::regex_search(t, r, x)) {
    std::cout << "match: " << r.str() << '\n';
    t = r.suffix();
}

错误代码的问题本质 #

while (std::regex_search(t, r, x)) {
    t = r.suffix(); // 先替换t，导致r的原字符串引用直接失效
    std::cout << "match: " << r.str() << '\n'; // 访问失效内存，触发未定义行为
}

内容的提问来源于stack exchange，提问作者God I Am Clown