c++ - cbegin，cend 为 Qt 5.2.1 中的空容器提供无效结果

Question

在Qt 5.2.1中，下面的代码结果怎么不一样？

QVector<int> c;
if (c.cbegin() != c.begin())
{
   std::cout << "Argh!" << std::endl;
}

这会打印“argh”，但以下不会。

QVector<int> c;
if (c.begin() != c.cbegin())
{
    std::cout << "Argh!" << std::endl;
}

请注意，cbegin 和 begin 位置是交换的。但是，如果您更改容器状态，我的意思是例如 push_back 里面的东西，它可以正常工作。在我看来，在容器上调用任何可变方法之前，cbegin 和 cend 都是无效的。是错误还是功能？

Answer 1

您观察到的行为与调用 QVector::begin 和 QVector::cbegin 的顺序有关。如果对前者的调用发生在对后者的调用之前，则它们的返回值比较相等，但如果您颠倒顺序，它们的比较不相等。这可以通过以下代码来证明:

QVector<int> c;
std::cout << static_cast<void const *>(c.begin()) << std::endl;
std::cout << static_cast<void const *>(c.cbegin()) << std::endl;

打印的地址将相同。但是，如果你交换两个打印语句的顺序，地址就会不同。

如果你深入研究这两个成员函数的源代码，你会看到

inline iterator begin() { detach(); return d->begin(); }
inline const_iterator cbegin() const { return d->constBegin(); }

进一步追溯，d->begin() 和 d->constBegin() 的主体是相同的。所以区别在于第一种情况下对 QVector::detach() 的调用。这被定义为

template <typename T>
void QVector<T>::detach()
{
    if (!isDetached()) {
#if QT_SUPPORTS(UNSHARABLE_CONTAINERS)
        if (!d->alloc)
            d = Data::unsharableEmpty();
        else
#endif
            reallocData(d->size, int(d->alloc));
    }
    Q_ASSERT(isDetached());
}

可以在 here 中找到对所发生事情的解释。 .

Qt’s containers are implicitly shared – when you copy an object, only a pointer to the data is copied. When the object is modified, it first creates a deep copy of the data so that it does not affect the other objects. The process of creating a deep copy of the day is called detach

Since, STL-style iterators are conceptually just pointers, they make modification to the underlying data directly. As a consequence, non-const iterators detach when created using Container::begin() so that other implicitly shared instances do not get affected by the changes.

因此，如果首先调用 QVector::begin()，则容器的底层存储会被重新分配，随后会调用 QVector::cbegin() 将返回相同的指针。但是，将它们反转并且对 QVector::cbegin() 的调用会在任何重新分配发生之前返回一个指向共享存储的指针。