删除数组时检测到 C++ 堆损坏

Question

我一直在尝试创建 DynamicStack 的 pop() 函数中遇到堆损坏错误。

现在我已经设置它，如果项目数量小于我之前设置的容量的 1/4 左右，那么 DynamicStack 的大小将减半(除非新的减半容量小于我原来的容量容量)。

我得到的确切错误(使用 Visual C++)是:

检测到堆损坏:在 0x010AF0D0 处的普通 block ($154) 之后。 CRT 检测到应用程序在堆缓冲区结束后写入内存

StackItem DynamicStack::pop()
{
    if (size_ == 0)
        return EMPTY_STACK;
    StackItem thingToReturn = items_[size_ - 1]; // The item to return is at location size - 1
    size_--;
    if ((size_ <= capacity_ * (1.0 / 4))  && capacity_ / 2 >= init_capacity_)
    {
        StackItem * items_half = new StackItem[capacity_ / 2];
        for (int i = 0; i < size_; i++)
            items_half[i] = items_[i];
        capacity_ = capacity_ / 2;
        delete[] items_;    // ERROR IS HERE
        items_ = items_half;
    }
    return thingToReturn;
}

这里也是我为这个栈做的push函数

void DynamicStack::push(StackItem value)
{
    if (size_ != capacity_)
        items_[size_] = value;
    else
    {
        StackItem * items_new = new StackItem[capacity_ * 2];
        for (int i = 0; i < capacity_; i++)
            items_new[i] = items_[i];
        items_new[capacity_] = value;
        capacity_ = capacity_ * 2;
        delete[] items_;
        items_ = items_new;
    }
    size_++;
}

这是动态堆栈的默认构造函数 其中 items_、capacity_、size_ 和 init_capacity_ 是 int 类型。

DynamicStack::DynamicStack()
{
    items_ = new StackItem[16];
    capacity_ = 16;
    size_ = 0;
    init_capacity_ = 16;
}

这是我正在运行的导致堆缓冲区错误的测试:

bool test3()
    {
        DynamicStack stack(24);
        stack.push(10);
        stack.push(20);
        ASSERT_TRUE(stack.peek() == 20)
            ASSERT_TRUE(stack.pop() == 20)
            ASSERT_TRUE(stack.pop() == 10)
            ASSERT_TRUE(stack.pop() == DynamicStack::EMPTY_STACK)
            ASSERT_TRUE(stack.peek() == DynamicStack::EMPTY_STACK)
            return true;
    }

在 main 中，我使用默认初始化运行测试。

int main()
{
    DynamicStackTest stack_test;
    bool stack_test3_passed = stack_test.test3();
    cout << "---Dynamic Stack Tests---" << endl;
    cout << "Test3: " << get_status_str(stack_test3_passed) << endl;
}

我预计编译时不应该有任何错误，因为 delete[] 真的不需要任何内存分配，对吗？如果存在某些内容，删除它应该没有问题。

Answer 1

所以这个答案其实挺尴尬的。我在 DynamicStack.cpp 中将 capacity_ 标记为容量，这基本上搞砸了构造函数。