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

我正在使用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()”函数的相同代码在运行时抛出“string iterators incompatible”错误：

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

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

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

这对我没有意义.谁能解释为什么会这样？

解决方法

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

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