11

我正在尝试编写一个名为 signature_of 的元函数，给定函数（指针）、仿函数或 lambda 的类型，它会返回其签名。

这是我到目前为止所拥有的：

#include <boost/mpl/pop_front.hpp>
#include <boost/mpl/push_front.hpp>
#include <boost/function_types/is_member_function_pointer.hpp>
#include <boost/function_types/function_type.hpp>
#include <boost/function_types/result_type.hpp>
#include <boost/function_types/parameter_types.hpp>

#include <type_traits>

template <typename F>
struct signature_of_member
{
    typedef typename boost::function_types::result_type<F>::type result_type;
    typedef typename boost::function_types::parameter_types<F>::type parameter_types;
    typedef typename boost::mpl::pop_front<parameter_types>::type base;
    typedef typename boost::mpl::push_front<base, result_type>::type L;
    typedef typename boost::function_types::function_type<L>::type type;
};

template <typename F, bool is_class>
struct signature_of_impl
{
    typedef typename boost::function_types::function_type<F>::type type;
};

template <typename F>
struct signature_of_impl<F, true>
{
    typedef typename signature_of_member<decltype(&F::operator())>::type type;
};

template <typename F>
struct signature_of
{
    typedef typename signature_of_impl<F, std::is_class<F>::value>::type type;
};

这非常简单，大部分实际工作由 boost::function_types 库完成。总体思路是：

  • 使用 std::is_class 区分内置函数（包括 lambdas）和仿函数
  • 对于内置函数类型，使用 boost::function_types::function_type 获取其签名
  • 对于函子，获取其 operator() 的类型，获取其签名，并对其进行修改以删除“this”参数

这适用于内置函数：

int f(int);
typedef signature_of<decltype(f)>::type Sig;  // Sig is int(int)

对于 lambda：

auto f = [](int) { return 0; }
typedef signature_of<decltype(f)>::type Sig;  // Sig is int(int)

对于函子：

struct A
{
    int operator()(int);
};
typedef signature_of<A>::type Sig;  // Sig is int(int)

但是，它不适用于 bind() 表达式（这是函子的一种特殊情况）。如果我试试这个：

#include <functional>
int g(int);
typedef signature_of<decltype(std::bind(g, 0))>::type Sig;

我得到一个编译器错误：

In file included from test.cpp:3:0:
signature_of.hpp: In instantiation of 'signature_of_impl<
        _Bind<int (*(int))(int)>, true
    >':
signature_of.hpp:45:74:   instantiated from 'signature_of<
        _Bind<int (*(int))(int)>
    >'
test.cpp:21:52:   instantiated from here
signature_of.hpp:39:74: error: type of '& _Bind<
        int (*)(int)({int} ...)
    >::operator()' is unknown

问题是bind()返回的函子的operator()是一个模板，所以不能确定它的类型。

是否有可能以另一种方式获得 bind() 表达式的签名？

4

2 回答 2

11

除了活页夹的 operator() 是模板化的事实之外，您还有更多的问题，它还具有任意数量的参数。请记住，您应该能够使用任意数量的额外参数调用 bind 的结果。例如：

int f(int);

auto bound = boost::bind(f, _2);

bound现在可以使用任意数量的 2 或更多参数调用，实际上只有第二个被转发到函数。

所以基本上，正如另一个答案所说，这个对象没有签名。它的签名仅由它的使用方式定义。

于 2011-01-23T00:24:33.883 回答
4

如果运算符是模板化的，则它没有签名。

于 2011-01-22T23:58:17.173 回答