c++ - 允许在作为静态数据结构成员的 lambda 函数中捕获变量吗？

Question

我截取了以下代码。

bool parseTool() {
   string name;
   string version;
   static /*!!*/ AttrMap attrMap = {
       {"name", Attr([&](const string &val)->bool{name = val;return true;})},
       {"version", Attr([&](const string &val)->bool{version = val;return true;})},
   };
   return parseAttributes(attrMap);
}

attrMap 声明为静态，lambda 函数从 parseTool 的堆栈中捕获变量。

编译不会产生任何错误，并且可执行文件在开始产生垃圾时可以愉快地运行到某个点。当然，删除“静态”可以解决“垃圾”问题(可能将名称和版本设为静态也可以解决这个问题，但我还没有尝试过)。我不明白在初始化静态 attrMap 时编译器在这种情况下捕获了什么。

问题是，为什么编译器不报错呢？标准中是否有任何内容可以标记这种情况(我找不到)？编译器在那里做什么？

我在 Linux 上使用 -std=c++17 运行 gcc-7.2.8。

Answer 1

编译器无法知道您正在捕获的引用在下次调用 lambda 时将不再有效，或者即使再次调用该 lamda 也是如此。

您发布的代码很危险，可能会失败，但根据标准完全有效，因此编译器可以在没有警告的情况下自由接受它。

要修复它，请按值捕获变量或使 lambda 不是静态的。使 lambda 静态化可能没有多大意义，因为在大多数实现中创建 lambda 可能并不昂贵，并且取决于 lambda 的使用方式可能会完全内联。