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

How to pass a private member function as an argument

本文关键字：函数 参数传递 成员      更新时间：2023-10-16

在ROS中，有一个名为NodeHanle::subscribe(Args...)的函数：NodeHandle：：subscribe。这允许你传递一个 PRIVATE 成员函数作为回调。

但是，当我自己尝试时(使用 std：：bind 传递私有成员函数(，我的编译器总是失败并抱怨Foo::foo() is a private member function。当我Foo::foo改为公共职能时，一切都恢复正常。

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;
}

从这个答案来看，使用std::function也可以传递私有成员函数。但我尝试的有所不同。

值得一提的是，在getWrapper2我使用[=]而不是[&]，因为使用[&]可能会导致 seg 错误。为什么它必须是"价值捕获"？

平台： GCC 5.4.0， C++14， Ubuntu16.04

你必须从内部传递它。不能从类外部访问私有函数。甚至没有指向私人东西的指针。私人就是私人。

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));
}
}

为什么它必须是"价值捕获"？

两个包装器都需要值捕获。您的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]{};
}
相关文章：