Почему конструктор перемещения, вызывающий исключение, приводит к копированию, а не перемещению, если дается строгая гар ⇐ C++

[Anonymous]

Куда бы я ни посмотрел, кажется, что существует соглашение о том, что стандартная библиотека должна вызывать конструкторы копирования вместо конструкторов перемещения, когда конструктор перемещения имеет значение noException(false).
Теперь Я не понимаю, почему это так. Более того, Visual Studio VC v140 и gcc v 4.9.2, похоже, делают это по-другому.
Я не понимаю, почему noException это проблема, например. вектор. Я имею в виду, как вектор::resize() сможет дать надежную гарантию исключения, если T этого не делает? Насколько я понимаю, уровень исключения вектора будет зависеть от T, независимо от того, используется ли копирование или перемещение.
Я понимаю, что noException - это просто подмигивание компилятор для оптимизации обработки исключений.
Эта небольшая программа вызывает конструктор копирования при компиляции с помощью gcc и конструктор перемещения при компиляции с помощью Visual Studio.
include
#include

struct foo {
foo() {}
// foo( const foo & ) noexcept { std::cout

Подробнее здесь: https://stackoverflow.com/questions/286 ... ng-where-a