Останется вектор в стабильном состоянии, если при вызове метода вектора insert, произойдет исключение в копируещем конструкторе одного из объектов типа C ?

Что ты имеешь ввиду под стабильным состоянием?

В C++ принято выделять три гарантии безопасности исключений

• базовая гарантия
• строгая гарантия
• гарантия отсутствия исключений

базовая гарантия
При возникновении исключения не происходит утечки ресурсов. Состояние программы может быть любое.
строгая гарантия
При возникновении исключения не происходит утечки ресурсов и программа остается в том состоянии, в котором была до вызова функции (т.е. происходит откат каких либо произведенных функцией действий).
гарантия отсутствия исключений
Полное отсутствие исключений.

При соответствии одному из этих правил функция считается безопасной (exception safe).
Вернемся к STL. Большинство операций с контейнерами в STL дают строгую гарантию безопасности исключений, тем не менее функции, строгая безопасность которых могла сказаться на производительности, дают базовую гарантию.
Для каждой функции стандарт описывает поведение при возникновении исключения.
В данном случае:


В твоем примере capacity() может измениться, но элемент вставлен не будет.

azesmcar, подразумевал строгую гарантию.


И возможно элементы которые находятся после ожидаемого места вставки тоже могут быть не валидными ?
Ведь при сдвиге какого-то из этих элементов и могло быть выброшено исключение в копирующем конструкторе.

Да, это вполне возможно.

Спасибо за разъяснения.

Зависит от релизации вектора. Текущую реализацию см. в соотвествующих заголовках.
В лучшем случае - элемент вставлен не будет.
Это если: выделяется новая память под элементы массива и туда копируются старые элементы;
(исключение при копировании -> удаление выделенной памяти, вектор остаётся в прежнем состоянии)
После эта новая память заменяет старую, увеличивается capacity;
Вызывется деструктор элементов в старой памяти; удаление старой памяти;
(исключение в деструкторе -> не все будет очищено)
Добавляется новый элемент, увеличивается size;
(исключение при копировании -> size не увеличен)

math64, в деструкторе исключений быть не должно.