从函数指针创建 boost::function 的跨平台方法

Question

我一直在编写一些希望通过 boost::function 传递的模板。他们确定 boost::function 的参数，然后使用它来创建一个适当的类特化。例如，这是 0 个参数的模板：

template< class ReturnT >
MyFunctionPtr MakeFunction( boost::function< ReturnT (  ) > func )
{
    return MyFunctionPtr( new MyFunction< decltype( func ), ReturnT >( func ) );
}

作为一个捷径，我有另一个版本的 MakeFunction 模板，它接受一个函数指针并自动将它包装在适当类型的 boost::function 中：

template< class T >
MyFunctionPtr MakeFunctionFromPointer( T func )
{
    return MakeFunction( 
        boost::function< typename boost::remove_pointer<T>::type >( func )
        );
}

这允许我从函数指针创建而无需显式传递函数规范：

int something() { return 1; }
MakeFunctionFromPointer( &something );

在 MSVC 上这工作正常，但在 GCC 4.3 中我得到“无匹配函数”错误。看来：

在 MSVC 上 boost::remove_pointer< bool (*)() >::type 是 bool ()

但在 GCC 4.3 上：boost::remove_pointer< bool (*)() >::type 是 bool ()()

所以在 GCC 上不存在 MakeFunction 的适当模板。

有什么方法可以改变任一平台上 remove_pointer 输出的输出以匹配另一个？或者有没有其他方法可以解决这个问题？

Answer 1

你可以创建一个类型推导的maker函数模板：

template <typename R>
boost::function<R()> make_function(R(*f)())
{ return boost::function<R()>(f); }

template <typename R, typename ...Args>
boost::function<R(Args...)> make_function(R(*f)(Args...))
{ return boost::function<R(Args...)>(f); }

如果您的编译器不支持可变参数模板，您可以使用 Microsoft 的预处理器 hack 之类的东西来模拟它们（例如，参见 pretty printer source code 的示例）。

Answer 2

您可以显式地将指针作为函数参数，并从中推断出函数类型：

template< class T >
MyFunctionPtr MakeFunctionFromPointer( T * func )
{
    return MakeFunction( boost::function<T>( func ) );
}

更新：根据您在下面的评论，问题似乎是您在 MakeFunctionFromPointer 的定义中使用它来声明 MakeFunction 之后。只要在使用前声明所有函数，我的版本或您使用 boost::remove_pointer 的版本都可以。