Почему resize() вызывает копирование, а не перемещение содержимого вектора при превышении емкости?

Чтобы удовлетворить эту гарантию, реализации обычно используют copy-and- идиома подкачки: если конструктор копирования X сбрасывает, мы еще не изменили содержимое исходного вектора, поэтому обещание сохраняется.

Однако, если предыдущее содержимое вектора было перемещено в новое хранилище, а не скопировано и конструктор перемещения выбросил, то мы бы необратимо изменили исходное содержимое вектора. вектор.

Таким образом, реализации будут использовать конструктор копирования X для безопасной передачи содержимого вектора в новое хранилище, если известно, что конструктор перемещения не выбрасывает, и в этом случае можно безопасно перейти от предыдущего элементы.

С небольшим изменением в определении конструктора перемещения X (пометив его как noexcept), фактически выход программы теперь ожидаемый.:

struct X
{
    X() { }
    X(int) { }
    X(X const&) { std::cout << "X(X const&)" << std::endl; }
    X(X&&) noexcept { std::cout << "X(X&&)" << std::endl; }
//         ^^^^^^^^
};