对于模板函数,我们可以如下特化它:
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) {}
这两个“特化”使原始模板功能特化?或者对其进行特化是否有意义?
最佳答案
专门化函数模板很少是个好主意。非常稀有。它看起来像是模板类特化和重载的混合体,但两者都不像。
函数有重载。使用那些。
如果重载没有得到您想要的确切行为,请使用带有基于标签分派(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));
}
关于c++ - 使用通用引用参数专门化函数模板是否有意义?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/39290149/