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

Question

我一直在尝试制作DynamicStack的pop（）函数中的Heap Corruption错误。

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

我得到的确切错误（使用Visual C ++）是：

HEAP CORRUPTION DETECTED：正常阻止（$ 154）后在0x010AF0D0。 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;
}

这也是我为这个堆栈做的推送功能

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

所以对此的答案实际上非常令人尴尬。我将capacity_标记为DynamicStack.cpp中的容量，基本上这搞砸了构造函数。