Имеет ли 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()) безопасной для исключений?
Я даже пытался изучить один из реализацию стандартной библиотеки, чтобы проверить, так это или нет, но я не смог определить.

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