Question

我正在编写一个模板类，它包含成员函数以减少一些调用 - 如果某些条件为true，则不需要调用成员函数。签名看起来像这样

template <typename MemFuncType, MemFuncType> class MemberWrapper;

我可以专门研究它：

template <typename R, typename T, R T::* MemFunc> class MemberWrapper<R T::*, MemFunc>{};

我还想限制R T::*的参数数量。我该怎么做？

我能想到的唯一解决方案是通过提供基于返回类型，函数类型，参数列表和cv限定符的部分特化来实现成员函数特征类。这会导致像当前std::mem_fn overloads这样繁琐的实施。有没有办法做得更好？

编辑：将Ret更改为R。正如评论中指出的那样，它并不是真正的返回类型，专业化是无效的。

Answer 1

不要尝试把所有东西放在一个班级里。成员函数是一个函数，它是类的成员。因此，首先要创建一些函数特征类，例如

template< typename T >
class function_traits
{
  static_assert( sizeof( T ) == 0,
                 "function_traits<T>: T is not a function type" );
};

template< typename R, typename... Ts >
struct function_traits< R( Ts... ) >
{
  constexpr static const std::size_t arity = sizeof...( Ts );
  using result_type = R;
};

template< typename R, typename... Ts >
struct function_traits< R( Ts... ) const > : function_traits< R( Ts... ) > {};

template< typename R, typename... Ts >
struct function_traits< R( Ts... ) & > : function_traits< R( Ts... ) > {};

template< typename R, typename... Ts >
struct function_traits< R( Ts... ) const & > : function_traits< R( Ts... ) > {};

template< typename R, typename... Ts >
struct function_traits< R( Ts... ) && > : function_traits< R( Ts... ) > {};

template< typename R, typename... Ts >
struct function_traits< R( Ts... ) const && > : function_traits< R( Ts... ) > {};

通过这种方式，您可以轻松限制班级中的参数数量：

template <typename Ret, typename T>
class MemberWrapper<Ret T::*>
{
  static_assert( function_traits<Ret>::arity <= 4,
                 "More than 4 arguments are not allowed" );
};

Live example

Answer 2

Boost Function Types提供了很多功能特征。此外，此SO post显示了示例。

成员职能特征

2 个答案: