QVector 的 operator[] 返回不正确的值

Question

QVector和operator=有4个例子：

auto value1 = (QVector<int>() << 1)[0]; //value is 1 (correct)
auto &value2 = (QVector<int>() << 1)[0]; //value is -572662307 (incorrect)
const auto value3 = (QVector<int>() << 1)[0]; //value is 1 (correct)
const auto& value4 = (QVector<int>() << 1)[0]; //value is -572662307 (incorrect)

那么，请您更清楚地解释这些示例吗？据我所知，这是关于“深拷贝”的东西，它是由operator= 之一创建的，但对我来说并不完全清楚。

Answer 1

深拷贝与它无关。 QVector 的写时复制机制（这与“深拷贝”有关）对您完全透明，不会影响您的方案。暂时忽略此功能。

首先看看QVector::operator[]返回了什么。 它返回对QVector元素的引用。

现在，当您使用 & 时，您正在捕获对矢量项的引用。

现在QVector<int>() 是一个临时对象，其活动范围仅限于该行。 因此，在分号之后，vector 被销毁，并且 reference 指向不存在的 vector 元素（因为 vector 不再存在）。

这会导致未定义的行为，而您的运气不好并没有导致应用程序崩溃。

修复它的一种方法是不使用临时对象。

   QVector v;
   v << 1;
   auto value1 = v[0];
   auto &value2 = v[0];
   const auto value3 = v[0];
   const auto& value4 = v[0]; 

现在所有引用都指向仍然存在的值。