如何寫一個模板函數接受&&和const＆兩者？

Question

例如

template<typename T> void f(T&& t) {} 
template<typename T> void f(T const& t) {} 

當我打電話

int i; 
f(i); // call f(T&&) which I expect to call f(T const&), how to solve it? 
f(10); // call f(T&&), that is fine 

Answer 1

這會是一個方法：

#include <type_traits> 

template<typename T> 
typename std::enable_if< !std::is_lvalue_reference<T>::value >::type 
f(T&& t) {} 

template<typename T> void f(T const& t) {} 

另一種可能性是標籤調度：

template<typename T> 
void f_(const T&, std::true_type) { std::cout << "const T&\n"; } 
template<typename T> 
void f_(T&&, std::false_type) { std::cout << "T&&\n"; } 

template<typename T> 
void f(T&& t) 
{ 
    f_(std::forward<T>(t), std::is_lvalue_reference<T>{}); 
} 

Answer 2

的另一種方法是：

template<typename T> 
struct f_caller 
{ 
    void operator() (T&&) { std::cout << "T&&" << std::endl; } 
    void operator() (T const&) { std::cout << "const T&" << std::endl; } 
}; 


template <typename T> 
void f(T&& t) 
{ 
    f_caller<typename std::decay<T>::type>()(std::forward<T>(t)); 
} 

Live example