在转换中返回在 lambda 中构造的对象

Question

以下函数做了一些与我想要的不同的事情，即返回匹配项。如果我在vector<string>{"a b", "cd ef"} 上调用它，输出是

cd 
cd ef

而不是

a b
cd ef

为什么？

#include <regex>
using namespace std;

void f(const vector<string>& v) {
  vector<smatch> P{};
  transform(begin(v), end(), back_inserter(P), [](auto s){
    auto m = *new smatch;
    regex_match(s, m, regex{"(\\S*) (\\S*) ?(.*)"});
    return m;
  });
  for (auto s: P) cout << s[0] << endl; // debug output
}

如果我尝试不使用new：smatch m{};，情况相同。我相信我不应该这样做，因为 smatch 被分配在堆栈上，并在 lambda 函数返回时失效。 （我什至试过smatch m;，但这应该会创建一个未初始化的变量。奇怪的是，它没有运行时错误，给出相同的错误结果。）以下甚至没有编译，给出一个我不明白的错误：

#include <regex>
using namespace std;

void f(const vector<string>& v) {
  vector<smatch> P{};
  transform(begin(v), end(), back_inserter(P), [](auto s){
    auto m = new smatch;
    regex_match(s, m, regex{"(\\S*) (\\S*) ?(.*)"});
    cout << (*m)[0] << endl;
    return m;
  });
  for (auto s: P) cout << (*s)[0] << endl;
}

Answer 1

对于std::match_results：

因为std::match_results 拥有std::sub_matches，每个都是匹配的原始字符序列的一对迭代器，如果原始字符序列被破坏或迭代器无效，检查std::match_results 是未定义的行为其他原因。

lambda 的参数s 是传值的，退出后会被销毁。您可以将其更改为传递引用：

void f(const vector<string>& v) {
  vector<smatch> P;
  transform(begin(v), end(v), back_inserter(P), [](auto& s){
    //                                                 ^
    smatch m;
    regex_match(s, m, regex{"(\\S*) (\\S*) ?(.*)"});
    return m;
  });
  for (auto s: P) cout << s[0] << endl; // debug output
}