Question

示例代码：

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

int main()
{
  std::regex npat(R"(^(\d+))");
  std::smatch m;
  std::regex_search(std::string("10"), m, npat);
  std::cout << m.size() << " m.str(1): |"
            << m.str(1) << "| ";
  std::cout << std::stoi(m.str(1)) << std::endl;
}

使用编译时

g++ -std=c++11 main.cpp

输出为

2 m.str(1): |10| 10

这是预期的。

但是，当使用编译时

g++ -std=c++11 -O1 main.cpp

输出变为

libc++abi.dylib: terminating with uncaught exception
of type std::invalid_argument: stoi: no conversion
2 m.str(1): || Abort trap: 6

编译器版本：

g++ -v

配置有：--prefix = / Library / Developer / CommandLineTools / usr --with-gxx-include-dir = / Library / Developer / CommandLineTools / SDKs / MacOSX10.14.sdk / usr / include / c ++ / 4.2.1 Apple LLVM版本10.0.1（clang-1001.0.46.3）目标： x86_64-apple-darwin18.5.0线程模型：posix InstalledDir： / Library / Developer / CommandLineTools / usr / bin

Answer 1

我对您在此处使用的regex_search重载的理解：

std::regex_search(std::string("10"), m, npat);

它是否具有签名：

template< class STraits, class SAlloc,
      class CharT, class Traits >
bool regex_search( const std::basic_string<CharT,STraits,SAlloc>& s,
               const std::basic_regex<CharT,Traits>& e,
               std::regex_constants::match_flag_type flags);

请注意，它通过引用获取字符串。通过临时传递它，您正在调用未定义的行为。您可以在std::match_results的说明中看到这一点：

因为std :: match_results持有std :: sub_matches，每个都是一对与原始字符序列匹配的迭代器，所以检查std :: match_results是否为未定义行为是要检查原始字符序列是否被破坏还是迭代器它因其他原因而无效。

从c ++ 14开始，通过删除带有右值引用的运算符，不允许此行为：

bool regex_search( const std::basic_string<CharT,STraits,SAlloc>&&,
               std::match_results<
                   typename std::basic_string<CharT,STraits,SAlloc>::const_iterator, 
                   Alloc
               >&,
               const std::basic_regex<CharT, Traits>&,
               std::regex_constants::match_flag_type flags) = delete;

来自std::regex_search。

使用-O1编译时，C ++ regex_search中断

1 个答案: