如何将私有成员函数作为参数传递

Question

在ROS, there is a function called NodeHanle::subscribe(Args...): NodeHandle::subscribe。这使您可以将 PRIVATE 成员函数作为回调传递。

然而，当我自己尝试时（使用 std::bind 传递私有成员函数），我的编译器总是失败并抱怨 Foo::foo() is a private member function。当我将 Foo::foo 更改为 public 函数时，一切正常。

template<typename T>
void getWrapper1(void(T::*fn)(int), T *t) { 
  return [&](int arg) {
    std::cout << "process before function with wrapper" << std::endl;
    (t->*fn)(arg);
    std::cout << "process after function with wrapper" << std::endl;
  };
}

void getWrapper2(std::function<void(int)> fn) {
  return [=](int arg) {
    std::cout << "process before function with wrapper" << std::endl;
    fn(arg);
    std::cout << "process after function with wrapper" << std::endl;
  }
}

class Foo {
private:
  void foo(int a) {
    std::cout << __FUNCTION__ << a << std::endl;
  }
}

int main(int argc, char** argv) {
  Foo foo_inst;
  auto func1 = getWrapper1(&Foo::foo, &foo_inst); // fail because foo is private
  auto func2 = getWrapper2(std::bind(&Foo::foo, &foo_inst, std::placeholders::_1));  // fail because foo is private
  func1(1);
  func2(2);
  return 0;
}

从this answer，使用std::function也可以传递私有成员函数。但我试过的不同。

值得一提的是，在getWrapper2中我使用[=]而不是[&]，因为使用[&]可能会导致段错误。为什么它必须是 "value capture"?

平台：GCC 5.4.0、c++14、ubuntu16.04

Answer 1

你必须从里面通过。您无法从 class 外部访问私有函数。甚至没有指向私有内容的指针。私人就是私人。

class Foo {
    void foo(int a) {
        std::cout << __FUNCTION__ << a << std::endl;
    }

 public:
    auto getWrapper() {
        // using a lambda (recommended)
        return getWrapper2([this](int a) {
            return foo(a);
        });

        // using a bind (less recommended)
        return getWrapper2(std::bind(&Foo::foo, this, std::placeholders::_1));
    }
}

Why it has to be a "value capture"?

两个包装器都需要值捕获。您的 Wrapper1 有未定义的行为。

考虑一下：

// returns a reference to int
auto test(int a) -> int& {
    // we return the local variable 'a'
    return a;
    // a dies when returning
}

lambda 也会发生同样的事情：

auto test(int a) {
    // we capture the local variable 'a'
    return [&a]{};
    // a dies when returning
}

auto l = test(1);
// l contain a captured reference to 'a', which is dead

指针按值传递。指针本身就是一个对象。指针本身有生命周期，可以消亡。

auto test(int* a) -> int*& {
    // we are still returning a reference to local variable 'a'.
    return a;
}

而且......你猜对了，std::function也是一样：

auto test(std::function<void(int)> a) {
    // return a lambda capturing a reference to local variable 'a'.
    return [&a]{};
}

如何将私有成员函数作为参数传递

How to pass a private member function as an argument

c++

functional-programming

ros