如果从lambda表达式生成的类没有默认的ctor，那么如何创建该生成类类型的对象

Question

我正在使用列出的资源在这里学习C ++。特别是，我在Lippman的C ++底漆中阅读了有关 lambda表达式。在那里，我知道lambdas是功能对象。此外，lambda表达式产生的类没有默认构造函数。因此，请例如：

auto wc = find_if(words.begin(), words.end(),
            [sz](const string &a){
                    return s.size() >= sz;
            };

写的是，上面的lambda表达式将生成一个看起来像类似的类：

class SizeComp {
    SizeComp(size_t n): sz(n) { } // parameter for each captured
variable
    // call operator with the same return type, parameters, and body as the lambda
    bool operator()(const string &s) const
        { return s.size() >= sz; }
private:
    size_t sz; // a data member for each variable captured by value
};

因此，发生的是该编译器生成类的未命名对象，并将第三个参数作为第三个参数传递给> > std :: find_if上面显示的。我能理解。

现在，我的思考/理解是，由于该编译器生成的类没有默认的ctor，因此第三个参数传递给std :: find_if不得使用默认CTOR创建，因为这将失败，因此。因此，在内部，应使用参数化的ctor创建传递的对象，例如：

auto wc = find_if(words.begin(), words.end(), SizeComp(sz)); //note the third argument uses the parameterized ctor

---

我的第一个问题是，因为在空捕获列表的情况下没有默认的ctor in C ++ 11 ，那么该编译器的对象如何生成类的对象被创建。我的意思是，如果是空捕获列表，则在编译器生成的类中不会有数据成员，因此不会有参数化的CTOR。这意味着该编译器生成的类既没有默认值也没有参数化的CTOR。那么如何生成此类的对象。例如，当捕获列表为空时，下面显示的情况将无法正常工作：

auto wc = find_if(words.begin(), words.end(),
            [](const string &a){           //NOTE THE CAPTURE LIST IS EMPTY
                    return s.size() >= 5;
            };

现在，创建第三个参数到std :: find_if：

auto wc = find_if(words.begin(), words.end(), CompGeneratedClass()); //this can't work because there is no default ctor

---

我也知道对于普通/普通用户 - 定义的类，如果我们提供用户定义的CTOR，则编译器将不会为该类生成默认的CTOR。因此，在我看来，由于在空捕获列表lambda表达式中没有用户定义的ctor，因此编译器应为此编译器生成的类生成默认的CTOR。但是C ++标准表示不会有默认的CTOR。因此，我的第二个问题是，为什么此编译器生成的类具有与用户定义的类不同的行为。

---

另外，请注意，这种解释不仅限于Lippman的C ++底漆。我在

Answer 1

这里的问题是思想框架。虽然底漆正在以很容易理解的方式解释行为，但实际上不应从字面上采取行为。
规范文本描述了行为，而不是实现行为的方法。编译器实际上不需要以相同的方式创建类。

例如，供应商总是可以将某个秘密标签潜入构造函数的参数列表中。想象一下，这就是它产生的：

struct __secret_tag_at_src_line{};

struct __lambda_at_src_line{
   __lambda_at_src_line(__secret_tag_at_src_line, /*Other arguments*/)
   // ...
};

// ...

auto wc = find_if(words.begin(), words.end(), __lambda_at_src_line(__secret_tag_at_src_line{}, ...)};

我们不能命名该标签，甚至不知道它的存在，因此我们无法在另一行上创建lambda。而且，该类将永远不会有默认构造函数。那是的方法。但是即使那样，编译器也不必这样做。

该实施不受与我们相同的规则的约束；只要该程序正确翻译，该标准就会为实施提供巨大的余地。编译器可以保佑一个字节，并说“这是lambda”，无需打电话给构造函数。为什么？！因为它完成了标准所说的内容；可观察到的行为是完整的（考虑一下，可以通过C ++程序观察到无捕获的lambda的初始化吗？）

有时实现需要“作弊”；赫克，众所周知，实现将调用私人构造函数以完成工作。但这并不是真正的作弊，因为相同的规则不适用。