Простой код std:: regex_search() не будет компилироваться с Apple clang++ -std = С++ 14
Вот 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 = С++ 11 main.cpp
но не с:
$clang++ -std = С++ 14 main.cpp
Сообщение об ошибке в последнем случае (с -std = С++ 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
Итак, что не так?
Ответы
Ответ 1
От С++ 11 до С++ 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 итераторами строк, которые немедленно становятся недействительными.
Таким образом, вы больше не можете передавать временное значение std::regex_search на С++ 14
Чтобы исправить ваш код, мы просто сохранили бы возврат из s() в основную переменную и использовали бы для вызова 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;
}
Живой пример
Ответ 2
Это изменилось между С++ 11 и С++ 14. Если мы перейдем к разделу cppreference для std:: regex_search, мы увидим, что перегрузка, которая принимает ссылку rvalue, была удалена, поскольку С++ 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-выпуск 2329: regex_match()/regex_search() с match_results должен запрещать временные строки, который говорит (акцент мой ):
Рассмотрим следующий код:
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() возвращает временную строку , поэтому match_results содержит недействительные итераторы в уничтоженном временная строка.
Это нормально для regex_match/regex_search (str, reg), чтобы принять временные строки, потому что они просто возвращают bool. Однако при перегрузке match_results должно запрещать временные строки.
и действительно, если мы используем не временные:
std::string s1 = s() ;
if (std::regex_search(s1, smatch, regex)) {
//...
}
он компилирует (видеть его в прямом эфире) и больше не демонстрирует поведение undefined.
Интересно отметить, что gcc/libstdС++ имеет эту перегрузку, удаленную в режиме С++ 11, а также видеть ее в прямом эфире. Поскольку это поведение undefined, это кажется хорошим решением.
Эта проблема также появляется в других областях библиотеки, см. Ошибка Visual Studio regex_iterator Bug?, которая касается той же проблемы, но с regex_iterator/regex_token_iterator.
Ответ 3
Это не ошибка, а ожидаемое поведение.
Причина в том, что s() возвращает временную строку, regex_search использует regex_match и, следовательно, если временная строка была использована, результаты сопоставления будут содержать итераторы для строки, которая больше не существует. Это было бы undefined. Таким образом, комитет отменил эту перегрузку regex_search в С++ 14.
Вы также можете подтвердить в стандартном синтаксисе заголовка 28.4 [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;
Как вы видите, перегрузка, которая принимает значение r на basic_string, помечена как удаленная.
