根据参数是值还是引用来选择C++模板函数

Question

我目前有一些类似的东西：

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

也就是说，如果T是指针类型，我不希望考虑使用f。这按原样工作很好。然而，现在我想要两个不同版本的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类型特征库。

boost::is_pointer

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

我建议你开始阅读here，以获得一些关于类型特征的“背景和教程”。