如何编写一个看起来像方法的 lambda 表达式？

Question

我一直在努力解决这个问题。考虑以下代码（我假设已经定义了前向引用）：

// Signature representing a pointer to a method call
typedef
   void (MyClass::*MyMethod)(int);

class MyClass
{
    MyClass();
    void method1(int i);
    void method2(int i);

    void associateMethod(int index, MyMethod m);
} 

鉴于上述情况，构造函数可以执行以下操作：

MyClass::MyClass()
{
   associateMethod(1, &MyClass::method1);
   associateMethod(2, &MyClass::method2);
}

但是，我希望能够调用“associateMethod”，其中第二个参数是匿名方法。但是，以下内容无法编译。

associateMethod(3, [this](int) -> void { /* some code here */ }

我收到一条错误消息，称它们无法从 lambda 转换为 MyMethod。

我想知道 lambda 语法是否需要在某处包含“MyClass”，但随机猜测 lambda 表达式，例如

 MyClass::[this](int) -> void {}

或

 [this]&MyClass::(int) -> void {}

不要编译。

不胜感激任何指针（没有双关语）

谢谢

Answer 1

您无法将 lambda 表达式转换为类成员函数指针，并且没有有效的语法使其看起来像一个¹。

您应该将 MyMethod 声明为 std::function 签名，而不是原始函数指针（如 cmets 中所述）：

using MyMethod = std::function<void(int)>;

你可以使用 lambdas then 来初始化这个参数：

MyClass::MyClass()
{
   associateMethod(1, [this](int a) { this->method1(a); });
   associateMethod(2, [this](int a) { this->method2(a); });
}

---

¹⁾_{Lambda 函数可以被认为是编译器生成的可调用类，它将捕获作为构造参数，并提供带有您指定的参数和主体的operator()() 重载。因此，不可能有效地转换为原始或成员函数指针。}

Answer 2

user0042 的答案似乎是要走的路，但为了完整起见，值得一提的是，在 C++17 中，无捕获 lambda 有一个 constexpr 转换运算符它们的函数指针类型，因此您应该（*）能够通过以下方式将这样的 lambda 转换为成员函数指针：

// ...
void associateMethod(int index, MyMethod m);

template<typename F>
void associateMethod(int index, F m) {
  associateMethod( index,
    static_cast<MyMethod>(
      &MyClass::bindFun< static_cast<void(*)(MyClass*,int)>(m) >
    ) );
}

private:

template<auto F>
void bindFun(int x){ (*F)(this,x); }

// to be used like 
x.associateMethod(0,[](MyClass* this_, int x){ this_->method1(x+1); });

(*) 可悲的是，这在 clang 中编译，但 gcc 拒绝编译它（我要问一个关于这个的问题，你可以找到它here）。