std :: terminate и деструкторы пустых контейнеров

Рассмотрим некоторый стандартный контейнер, который использует динамическую память (т.е. AllocatorAwareContainer) и имеет размер и емкость ноль. Например, взять std::vector и позвонить vec.resize(0); vec.shrink_to_fit();,

Я предположил бы, что такие экземпляры контейнера будут содержать только nullptr указатели на их логическое содержание и std::size_t Участники отслеживать информацию, как size, Я также предположил бы, что их деструкторы по существу ничего не сделают, поскольку нет динамической памяти, которую нужно освободить.

Все деструкторы контейнеров, как я знаю, являются noexcept, То есть на бросание исключения во время уничтожения они должны вызвать std::terminate, Это возможно в случае Allocator::deallocate() бросить исключение.

Могу ли я быть уверен, что контейнеры в состоянии, описанном выше, никогда не вызывают std::terminate на уничтожение?