具有最小复制的前向函子

Question

我想转发函数调用和复制函数只有在绝对必要的时候。下面是我的泛型包装函数和函子：

template <typename F>
void wrapper (F func)
{
  func ();
}

struct Functor
{
  Functor() {}
  void operator() () { /* do some work */ }
};

null

using safe_mutual_handler_type =
  typename std::conditional<
    std::is_reference<F>::value
  , typename std::conditional<
      std::is_const<typename std::remove_reference<F>::type>::value
    , typename std::remove_const<typename std::remove_reference<F>::type>::type
    , F&
    >::type
  , F&
  >::type;

template <typename F>
void wrapper (F&& func)
{
  safe_mutual_handler_type<F> tmp = func;
  tmp ();
}

struct Functor {
  Functor() {}
  void operator() () const {}
};

问题是：如果函子有常量括号运算符，我如何在包装器中检查？另一个问题是包装器是否可以在没有大量类型特征TypeDefs行的情况下以更聪明、更紧凑的方式实现？（实际上，我担心的不是代码大小，而是代码可读性）。

Answer 1

如果只是想在引用的调用有效的情况下使用引用，请使用表达式sfinae：

template <typename F>
auto wrapper_ (F&& func, int) -> decltype(func())
{
    func ();
}

template <typename F>
void wrapper_ (F func, ...)
{
    func ();
}

template <typename F>
void wrapper (F&& f)
{
    wrapper_(std::forward<F>(f), 0);
}

如果您只想在传递一个可变引用时复制/移动它（并且仅限于此）：

template <typename F>
auto wrapper_ (F&& func, std::true_type)
{
    func ();
}

template <typename F>
void wrapper_ (F func, std::false_type.)
{
    func ();
}

template <typename F>
void wrapper (F&& f)
{
    wrapper_(std::forward<F>(f), std::is_const<typename std::remove_reference<F>::type>());
}