В следующем фрагменте:
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 всегда равен a_ptr после std::move? Запуск кода на wandbox печатает TRUE.
От cppreference.com:
После перемещения контейнера (перегрузка (6)) ссылки, указатели и итераторы (кроме конечного итератора) на другие остаются действительными, но относятся к элементам, которые теперь находятся в этом. Нынешний стандарт дает эту гарантию в соответствии с выражением на одеяло в §23.2.1 [container.requirements.general]/12, и более прямая гарантия находится на рассмотрении через LWG 2321.
Указатели на элементы не являются недействительными, включая указатели на первый элемент.