简单的 std::regex_search() 代码无法使用 Apple clang++ -std=c++14 编译答案

【问题标题】：Simple std::regex_search() code won't compile with Apple clang++ -std=c++14简单的 std::regex_search() 代码无法使用 Apple clang++ -std=c++14 编译
【发布时间】：2015-10-15 17:29:04
【问题描述】：

这是 MCVE：

#include <iostream>
#include <regex>

std::string s()
{
    return "test";
}

int main()
{
    static const std::regex regex(R"(\w)");
    std::smatch smatch;

    if (std::regex_search(s(), smatch, regex)) {
        std::cout << smatch[0] << std::endl;
    }

    return 0;
}

它编译得很好：

$ clang++ -std=c++11 main.cpp

但不是：

$ clang++ -std=c++14 main.cpp

后一种情况下的错误信息（使用-std=c++14）：

main.cpp:14:9: error: call to deleted function 'regex_search'
    if (std::regex_search(s(), smatch, regex)) {
        ^~~~~~~~~~~~~~~~~
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/regex:5998:1: note: 
      candidate function [with _ST = std::__1::char_traits<char>, _SA = std::__1::allocator<char>,
      _Ap = std::__1::allocator<std::__1::sub_match<std::__1::__wrap_iter<const char *> > >, _Cp =
      char, _Tp = std::__1::regex_traits<char>] has been explicitly deleted
regex_search(const basic_string<_Cp, _ST, _SA>&& __s,
^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/regex:2876:5: note: 
      candidate function [with _ST = std::__1::char_traits<char>, _SA = std::__1::allocator<char>,
      _Ap = std::__1::allocator<std::__1::sub_match<std::__1::__wrap_iter<const char *> > >, _Cp =
      char, _Tp = std::__1::regex_traits<char>]
    regex_search(const basic_string<_Cp, _ST, _SA>& __s,
    ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/regex:2851:5: note: 
      candidate template ignored: deduced conflicting types for parameter '_Bp'
      ('std::__1::basic_string<char>' vs. 'std::__1::match_results<std::__1::__wrap_iter<const char
      *>, std::__1::allocator<std::__1::sub_match<std::__1::__wrap_iter<const char *> > > >')
    regex_search(_Bp, _Bp, const basic_regex<_Cp, _Tp>&,
    ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/regex:2857:5: note: 
      candidate template ignored: could not match 'const _Cp *' against 'std::string' (aka
      'basic_string<char, char_traits<char>, allocator<char> >')
    regex_search(const _Cp*, const _Cp*,
    ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/regex:2863:5: note: 
      candidate template ignored: could not match 'const _Cp *' against 'std::string' (aka
      'basic_string<char, char_traits<char>, allocator<char> >')
    regex_search(const _Cp*, match_results<const _Cp*, _Ap>&, const basic_regex<_Cp, _Tp>&,
    ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/regex:2869:5: note: 
      candidate template ignored: could not match 'basic_regex' against 'match_results'
    regex_search(const basic_string<_Cp, _ST, _SA>& __s,
    ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/regex:5963:1: note: 
      candidate template ignored: could not match 'const _CharT *' against 'std::string' (aka
      'basic_string<char, char_traits<char>, allocator<char> >')
regex_search(const _CharT* __str, const basic_regex<_CharT, _Traits>& __e,
^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/regex:2839:5: note: 
      candidate function template not viable: requires at least 4 arguments, but 3 were provided
    regex_search(_Bp, _Bp, match_results<_Bp, _Ap>&, const basic_regex<_Cp, _Tp>&,
    ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/regex:2845:5: note: 
      candidate function template not viable: requires at least 4 arguments, but 3 were provided
    regex_search(const _Cp*, const _Cp*, match_results<const _Cp*, _Ap>&,
    ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/regex:2884:5: note: 
      candidate function template not viable: requires at least 4 arguments, but 3 were provided
    regex_search(__wrap_iter<_Iter> __first,
    ^
1 error generated.

编译器版本信息：

$ clang++ -v
Apple LLVM version 7.0.0 (clang-700.0.72)
Target: x86_64-apple-darwin15.0.0
Thread model: posix

那么，怎么了？

【问题讨论】：

有趣的是，gcc/libstdc++ 在 C++11 和 C++14 中都有这个失败，这似乎是一件好事，因为这基本上是未定义的行为。
你知道我几乎可以肯定我之前看到过这个问题：Visual Studio regex_iterator Bug? 虽然这是 regex_iterator/regex_token_iterator。

标签： c++ c++11 c++14 clang++

【解决方案1】：

从 C++11 到 C++14 发生了变化，其中不再允许 std::regex_search 采用 r 值

template< class STraits, class SAlloc,
          class Alloc, class CharT, class Traits >
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 =
                       std::regex_constants::match_default ) = delete;

这是作为采用 const std::string& 的重载添加的

禁止接受临时字符串，否则此函数会使用立即失效的字符串迭代器填充 match_results m。

因此，从 C++14 开始，您不能再将临时值传递给 std::regex_search

要修复您的代码，我们只需将 s() 的返回值存储到 main 中的一个变量中，然后使用该变量调用 std::regex_search。

#include <iostream>
#include <regex>

std::string s()
{
    return "test";
}

int main()
{
    static const std::regex regex(R"(\w)");
    std::smatch smatch;

    auto search = s();
    if (std::regex_search(search, smatch, regex)) {
        std::cout << smatch[0] << std::endl;
    }

    return 0;
}

Live Example

【讨论】：

所以，我需要在 main() 中创建一个本地 std::sting 变量，通过 s() 返回的内容对其进行初始化，然后将此变量传递给 std::regex_search，对吗？
@Wildcat 是的。添加到答案

【解决方案2】：

这在 C++11 和 C++14 之间发生了变化。如果我们转到cppreference section for std::regex_search，我们可以看到自 C++14 以来，采用右值引用的重载已被删除：

template< class STraits, class SAlloc,
          class Alloc, class CharT, class Traits > 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 =
                       std::regex_constants::match_default ) = delete;

由于LWG issue 2329: regex_match()/regex_search() with match_results should forbid temporary strings 它说（强调我的）：

考虑以下代码：
const regex r(R"(meow(\d+)\.txt)");
smatch m;
if (regex_match(dir_iter->path().filename().string(), m, r)) {
  DoSomethingWith(m[1]);
}
这偶尔会崩溃。问题是 dir_iter->path().filename().string() 返回一个临时字符串，so match_results 包含无效的迭代器到被破坏的临时字符串。

regex_match/regex_search(str, reg) 可以接受临时字符串，因为它们只返回布尔值。 但是，过载 match_results 应该禁止临时字符串。

如果我们使用非临时的：

std::string s1 = s() ;

if (std::regex_search(s1, smatch, regex)) {
//...
}

它编译 (see it live) 并且不再表现出未定义的行为。

有趣的是，gcc/libstdc++ 在 C++11 模式下也删除了这个重载see it live。由于这是未定义的行为，它似乎是一个很好的解决方案。

这个问题也出现在图书馆的其他区域，请参阅Visual Studio regex_iterator Bug?，它处理相同的问题，但使用regex_iterator/regex_token_iterator。

【讨论】：

【解决方案3】：

这不是错误，而是预期的行为。原因是s() 返回一个临时字符串，regex_search 使用regex_match，因此如果使用临时字符串，匹配结果将包含一个不再存在的字符串的迭代器。这将是未定义的行为。因此，委员会在 C++14 中废除了 regex_search 重载。

您也可以在标准28.4 Header synopsis [re.syn]中确认：

template <class ST, class SA, class Allocator, class charT, class traits>
bool regex_search(const basic_string<charT, ST, SA>&&,
match_results<
typename basic_string<charT, ST, SA>::const_iterator,
Allocator>&,
const basic_regex<charT, traits>&,
regex_constants::match_flag_type =
regex_constants::match_default) = delete;

如您所见，将右值设为basic_string 的重载被标记为已删除。

【讨论】：