std::vector::assign/std::vector::operator=(const&) 是否保证重用 `this` 中的缓冲区？

Question

如果我将一个向量分配或复制到另一个向量（其容量与前者的大小相同或更大），我可以假设后者的缓冲区将被重用吗？

下面的例子表明我可以，但是，它是由标准保证的吗？ 在这方面std::vector::assign 和std::vector::operator= 的行为有什么区别吗？

#include <vector>
#include <iostream>
#include <cassert>

int main()
{
    std::vector a {1, 2, 3, 4, 5};
    std::vector b {1, 2, 3, 4};
    std::vector c {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

    std::cout << "1 ==== " << a.capacity() << " " << a.data() << std::endl;

    const auto* pa = a.data();   
    a = b;
    assert(pa == a.data());
    std::cout << "2 ==== " << a.capacity() << " " << a.data() << std::endl;

    a = c;
    assert(pa != a.data());
    std::cout << "3 ==== " << a.capacity() << " " << a.data() << std::endl;
}

Live example.

更新：This answer 提到

void assign(size_type n, const T& t);

等价于

erase(begin(), end());
insert(begin(), n, t);

标准真的是这样制定的吗？它是否适用于std::vector::assign的所有重载？

Answer 1

简答

没有。

不是那么简短的回答

标准没有在vector 上手动定义这些操作。它仅将它们定义为容器的要求。 [vector] 说

向量满足容器和可逆容器（在 [container.requirements] 中的两个表中给出）、序列容器的所有要求，包括大多数可选的序列容器要求（[sequence.reqmts] )，分配器感知容器（表 67），以及对于 bool 以外的元素类型，连续容器。例外是未提供的 push_front、pop_front 和 emplace_front 成员函数。此处仅针对这些表之一中未描述的向量操作或存在附加语义信息的操作提供描述。

唯一提到这些操作的地方是Container requirements 和Sequence container requirements。没有任何东西支持你的假设。