局部变量的右值引用和移动

Question

在这个 sn-p 中，我分配了一个本地对象 B，我将它传递给另一个对象 C 的构造函数，后者将其作为右值引用。然后我将后者放入容器中。

当我检索 C 并将其成员 static_cast 回 B 时，值不正确（valgrind 识别出 18 个错误！）

#include <iostream>
#include <memory>
#include <vector>

class A {
public:
  virtual ~A() {};
};

class B: public A {
public:
  B(int foo) : _foo(foo) {}
  int _foo;
};

class C {
public:
  C(A&& a): _a(std::move(a)) {}
  A&& _a;
};

std::vector<C> v;

void bar() {
  v.emplace_back(B(12));
}

int main() {
  bar();
  C&& c = std::move(v.front());
  std::cout << static_cast<B&&>(c._a)._foo << std::endl;
  return 0;
}

我的理解是，由于 C 采用右值引用，因此不应该有任何对象切片。我仍然应该能够检索到完整的 B 对象。此外，我对std::move 的理解（很可能是有缺陷的）是我可以将局部变量“移出”其上下文，并且通过获取右值引用，C 获得了 B 的所有权。

输出是39931504 而不是12。

谁能给我解释一下这是怎么回事？

Answer 1

我应该仍然能够检索完整的 B 对象。

如果它不是在控制到达bar 的右大括号时不存在的临时文件，那么您会是。您在 C 中持有一个引用，而对临时对象的引用很快就会变得悬空。

快速解决方法是将C 的成员声明更改为std::unique_ptr<A> a; 并正确初始化它，例如

template<class AChild> C(AChild child)
  : a(std::make_unique<AChild>(std::move(child))) {};

（根据口味添加 SFINAE）。

Answer 2

问题是C 类中对A 的引用（即数据成员_a）比它所引用的对象的寿命更长。这是因为您的bar() 函数中的临时 B(12)

void bar() {
   v.emplace_back(B(12));
}

从bar() 返回后不存在。因此，C 类包含的对A 的引用变成了一个悬空引用。

---

您可以使用new 运算符创建B 对象，而不是临时对象：

void bar() {
   B* ptr = new B(12);
   v.emplace_back(std::move(*ptr));
}

从bar() 返回时，此B 对象不会停止存在，因此C 中对A 的引用仍然有效。

请注意，使用这种方法您需要手动销毁对象：

C&& c = std::move(v.front());
// ...
delete &c._a; // destroy object