c++ - Boost sub_match 抛出 std::length_error 异常

Question

我正在使用 Boost Regex。我有以下代码(简化):

bool search_for_match(const string& data)
{
  boost::smatch results;
  if(boost::regex_search(data, results, my_regex))
  {
    if(results["REVISION"].matched)
    {
      std::string the_submatch = results["REVISION"].str();
      std::cout << the_submatch << std::endl;
    }
    return true;
  }
  return false;
}

my_regex 是一个成功编译的正则表达式。我将 the_submatch 分配给 results["SUBMATCH_TWO"].str() 的行抛出了 std::length_error 和 类型的异常>what() 打印出 basic_string::_S_create。

阅读有关 Boost sub_match 的文档，它指出如果 matched 为真，则将设置迭代器。为什么这么火？ data 字符串在这里没有超出范围，但它确实表现得像迭代器未定义或数据字符串超出范围，这使迭代器变坏了。该文档还指出，如果 matched 为 false，则只返回一个空字符串。所以，我知道 matched 必须为真，但迭代器全都乱码了。

这是正则表达式:

(?<FLIGHT_ID>[[:alnum:]]+)
\t[ ]{1,2}
(?<BEACON_CODE>[[:alnum:]]+)
\t[ ]{1,2}
((?=[A-Z]{2,5}[ ])(?<DEPARTURE_POINT>[A-Z]{2,5})[ ](?<DESTINATION_POINT>[A-Z]{2,5})|(?<DEPARTURE_POINT>[^\t ]{1,13}))
\t?[ ]{1,2}                                                                       
(?<ROUTE1>[[:print:]]+)
(?: \t[ ]+ (?<EDCT>[[:alnum:]]+) )?
\r\n
(?<REVISION>\d+)?
(?: \s+ (?<STRIP_ORIGINATOR>[[:alnum:]]+) )?
\r\n
(?<AIRCRAFT_TYPE>[[:alnum:]/ ]+)
\t[ ]{1,2}
P(?<DEPARTURE_TIME>\d+)
(?: [ ][ ]\t[ ]{1,2} )?
(?: (?<ROUTE2>[[:print:]]+) )?
(?: \t[ ][ ] )?
(?: (?<EDCT_TIME>\d+) )?
\r\n
\n
(?<COMPUTER_ID>[[:alnum:]]+)
\t[ ]{1,2}
(?<ALTITUDE>VFR/\d+|\d+)
(?: [\t ]*  (?<ROUTE3>[[:print:]]+) )?
\r\n?   

如您所见，名为 REVISION 的子组是可选的。这就是为什么我检查 matched 是否为真。我像这样编译 my_regex:

boost::regex my_regex;
void compile_pattern(const string& pattern)
{
  try
  {
    boost::regex compiled_expression(pattern, boost::regex::mod_x);
    my_regex = compiled_expression;
  }
  catch(boost::regex_error& e)
  {
    std::cout << e.what() << std::endl;
  }
}

我读入了包含该正则表达式的整个文件并将其存储到一个字符串中并将其传递到 compile_patterns() 函数中。这似乎工作得很好，因为我没有看到抛出异常，所以它对我来说似乎是一个有效的正则表达式。

Answer 1

导致此错误的常见罪魁祸首是从 nullptr char* 构造 std::string 时。

在您的情况下，这是不可能的，因为所有迭代器范围都表示为源字符串中的迭代器。那么，当问题出在所显示的代码之外时，似乎是最合乎逻辑的解释。

例如，您可以将对 std::string const 的陈旧引用作为 data 参数传递。这将调用 Undefined Behaviour ，可以通过多种方式体现。

将用于保存 std::string 实例的内存解释为此类对象时，当该对象不再存在(它已被破坏，或者内存甚至可能已经被重新调整用途)以生成一个取消引用空指针的迭代器。