Question

因此，我想练习std::forward的用法，并创建具有2个构造函数的Test类。 1个带有T&，另一个带有T&&作为过载。 T&打印 lvalue ，而T&&打印 rvalue ，因此我知道正在使用哪个构造函数。我在堆栈上创建了2个类的实例，令我惊讶的是，这两个实例都使用了T&&重载。

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

template <class T> auto forward(T &&t) {
  if constexpr (std::is_lvalue_reference<T>::value) {
    return t;
  }
  return std::move(t);
}

template <class T> class Test {
public:
  Test(T &) { std::cout << "lvalue" << std::endl; };
  Test(T &&) { std::cout << "rvalue" << std::endl; };
};

int main() {
  int x = 5;
  Test<int> a(forward(3));
  Test<int> b(forward(x));
  return 0;
}

我尝试使用原始的std::forward函数并实现了它，但两次都显示了 rvalue x2。我在做什么错了？

Answer 1

您的问题源于forward的返回类型。您使用auto作为返回类型，不会为您得出引用。这意味着当您返回时，无论它从哪个分支返回，都将按值返回，这意味着您具有prvalue。

您需要的是decltype(auto)，以便根据return语句返回右值或左值引用。使用

template <class T> decltype(auto) forward(T &&t) {
  if constexpr (std::is_lvalue_reference<T>::value)
    return t;
  else
    return std::move(t);
}

为您提供输出：

rvalue
lvalue

为什么我的代码打印右值两次而不是右值和左值？

1 个答案: