为什么c ++ regex_match函数需要在函数外定义搜索字符串？

Question

我正在使用Visual Studio 2013进行开发,它使用了Microsoft的c ++编译工具v12.
以下代码执行正常,将"foo"打印到控制台:

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

std::string get() {
    return std::string("foo bar");
}

int main() {
    std::smatch matches;
    std::string s = get();
    std::regex_match(s, matches, std::regex("^(foo).*"));
    std::cout << matches[1] << std::endl;
}
// Works as expected.

使用字符串"s"替换"get()"函数的相同代码在运行时抛出"字符串迭代器不兼容"错误:

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

std::string get() {
    return std::string("foo bar");
}

int main() {
    std::smatch matches;
    std::regex_match(get(), matches, std::regex("^(foo).*"));
    std::cout << matches[1] << std::endl;
}
// Debug Assertion Failed!
// Expression: string iterators incompatible

这对我来说毫无意义.谁能解释为什么会这样？

Answer 1

原因是get()返回一个临时字符串,因此匹配结果包含一个不再存在的对象的迭代器,并且尝试使用它们是未定义的行为.Visual Studio C++库中的调试断言注意到此问题并中止您的程序.

最初C++ 11确实允许你尝试做的事情,但是因为它是如此危险,所以std::regex_match当尝试从临时字符串中获取匹配结果时,通过添加已删除的重载来阻止它,请参阅LWG DR 2329.这意味着您的程序不应该在C++ 14中编译(或者在C++ 11模式下实现DR的编译器中编译).海湾合作委员会尚未实施变更,我将解决这个问题.