我试图理解/阐明将捕获传递给lambda时生成的代码，尤其是在C ++ 14中添加的广义init捕获中。
提供下面列出的以下代码示例，这是我目前对编译器将生成的内容的理解。
情况1：按值捕获/默认值捕获
int x = 6;
auto lambda = [x]() { std::cout << x << std::endl; };等于：
class __some_compiler_generated_name {
public:
__some_compiler_generated_name(int x) : __x{x}{}
void operator()() const { std::cout << __x << std::endl;}
private:
int __x;
};因此，存在多个副本，一个副本要复制到构造函数参数中，而另一个副本要复制到成员中，这对于矢量等类型而言将是昂贵的。
情况2：按引用捕获/默认按引用捕获
int x = 6;
auto lambda = [&x]() { std::cout << x << std::endl; };等于：
class __some_compiler_generated_name {
public:
__some_compiler_generated_name(int& x) : x_{x}{}
void operator()() const { std::cout << x << std::endl;}
private:
int& x_;
};参数是引用，成员是引用，因此没有副本。非常适合矢量等类型。
情况3：
通用初始化捕获
auto lambda = [x = 33]() { std::cout << x << std::endl; };我的理解是，在将其复制到成员的意义上，这与案例1类似。
我的猜测是编译器生成的代码类似于...
class __some_compiler_generated_name {
public:
__some_compiler_generated_name() : __x{33}{}
void operator()() const { std::cout << __x << std::endl;}
private:
int __x;
};另外，如果我有以下内容：
auto l = [p = std::move(unique_ptr_var)]() {
// do something with unique_ptr_var
};构造函数是什么样的？它也将其移动到成员中吗？
1
@ rafix07在这种情况下，生成的洞察力代码甚至不会编译（它会尝试从参数中复制初始化唯一的ptr成员）。cppinsights对于获取一般要点很有用，但显然无法在此处回答此问题。
—
马克斯·朗霍夫
您似乎以为编译的第一步是将lambda转换为函子，还是只是在寻找等效的代码（即，相同的行为）？特定的编译器生成代码的方式（以及生成的代码）将取决于编译器，版本，体系结构，标志等。那么，您是否要求特定的平台？如果没有，您的问题就无法真正回答。除了实际生成的代码之外，其他代码可能会比您列出的函子更有效率（例如，内联构造函数，避免不必要的副本等）。
—
桑德·戴克
如果您对C ++标准必须说的内容感兴趣，请参考[expr.prim.lambda]。这里总结太多的答案。
—
桑德·戴克