c++ - std::vector 的前地址是否移动不变？

Question

在以下代码段中:

std::vector<double> a(100, 4.2);
auto* a_ptr = a.data();

auto b = std::move(a);
auto* b_ptr = b.data();

std::cout << ((b_ptr == a_ptr) ? "TRUE" : "FALSE") << '\n';

C++ 标准是否保证 b_ptr 在 std::move 之后总是等于 a_ptr？在 wandbox 上运行代码打印 TRUE。

Answer 1

来自 cppreference.com :

After container move construction (overload (6)), references, pointers, and iterators (other than the end iterator) to other remain valid, but refer to elements that are now in *this. The current standard makes this guarantee via the blanket statement in §23.2.1[container.requirements.general]/12, and a more direct guarantee is under consideration via LWG 2321.

指向元素的指针不会失效，包括指向第一个元素的指针。