Имеет ли std::vector::assign **сильную** гарантию безопасности исключений? ⇐ C++

[Anonymous]

Я пытаюсь понять безопасность исключений в следующем коде C++:

Код: Выделить всё

#include 
#include 

int main() {
std::vector v;
std::array b{};
v.assign(b.begin(), b.end());
}

В этом коде я присваиваю элементы из std::array в std::vector. Я просмотрел документацию cppreference для std::vector::assign, но не смог найти конкретных сведений о том, какие исключения могут быть созданы во время этой операции или какие гарантии исключений предоставляются.
Мои опасения :
Распределение памяти: я знаю, что если std::vector нужно увеличить в размерах, возможно, ему придется выделить новую память. Это потенциально может вызвать исключение std::bad_alloc.
Частичное присвоение: если исключение возникает после того, как некоторые элементы из std::array были скопированы в std::vector, похоже, что a может оказаться в несогласованном состоянии, что нарушает строгие гарантии безопасности исключений. но в этом случае int не подлежит копированию, поскольку это тривиальный тип.
Учитывая мое понимание, может ли кто-нибудь сказать мне, является ли строка a.assign(b.begin(), b.end()) считается безопасным для исключений?
Я даже пытался просмотреть один из кодов реализации STL, чтобы проверить, безопасно это или нет, но не смог не определюсь.

Подробнее здесь: https://stackoverflow.com/questions/790 ... y-gurantee