c++ - std::smatch str() 未返回正确的字符串

Question

我决定制作自己的 regex.h，其中包含一个带有一些方法的类，以便使用正则表达式更轻松地检查和解析字符串。

我的 .h 的第一个版本只包含一些方法，效果很好。后来，我决定将所有这些方法组织在一个类中，一切正常，但在某些时候，“match_str”方法开始返回长度正确的字符串，但只包含“|”字符，出于某种原因。

这是整个 regex.h 文件:

#include <string>
#include <regex>
#include <vector>

class regex { 
    std::vector<std::smatch> match;
public: 
    regex(std::string);

    std::regex r;

    int generate_matches(std::string s) {
        auto matches_begin = std::sregex_iterator(s.begin(), s.end(), r);
        auto matches_end = std::sregex_iterator();
        for (std::sregex_iterator i = matches_begin; i != matches_end; ++i) { match.push_back(*i); }
        return match.size();
    }

    bool matches(std::string s) {
        return std::regex_search(s, r);
    }

    int match_count() {
        return match.size();
    }

    std::string match_str(int index = 0, int group = 0) {
        return match.size() ? match.at(index)[group].str() : "";
    }

    int match_pos(int index = 0) {
        return match.at(index).position() + 1;
    }
}; regex::regex(std::string regex) : r(regex) {}

除了“match_str”方法之外的所有方法似乎都可以正常工作

这段代码:

int main() {
    regex rx("(int|long)( +)([a-z]);");
    if (rx.generate_matches("int a; int b; int c;")) {
        std::cout << rx.match_str() + "\n";
    }
    system("pause");
}

输出:

¦¦¦¦¦¦
Press any key to continue . . .

Answer 1

match_results 的对象保留指向匹配字符串的const iterator 或const char* 指针。在 generate_matches 中，字符串 s 对象是局部变量，因此当函数终止时它会被删除，您不能将 const 迭代器或局部变量的指针存储到 vector - 您将有悬空指针，并且当您尝试读取已销毁对象的数据时，这是未定义的行为。

您可以向您的 regex 类添加额外的变量并更改您的 generate_matches 函数，如下所示:

class regex { 
  std::vector<std::smatch> match;
  std::string str; // <---

int generate_matches(std::string s) {
    str = s; // <---
    auto matches_begin = std::sregex_iterator(str.begin(), str.end(), r); // <--- 
    auto matches_end = std::sregex_iterator();
    for (std::sregex_iterator i = matches_begin; i != matches_end; ++i) { match.push_back(*i); }
    return match.size();
}

现在您可以调用 match_str 函数并读取 match vector ，因为 smatch 对象引用现有对象 - str ，不是暂时的。