嵌套的 lambda 语法和调用？

Question

我不知道如何命名标题，希望它是正确的......

我偶然发现了下面的 lambda 定义，但不明白语法，var = [=] 和 return [=] 的含义是什么？

也是下面ConstexprLambda()函数中的第二个问题，为什么我们不能必须调用add(1, 2)而不是add(1, 2)()为什么需要额外的()而在调用identity(123)时代码没有使用额外的()?

问题被放入代码的 cmets 中。

auto identity = [](int n) constexpr
{
    return n;
};

constexpr auto add = [](int x, int y)
{
    auto L = [=] // what is = [=]?
    {
        return x;
    };
    auto R = [=]
    {
        return y;
    };
    return [=] // what return [=] means here?
    {
        return L() + R();
    };
};

void ConstexprLambda()
{
    static_assert(identity(123) == 123);
    static_assert(add(1, 2)() == 3); // why can't we just add(1,2) like above?
}

示例取自here

Answer 1

类型

让我们从类型开始

auto identity = [](int n) constexpr
{
    return n;
};

这里的identity 是一个包装器，用于存储lambda(int) 类型的callable。 你也可以使用 std::function ：

std::function<int(int)> identity;

所以identity 接受int 并在您调用它时返回int。

另一方面，add 在被调用时接受两个ints 并返回一个可调用对象。

额外的 () 运算符

你需要调用add(1, 2)，因为add的返回类型是可调用的，否则你不能做add(1, 2)() == 3比较因为类型不匹配。

查看godbolt上的实时类型