将右值引用传递给类构造函数有什么意义？

Question

好的

所以我有一个班级，MyClass。我想用一个整数向量来构造这个类。我想将此向量移动到对象中。该类未模板化。

class Myclass {
     public:
     Myclass (std::vector<int> && in) : vec{in} {};
     Myclass (std::vector<int> & in) : vec{in} {};

    private:
    std::vector<int> vec;
    }

我主要有

std::vector<int> orig (100);
Myclass A {orig};
std::cout << A.size() << '\n';

我希望将“orig”移入“A”后为空。在上述任何一个选项中都不会发生这种情况。 即使我这样做了

    std::vector<int> orig (100);
    Myclass A {std::move(orig)};
    std::cout << A.size() << '\n';  // still prints 100

看来我可以通过

 Myclass (std::vector<int> && in) : vec{std::move(in)} {};   // (1)

或

 Myclass (std::vector<int> & in) : vec{std::move(in)} {};    // (2)

或

Myclass (std::vector<int> && in) : vec{std::forward<std::vector<int>(in)} {};    // (3)

我的问题是为什么 (1) 的行为与 (2) 完全一样？

Answer 1

关于引用，右值和左值，要记住的是它们是左值。这意味着，如果您有对某事物的引用，则该引用是一个左值，您需要 std::move 将其转换为右值，以便可以移动它。

Myclass (std::vector<int> && in) 和 Myclass (std::vector<int> & in) 之间的真正区别在于你必须使用第一个

Myclass A {std::move(orig)};
// or
Myclass A {std::vector(100)};

并且不能将左值传递给它，而与 second 一样，您只能使用

Myclass A {orig};

因为它不会让您将右值传递给它。

---

还要注意构造函数 3 是“不正确的”。当您有转发参考时，您应该只使用std::forward。 std::vector<int> && in 是右值引用，而不是转发引用，因此您应该改用 std::move。要正确使用 forward，您需要一个模板构造函数，例如

template <typename T, std::enable_if_t<
                                       std::is_same<std::decay_t<T>, 
                                       std::vector<int>>, bool> = true>
Myclass (T&& in) : vec{std::forward<T>(in)} {};