将闭包作为«类方法指针»？

Question

好的，应该很简单，基本上下面的例子应该可以工作（至少可以编译）：

class Foo {
public:
    void DoNothing( void(Foo::*funcptr)() ){}
    void CallDoNothing();
};

void Foo::CallDoNothing(){
    auto closure = [this](){};
    DoNothing(closure);
}

int main(){
    return 0;
}

但由于某种原因会触发编译错误

test.cpp: In member function ‘void Foo::CallDoNothing()’:
test.cpp:9:19: error: no matching function for call to ‘Foo::DoNothing(Foo::CallDoNothing()::__lambda0&)’
  DoNothing(closure);
                   ^
test.cpp:9:19: note: candidate is:
test.cpp:3:7: note: void Foo::DoNothing(void (Foo::*)())
  void DoNothing( void(Foo::*funcptr)() ){}
       ^
test.cpp:3:7: note:   no known conversion for argument 1 from ‘Foo::CallDoNothing()::__lambda0’ to ‘void (Foo::*)()’

我什至已经尝试过转换：DoNothing(reinterpret_cast< void(Foo::*funcptr)() >(closure));、DoNothing(( void(Foo::*funcptr)() )closure);，以及对此的一些变体——这些都只是触发了编译错误！

Answer 1

为什么你认为一个 lambda 函数可以赋值给一个成员函数指针？ lambda 函数属于某种匿名类型。只有当它有一个空捕获时，它才可以分配给函数指针，但即使这样也与您的示例中的成员函数指针不兼容。

您可以使用std::function<void ()> 或将DoNothing 设为模板函数。