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的堆栈中捕获变量。

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

问题是，为什么编译器没有抱怨它？标准中是否有任何内容可以标记这种情况（我找不到）？编译器在那里做什么？

我在Linux上运行带有-std = c ++ 17的gcc-7.2.8。

Answer 1

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

您发布的代码很危险，可能会失败，但是根据标准完全有效，因此编译器可以自由地接受它而不会发出警告。

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

是否可以在属于静态数据结构成员的lambda函数中捕获变量？

1 个答案: