c++ - 在析构函数中释放导致内存泄漏

Question

我必须使用 C++ 中的数组为我的作业编写一个堆栈类模板。

Here是我的代码:

#include <iostream>

template <typename Type>
class Stack {
private:
  int top;
  Type items[];
public:
  Stack()  { top = -1; };
  ~Stack() { delete[] items; };
  void push(Type);
  bool isEmpty() const;
  Type pop();
  Type peek() const;
};

int main (int argc, char *argv[]) {
  Stack<double> st;
  return 0;
}

template<typename Type>
void Stack<Type>::push(Type item) {
  top++;
  if(top == sizeof(items) / sizeof(Type)) {
    Type buff[] = new Type[top];
    std::copy(items,items+top,buff);
    delete[] items;
    items = new Type[2*top];
    std::copy(buff,buff+top,items);
    delete[] buff;
  }
  items[top] = item;
}

template<typename Type>
bool Stack<Type>::isEmpty() const {
  return top == -1 ? true : false;
}

template<typename Type>
Type Stack<Type>::pop() {
  //TODO
  return items[top--];
}

template<typename Type>
Type Stack<Type>::peek() const{
  //TODO
  return items[top-1];
}

它使用“g++ -Wall”编译得很好，但是当我运行这个程序时，我得到了这个错误:

* glibc detected * ./lab3: munmap_chunk(): invalid pointer: 0x00007fff41a3cdf8

在尝试了一些 GDB 之后，我发现错误来自以下行:

'free[] items' in the destructor.

我不明白为什么释放数组会导致内存泄漏？有什么线索吗？

Answer 1

您应该只delete[] 您使用new[] 显式分配的内容。您的 items 成员不是动态分配的数组，因此您不能像释放它那样释放它。

另一方面，你有

Type items[];

实际上并没有在您的对象实例中为堆栈分配任何空间。