std：：vector：：assign/std：：vector：：operator=(const&) 是否保证在"this"中重用缓冲区？

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

下面的示例演示我可以，但是，它是否由标准保证？ 在这方面，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;
}

活生生的例子。

更新：这个答案提到

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

相当于

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

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