如何编写一个接受 && 和 const& 两者的模板函数？

How to write a template function accepting && and const& both?

本文关键字：const 函数 一个 何编写      更新时间：2023-10-16

例如

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

这是一种方式：

#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>{} );
}

另一种选择是：

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));
}

实例

相关文章：