将指向lambda函数的指针指定给指向另一个lambda函数的指针

Question

我试图指定一个指向lambda函数的指针指向另一个lambda函数。 代码将说明一切：

#include <iostream>

int main(int argc, char *argv[]) {

    auto l1 = []() { std::cout << "Lambda 1!" << std::endl; };
    auto l2 = [] { std::cout << "Lambda 2!" << std::endl; };

    auto l1p = &l1;
    l1p = &l2; // Why can't I do this assignment?
    return 0;
}

由于两个lambda函数的返回类型和参数是相同的，为什么我不能做这个赋值？

Answer 1

[expr.prim.lambda] / 2：

lambda表达式的类型（也是闭包对象的类型）是一个唯一的 ，未命名的非联合类类型 - 称为闭包类型 - 其属性如下所述。

也就是说，两种闭包类型总是完全不同且不相关。 但是，在您的示例中，由于两个lambda都没有捕获任何内容，因此可以将它们转换为void(*)()类型的函数指针。
所以也许你打算做

void (*l1p)() = l1;
l1p = l2;

Answer 2

作为Columbo答案的补充，你可以使用operator +同时进行类型推导和lambda-to-function指针衰减：

auto l1p = +l1; // l1p is void (*)()
//         ^
l1p = l2;

Answer 3

让我们删除lambda函数为我们提供的语法糖：

struct lambda1 {
  void operator () {
    std::cout << "Lambda 1!" << std::endl;
  }
};
struct lambda2 {
  void operator () {
    std::cout << "Lambda 2!" << std::endl;
  }
};
int main(int argc, char *argv[]) {

    auto l1 = Lambda1{};
    auto l2 = Lambda2{};

    auto l1p = &l1; // l1p is a Lambda1 *
    l1p = &l2; // &l2 is a Lambda2 *
    return 0;
}

这不是编译器完成的转换，但我认为检查问题就足够了：

这两个lambda都有自己的类型，与它们的参数，捕获的变量或返回类型完全无关。 当然，lambda的类型彼此无关，所以你显然不能从另一个的地址指定一个指针。

---

使用函数指针解决另一个问题的解决方案非常好。 如果C ++没有“你只用它为它付钱”的学说，我们就可以把lambda函数做成像

struct SomeLambda
  : public LambdaBase<
        Capture<int>,
        Arguments<bool>,
        Return<void>> {
  // ...
};
/*
  [integer]
  (bool flag) {
    if (flag) cout << integer;
  }
*/

但是为了理所当然，基础需要是多态的（具有虚拟成员函数），如果你不打算做你想做的事情，这是你不需要的成本。