C ++模板函数选择基于参数是值还是引用

Question

我目前有类似的东西：

template<typename T>
typename std::enable_if<!std::is_pointer<T>::value,void>::type
f( T const &t ) {
  // ...
}

也就是说，如果f是指针类型，我不希望考虑T。这样可以正常工作。但是，现在我想要两个不同版本的f，基于它的参数是否是由值返回的值与引用返回的值：

std::string const& ret_by_ref();
std::string ret_by_val();

f( ret_by_ref() ); // I want the existing function to be called here
f( ret_by_val() ); // I want a new template specialization of f() called here

如何扩充f的现有声明并创建一个新f，以便按上面所示调用它们？

前C ++ - 11的回答表示赞赏。

Answer 1

使用右值引用很容易做到这一点。只需添加

template<typename T>
typename std::enable_if<!std::is_pointer<T>::value,void>::type
f( T &&t ) {
    // ...
}

Answer 2

对于11之前的编译器，您总是可以参考boost类型特征库。

升压:: is_pointer

http://www.boost.org/doc/libs/1_43_0/libs/type_traits/doc/html/boost_typetraits/reference/is_pointer.html

我建议你开始阅读here一些类型特征的'背景和教程'。