c++ - std::regex 中的错误？

Question

代码如下:

#include <string>
#include <regex>
#include <iostream>

int main()
{
    std::string pattern("[^c]ei");
    pattern = "[[:alpha:]]*" + pattern + "[[:alpha:]]*";
    std::regex r(pattern); 
    std::smatch results;   
    std::string test_str = "cei";

    if (std::regex_search(test_str, results, r)) 
        std::cout << results.str() << std::endl;      

    return 0;
}

输出:

cei

使用的编译器是gcc 4.9.1。

我是学习正则表达式的新手。我预计不会输出任何内容，因为 "cei" 与此处的模式不匹配。我做对了吗？有什么问题？

更新:

此问题已被报告并确认为错误，有关详细信息，请访问此处: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63497

Answer 1

这是实现中的一个错误。我试过的其他几个工具不仅同意你的模式与你的输入不匹配，而且我试过这个:

#include <string>
#include <regex>
#include <iostream>

int main()
{
  std::string pattern("([a-z]*)([a-z])(e)(i)([a-z]*)");
  std::regex r(pattern);
  std::smatch results;
  std::string test_str = "cei";

  if (std::regex_search(test_str, results, r))
  {
    std::cout << results.str() << std::endl;

    for (size_t i = 0; i < results.size(); ++i) {
      std::ssub_match sub_match = results[i];
      std::string sub_match_str = sub_match.str();
      std::cout << i << ": " << sub_match_str << '\n';
    }
  }
}

这基本上与您所拥有的相似，但为了简单起见，我将 [:alpha:] 替换为 [a-z]，并且我还临时替换了 [ ^c] 与 [a-z] 因为这似乎使它正常工作。这是它打印的内容(Linux x86-64 上的 GCC 4.9.0):

cei
0: cei
1:
2: c
3: e
4: i
5:

如果我将 [a-z] 替换为 [^c] 并只是将 f 放在那里，它正确地说模式没有'匹配。但是如果我像你一样使用[^c]:

std::string pattern("([a-z]*)([^c])(e)(i)([a-z]*)");

然后我得到这个输出:

cei
0: cei
1: cei
terminate called after throwing an instance of 'std::length_error'
  what():  basic_string::_S_create
Aborted (core dumped)

所以它声称匹配成功，结果[0]是预期的“cei”。然后，results[1] 也是“cei”，我想这可能没问题。但是随后 results[2] 崩溃了，因为它试图构造一个长度为 18446744073709551614 且 begin=nullptr 的 std::string。这个巨大的数字正好是 2^64 - 2，又名 std::string::npos - 1(在我的系统上)。

所以我认为某处存在一个差一错误，其影响可能不仅仅是虚假的正则表达式匹配——它可能会在运行时崩溃。