c++ - 使用通用引用参数专门化函数模板是否有意义？

Question

对于模板函数，我们可以如下特化它:

template <typename T>
void func(T t) {}

// specialization for int
template <>
void func(int t) {}

但是，我不确定如何使用通用引用(来自 Meyers' book 的名称)专门化模板函数。

// template function with universal reference
template <typename T>
void func(T &&t) {}

我认为简单地将 T 替换为 int 并不能使其成为特化:

template <>
void func(int &&t) {}

由于模板函数可以同时接受左值和右值，而“专用”函数只能接受右值。

我还应该定义一个带有左值引用的“特化”吗？

// 'specialization' for lvalue reference
template <>
void func(int &t) {}

这两个“特化”使原始模板功能特化？或者对其进行特化是否有意义？

Answer 1

专门化函数模板很少是个好主意。非常稀有。它看起来像是模板类特化和重载的混合体，但两者都不像。

函数有重载。使用那些。

如果重载没有得到您想要的确切行为，请使用带有基于标签分派(dispatch)的重载的辅助函数，或转发给一个类。

在这种情况下，它可以很简单:

template <typename T>
void func(T&&){}
void func(int){}

或者:

template<class T>struct tag_t{};
template<class T>constexpr tag_t<T>tag{};
namespace details{
  template <class T, class U>
  void func(tag_t<T>, U&&){}
  template <class U>
  void func(tag_t<int>, U&&){}
}
template <class T>
void func(T&&t){
  return details::func(tag<std::decay_t<T>>, std::forward<T>(t));
}