在设置函数指针之前绑定参数？

Question

我想尝试一些东西，并在我们的动态库 API 包装器之一中统一一些样板代码。

本质上，我想做以下事情：

typedef bool (*MyFPtrT)(long id, std::string const& name);
typedef boost::function<bool (long id, std::string const& name)> MyFObjT;
...

...
  MyFPtrT pDllFun = NULL;
  long x = 42; string s = "Answer"; // API input, not hardcoded
  MyFObjT f = boost::bind(pDllFun, x, s);
  ...
  return Call(f);
...

template<FT>
bool Call(FT f) {
  ...
  MyFPtrT pDllFun = (MyFunPtr)::GetProcAddress(...);
  f.setFunctionPointerButLeaveBoundParameters(pDllFun); // <- how??
  // Now call the correctly rigged up function object:
  return f();
}

这可能吗？ （使用Boost还是其他？）（C++03）

Answer 1

我认为不能直接这样做，因为 bind 创建一个新对象，该对象通过引用获取函数对象和参数，并且您无法重新绑定引用。

但是，您可以轻松地使用可重新分配的函数指针编写自己的模板化仿函数包装器：

template <typename R, typename A, typename B>
struct ReAssFunctor
{
  typedef R(*FP)(A, B);

  ReAssFunctor(const A & a_, const B & b_) a(a_), b(b_) { }

  R operator()() const { return func(a, b); }

  FP function;

private:
  const A & a;
  const B & b;
};

[编辑：] 请检查下面的注释；在构造函数中保存 const 引用所采用的引用可能会被危险地滥用，因此请小心，或者如果您愿意，可以按值保存 a 和 b。[/]

现在您可以初始化尽早使用参数的仿函数：

ReAssFunctor<R, A, B> raf(a, b);

然后分配一个函数指针并调用：

raf.function = foo;
raf();

raf.function = goo;
raf();

您甚至可以用以下方式替换调用运算符：

  template <typename U>
  U operator()(U (f*)(A, B)) const { return f(a, b); }

然后使用函数指针作为参数调用仿函数：

raf(fp1);  // calls fp1(a,b);
raf(fp2);  // calls fp2(a,b);

在这种情况下，您不需要返回类型为不再是固定参数，但现在你得不到无效调用运算符。任你挑选。

Answer 2

似乎以下内容可能有效：

typedef bool (*MyFPtrT)(long id, std::string const& name);
typedef boost::function<bool (long id, std::string const& name)> MyFObjT;
...

...
  MyFPtrT pDllFun = NULL;
  long x = 42; string s = "Answer"; // API input, not hardcoded
  MyFObjT f = boost::bind(boost::ref(pDllFun), x, s);
  ...
  return Call(f, pDllFun);
...

template<class FT, class FP>
bool Call(FT f, FP& pDllFun) {
  pDllFun = (MyFunPtr)::GetProcAddress(...);
  return f();
}

是的，那里有一些危险的参考资料。特别是，f 保留对 pDllFun 的引用。这可以很容易地缓解：将两者打包在一个类中，因此生命周期显然是相同的。