boost::bind 与空函数指针

Question

如果嵌入在 boost::bind 返回对象中的函数指针是 NULL/nullptr/0，我需要采取除调用之外的操作。如何确定对象是否包含空函数指针？

附录

1. 我不相信我可以使用和比较 boost::function ，因为 boost::bind 返回对象与模板函数中的不同调用签名一起使用。
2. 简化示例：

模板 
Retval do_stuff(BRO func, enum Fallback 后备)
{
    if (func == NULL)
    {
        返回 do_fallback(后备);
    }
    别的
    {
        返回 use_retval(func());
    }
}

do_stuff(boost::bind(FuncPtrThatMightBeNull, var1, var2), 回退);

解决方案

由于被调用者中函数的数量没有改变，我可以将绑定返回对象“转换”为boost::function并调用.empty()

Retval do_stuff(boost::function<Retval()> func, enum Fallback fallback)
{
    if (func.empty())
        return do_fallback(fallback);
    else
        return use_retval(func());
}

Answer 1

您可以绑定到虚拟函数：

void dummy() { /* has differing behaviour */ }
// ...
boost::bind(&dummy)();

...或者，假设您将 Boost.Bind 与 Boost.Function 一起使用，返回默认构造的函数对象并检查对于 empty()< /code>在调用之前：

typedef boost::function<void (void)> F;
F create() { return F(); }

void use() {
    F f = create();
    if(f.empty()) {
        /* ... */
    }
}

---

关于更新：
我仍然不明白绑定到如下所示的不同函数会出现什么问题：

template <typename BRO>
Retval do_stuff(BRO func)
{
    return func();
}

if(funcPtr) {
    do_stuff(boost::bind(&use_retval, boost::bind(funcPtr, a, b)));
} else {
    do_stuff(boost::bind(&do_fallback, fallback));
}

如果您想将该处理移出调用代码，您可以模拟可变参数模板函数以支持变量参数：

template<class R, class T1> 
boost::function<R (T1)> 
bind_wrap(R (*fnPtr)(), T1& t1, Fallback fallback) {
    if(fnPtr) return boost::bind(&use_retval,  boost::bind(funcPtr, t1));
    else      return boost::bind(&do_fallback, fallback);
}

template<class R, class T1, class T2> 
boost::function<R (T1, T2)> 
bind_wrap(R (*fnPtr)(T1, T2), T1& t1, T2& t2, Fallback fallback) {
    if(fnPtr) return boost::bind(&use_retval,  boost::bind(funcPtr, t1, t2));
    else      return boost::bind(&do_fallback, fallback);
}

// ... etc. for all needed arities

do_stuff(bind_wrap(funcPtr, var1, var2, fallback));

...或者您使用上述方法生成 boost::function<> 对象或您自己的包装器，并检查 functor.empty() 或 do_stuff( ）。

Answer 2

我会创建一个包装对象来执行此操作。类似下面的内容

#include <boost/bind.hpp>
#include <boost/function.hpp>
#include <iostream>

int aFunction(int i, int j)
{
  std::cout<<"In a Function"<<std::endl;
  return i+j;
}

struct DefaultingFromFnPtr : public boost::function< int(int,int) >
{
  explicit DefaultingFromFnPtr( int(*fn)(int,int) ) : fn_(fn) {}
  int operator()(int i, int j) const
  {
    if (fn_!=NULL) return fn_(i, j);
    return 7;
  }
  int(*fn_)(int,int);
};

template<typename T>
void do_stuff( T t )
{
  std::cout<<"RETURNED "<<t()<<std::endl;
}

int main( int argv, const char** argc)
{

  int(*mightBeNullFnPtr)(int,int) = NULL;
  if( argv>1)
  {
    mightBeNullFnPtr = & aFunction;
  }

  int var1 = 10;
  int var2 = 20;

  do_stuff( boost::bind( DefaultingFromFnPtr( mightBeNullFnPtr ), var1, var2 ) );
}

编译它并在不带参数的情况下运行它，它将 mightBeNullFnPtr 设置为 NULL 并使用包装类调用 do_stuff ，因此打印出 7。使用参数运行它，它将设置 mightByNullFnPtr 为 aFunction 并使用它调用 do_stuff ，打印出 30。

如果您想要更多的通用性，您将需要模板化 DefaultingFromFnPtr 包装类，但这应该很容易做到。

Answer 3

我非常确定使用空指针调用 boost::bind （= 绑定对象的创建）应该被视为未定义的行为，即使崩溃仅在调用它时发生。

Answer 4

你将不得不破解提升。

boost::bind 返回unspecified-nn。对这些类唯一有效的操作是operator()。您唯一知道的另一件事是它们是可复制构造的，并且有一个 result_type 的 typedef （顺便说一句，这意味着您不需要结果类型的模板）。

你想要别的东西 - 所以你需要在 boost 中找到 unspecified-nn 的定义（可能有几个），修改它们以获得一个 is_null() 成员函数来检查你想要的条件，然后将其称为您的测试。

当然，这是假设您确定您将始终在模板函数中获得 boost::bind'ed 对象。如果有人尝试传入常规函数指针，它将无法编译。解决这个问题需要一些模板魔法。