Блог

Стандартным способом представления указателя на функцию-член для конкретного экземпляра класса является использование указателя на экземпляр и указателя на функцию-член:

 void Execute(Foo* inst, void (Foo::*func)(int), int x) {
  (inst->*func)(x);
}
...
Execute(foo, amp;Foo::Bar, 42);
  

Есть ли какой-либо способ определить Execute таким образом, чтобы указатель на функцию был представлен в виде одного выражения?

Например:

 void Execute(SomeType v, int x) {
  (v.inst->*v.func)(x);
}
...
Execute(foo->Bar, 42);
  

Моя основная проблема заключается в том, что в моем конкретном случае Foo вложен в длинную и нестабильную цепочку пространств имен, поэтому фактический вызов с использованием стандартного синтаксиса выглядит скорее как Execute(foo, amp;hello::darkness::my::old::friend::Foo::Bar, 42) . Однако у меня почти всегда есть локальный foo экземпляр, из которого я могу обратиться к гораздо более простому foo->Bar(42) . Однако мне нужно провести дополнительную бухгалтерию, поэтому мне нужно обернуть вызов чем-то вроде Execute . using к сожалению, директивы и псевдонимы пространства имен не являются опцией.

Есть ли какой-либо способ определить Execute таким образом, чтобы указатель на функцию был представлен в виде одного выражения?

ДА. Измените функцию на use std::function или вызываемый параметр шаблона, например:

 #include <functional>

void Execute(std::function<void(int)> v, int x)
{
    v(x);
}
  

 template<typename Callable>
void Execute(Callable v, int x)
{
    v(x);
}
  

И затем вы можете использовать std::bind() или лямбда-выражение для входного выражения, например:

 #include <functional>

using namespace std::placeholders;
using FooType = std::remove_reference<decltype(*foo)>::type;

Execute(std::bind(amp;FooType::Bar, foo, _1), 42);
// or, in C  20 and later:
Execute(std::bind_front(amp;FooType::Bar, foo), 42);
  

 Execute([=](int x){ foo->Bar(x); }, 42);
  

Кроме того, просто чтобы упомянуть, что в C Builder, в частности, есть __closure расширение, которое позволяет вызывать методы-члены без необходимости указывать тип класса вообще, например:

 typedef void (__closure *TExecuteCallable)(int);

void Execute(TExecuteCallable v, int x)
{
    v(x);
}

...

Execute(foo->Bar, 42);
// or
Execute(amp;(foo->Bar), 42);