c++ - 了解 QVector append() - 为什么它有条件地复制？

Question

这是来自 github 的 QVector 的 append() 的实现:

template <typename T>
void QVector<T>::append(const T &t)
{
    if (d->ref != 1 || d->size + 1 > d->alloc) {
        const T copy(t);
        realloc(d->size, QVectorData::grow(sizeOfTypedData(), d->size + 1, sizeof(T),
                                           QTypeInfo<T>::isStatic));
        if (QTypeInfo<T>::isComplex)
            new (p->array + d->size) T(copy);
        else
            p->array[d->size] = copy;
    } else {
        if (QTypeInfo<T>::isComplex)
            new (p->array + d->size) T(t);
        else
            p->array[d->size] = t;
    }
    ++d->size;
}

如果对 vector 的引用数 != 1 或者它需要调整大小，为什么它需要制作 t 的拷贝，为什么它只在这些情况下制作拷贝？

相关问题已被问到here , 但在代码中总是在附加到底层数组之前创建 t 的拷贝。

Answer 1

乍一看，这可能是因为 if 部分用于 vector 重新分配时，而 else 部分用于不重新分配时。当它确实重新分配时，用户可以完成 vector.append(vector[index]) 在这种情况下 t 在重新分配后将变得无效，因此必须在重新分配之前进行复制重新分配。在没有重新分配的 else 部分 t 将保持有效并且不需要复制。