Один из вариантов выглядит так:
template<typename T>
void Vector<T>::PopBack(){
if(isEmpty()){
return;
}
--mSize;
mVector[mSize].~T();
}
Но если вы планируете вызывать деструктор явно, то вам следует пересмотреть алгоритм выделения/освобождения памяти. Так как new T[]
/delete[]
может привести к повторному вызову деструктора.
В общих чертах, это могло бы выглядеть так:
template<class T>
class Vector{
int mSize;
int mCapacity;
T *mVector;
public:
Vector():
mSize(0),
mCapacity(42),
mVector(allocate(mCapacity))
{}
T* begin(){
return mVector;
}
T* end(){
return mVector + mSize;
}
bool isEmpty() const{
return mSize == 0;
}
void popBack(){
if(isEmpty()){
return;
}
--mSize;
deallocate(end());
}
~Vector(){
for(T &object : *this){
destroy(&object);
}
deallocate(mVector);
}
private:
static void construct(T *object){
new(object) T;
}
static void destroy(T *object){
object->~T();
}
static T* allocate(int count){
return static_cast<T*>(malloc(count * sizeof(T)));
}
static void deallocate(void *ptr){
free(ptr);
}
};
Как видите, вся работа с выделением/освобождением памяти происходит в методах allocate
/deallocate
. В методе allocate
выделяется кусок памяти при помощи malloc
. В методе deallocate
этот кусок памяти освобождается. Никаких конструкторов и деструкторов автоматически не вызывается. Эти операции нам придется делать вручную. Для этих целей есть методы construct
/destroy
.
Конструктор, деструктор, и метод popBack
в этом примере реализованы. Аналогично при помощи методов allocate
, deallocate
, construct
и destroy
можно реализовать остальные.
P.S. Кстати, примерно таким же образом работает с памятью стандартный вектор. Только у него все эти методы вынесены в отдельный класс std::allocator
. Но вам для простоты можно объявить их прямо в теле вектора.