Выделение и освобождение памяти C++

Question

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

Могу ли я реализовать свой код в этом случае ?:

template<typename Type> 
class Array { 
    Type *values; 

    Array(int size) : values(new (size * sizeof(Type)) char()) {} 
    ~Array() { 
     delete[] values; 
    } 
} 

Или мне нужно что-то вроде этого ?:

template<typename Type> 
class Array { 
    Type *values; 
    void *memory; 

    Array(int size) : memory(new (size * sizeof(Type)) char()), values(memory), size(size) {} 
    ~Array() { 
     delete[] memory; 
    } 
} 

ПРИМЕЧАНИЕ !!!! Я знаю, что это будет выделять память без инициализации каких-либо объектов типа. Это предполагаемое поведение моего кода. Кроме того, приведенный выше код не является моей полной реализацией, это только код, который будет выделять и освобождать память, потому что это то, что меня интересует с этим вопросом.

---

После дальнейших исследований я обнаружил, что я должен использовать malloc() и free() делать то, что я пытаюсь сделать. Спасибо всем ответам и комментариям.

Answer 1

Вы можете использовать Type*, чтобы облегчить вам жизнь, и используйте operator new для получения памяти без создания объектов.

Type* values; //No aliasing/casting issues 
Array(int size) : values((Type*)::operator new(sizeof(Type) * size)) //... 
~Array() { /*clean up extant objects*/ ::operator delete(values); } 

Тогда вы можете использовать новые и явные вызовы деструктора размещения для управления элементами. Кроме того, размещение нового не выделяет память. Он создает объект по указанному адресу.

Answer 2

Размещение new фактически не выделяет никакой памяти. Это просто синтаксис вызова конструктора с уже выделенной памятью.

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

Вы, вероятно, следует использовать std::allocator<T>::allocate и std::allocator<T>::deallocate, но вы можете использовать malloc/free, new char[]/delete[] (char*)arr или ::operator new/::operator delete.