为什么编译器不选择rvalue-引用版本的“doesn”？

Question

我编写了一个类似的std::forward实现，希望找出在这种情况下编译器将选择哪个版本。问题是，似乎永远不会选择rvalue-reference版本。

#include <type_traits>
#include <iostream>
#include <string>
#include <utility>

using std::string;
using std::cout;
using std::endl;
using std::remove_reference;
using std::move;

namespace explicit_return {
template <typename type> type&& forward(typename remove_reference<type>::type&  value) { cout << "cp-"; return static_cast<type&&>(value); }
template <typename type> type&& forward(typename remove_reference<type>::type&& value) { cout << "mv-"; return static_cast<type&&>(value); }
}

void print(string const & value) { cout << "c:" << value << endl; }
void print(string &  value)      { cout << "l:" << value << endl; }
void print(string && value)      { cout << "r:" << value << endl; }

template <typename type> void explicit_print(type && value) {          print(explicit_return::forward<type>(value)); }
template <typename type> void indirect_print(type && value) { explicit_print(explicit_return::forward<type>(value)); }

int main()
{
    string a("perfect");
    indirect_print(a);
    indirect_print(move(a));
    indirect_print("forward");
}

让我们看看输出

cp-cp-l:perfect
cp-cp-r:perfect
cp-cp-r:forward

Answer 1

传递给forward<type>的参数是一个变量，因此是l-value。

当r值为r值时，您可能会选择带有额外std::move的r值重载或额外转发，例如：

template <typename type> void print_forward2(type&& value)
{
     print(explicit_return::forward<type>(explicit_return::forward<type>(value)));
}

演示

在实践中，我可以想象在tuple中存储参数并重新应用它们(一次)，这是与以下内容相关的：

print(std::forward<Ts>(std::get<Ts>(std::move(my_tuple)))...);

Answer 2

尽管您已经将indirect_print参数声明为type &&，但它的值类不是rvalue，而是lvalue。任何命名对象都是lvalue。

template <typename type>
void indirect_print(type && value) {
  explicit_print(explicit_return::forward<type>(value)); // `value` is lvalue here
}

这就是为什么您总是调用type&版本的forward。

删除explicit_print和indirect_print，并将main重写为：

int main()
{
    string a("perfect");

    print(explicit_return::forward<std::string>(a));
    print(explicit_return::forward<std::string>(move(a)));
    print(explicit_return::forward<std::string>("forward"));
}

你会看到不同之处：

cp-r:perfect
mv-r:perfect
mv-r:forward