template template parameter гугли

Ничего себе вам уже хкт завезли

Году в 98

Трейты вроде не так давно завезли

Тайпклассов нет в с++

Если речь про растовские трейты

Ребята, вот такой вот Конструктор по умолчанию должен быть у Вектора. То есть, noexcept spec - берется по Умолчательному Конструктору Аллокатора, так?

Тогда, как быть, если в умолчательном конструкторе Вектора, я решаю зарезервировать N байт памяти? Ведь по такой логике, спецификатор noexcept должен браться не у Умолчательного конструктора, а у allocate функции :?

Или, стандарт запрещает резервировать память в умолчательном конструкторе?

Видимо, да, есть гарантия, что он не дернет аллокатор

Я так понимаю, по итогу, не имея возможности заранее задавать буффер, мы получаем деградацию перфоманса, пусть и маленькую: когда начальный размер нуль, в push_back мы должны будем сделать проверку и выставить нужный размер - если нуль, то скажем, 4 элемента, а если не нуль, то умножим на два, как и делает gcc...Но это лишняя инструкция, в лучшем случае - cmove, если мы про x86, в худшем - ветка, наверное. Или такой гарантии нету и все же мы можем дёрнуть аллокатор в конструкторе вектора, при этом как то порешав проблемы с noexcept spec?(которая по утверждению cppref берется с Умолчательного ctor allocator, а не у функции allocate!!!)

Как я понимаю, там все очень плохо с описаниями в стандарте. Ты можешь почитать разбор на полтора экрана, почему move ctor оставит вектор пустым. Вроде такие ветвления (был доклад какой-то доклад про cmove и конвейеры, но тебе лучше знать, наверное) не сильно проблемные, но тут я не уверен в деталях

В худшем случае можно написать capacity = 2 * capacity + 2

Как я понимаю, так не делают и какие-то причины на это есть

но все равно, хуже чем capacity << 1

Видимо, считается, что дёрнуть аллокатор и так вечность

да, мне интересны именно причины, и почему в Def ctor нельзя выделять буффер...

Ведь вектор, чаще полон чем пуст... + ключевая фигура на вашем поле. Даже микро оптимизации, имеют место быть.

Ой какой не факт, особенно если не было reserve