WW #12

[Дмитрий Свиридкин]

my_vector::my_vector<T>::my_vector_holder::my_vector_holder(std::size_t n)

лучше завернуть всю реализацию в namespace, чем явно у каждого метода его указывать:

namespace my_vector {
 my_vector<T>::my_vector_holder::my_vector_holder(std::size_t n){...}
 ...

}

//#include "my_vector_impl.h" этот "заголовок" и должен был тут подключаться. А уже в нем не нужно подключать "my_vector.h" и писать include guards. Это стандартная практика для разделения реализации шаблонов.

reinterpret_cast<T*>(new char[n * sizeof(T)])

Используйте malloc или aligned_alloc. Для new не гарантировано, что выделенная память будет выравнена так, что подойдет для любого объекта.

new (newh.array_ + newh.size_) T Добавьте скобки, а то какой-нибудь int создастся неинициализированным ​https://stackoverflow.com/a/620217

resize не сработает, если n > size && n < capacity
Зачем resize пепревыделяет память, когда нужно уменьшить размер?
Также можно избежать дублирования кода, если реализовать resize с помощью pop/push

В условии требуется, чтоб reserve добивал capacity до степени двойки.

[Дмитрий Свиридкин]

clear приводит к UB

оператор вывода добавляет лишний пробел

resize нарушает строгую гарантию исключений

[Дмитрий Свиридкин]

resize все еще нарушает строгую гарантию исключений:

Если конструктор T по умолчанию кинет исключение, нужно откатывать move элементов и вызывать деструкторы у успешно созданных объектов.

---

8