自定义IntVector类调用realloc时触发_CrtlsValidHeapPointer(block)错误求助

错误根源分析 #

1. 浅拷贝导致悬空指针：你的类没有实现拷贝构造函数和赋值运算符重载，当对象被拷贝（如IntVector a = b;或作为函数参数传递）时，会执行默认的浅拷贝，多个对象共享同一块堆内存。当其中一个对象通过remove或析构释放内存后，其他对象的arr指针就变成悬空指针，后续调用realloc时，堆检测机制会发现传入的指针已失效，触发_CrtlsValidHeapPointer错误。

2. 构造函数逻辑矛盾：构造函数中size设为0，却分配了1个int的内存并给arr[0]赋值，导致逻辑上的元素数量与实际分配的内存容量不匹配，可能引发后续操作的隐性问题。

3. 其他潜在问题：

   • get函数直接调用exit(0)终止程序，错误处理过于粗暴
   • remove函数中malloc(0)的行为在C标准中未定义，不同编译器处理方式不同
   • add函数未处理realloc返回NULL的内存分配失败情况

修复后的代码实现 #

#include "IntVector.h"
#include <stdlib.h>
#include <iostream>
#include <cstring> // 用于memcpy

using namespace std;

// 构造函数：初始化size为0，arr为NULL
IntVector::IntVector() : size(0), arr(nullptr) {}

// 拷贝构造函数：深拷贝实现
IntVector::IntVector(const IntVector& other) {
    size = other.size;
    if (size > 0) {
        arr = (int*)malloc(size * sizeof(int));
        if (arr == nullptr) {
            cerr << "内存分配失败" << endl;
            exit(1);
        }
        memcpy(arr, other.arr, size * sizeof(int));
    } else {
        arr = nullptr;
    }
}

// 赋值运算符重载：深拷贝+自赋值检查
IntVector& IntVector::operator=(const IntVector& other) {
    if (this == &other) {
        return *this;
    }

    // 释放当前对象的旧内存
    free(arr);

    // 拷贝新对象的内容
    size = other.size;
    if (size > 0) {
        arr = (int*)malloc(size * sizeof(int));
        if (arr == nullptr) {
            cerr << "内存分配失败" << endl;
            exit(1);
        }
        memcpy(arr, other.arr, size * sizeof(int));
    } else {
        arr = nullptr;
    }

    return *this;
}

// 析构函数：释放堆内存，避免内存泄漏
IntVector::~IntVector() {
    free(arr);
    arr = nullptr; // 置空避免悬空指针
}

int IntVector::getsize() {
    return size;
}

int IntVector::get(int index) {
    if (index < 0 || index >= size) {
        cerr << "索引越界" << endl;
        exit(1);
    }
    return arr[index];
}

void IntVector::add(int n) {
    int* p = (int*)realloc(arr, (size + 1) * sizeof(int));
    if (p == nullptr) {
        cerr << "内存分配失败" << endl;
        exit(1);
    }
    arr = p;
    arr[size] = n;
    size++;
}

void IntVector::remove(int index) {
    if (index < 0 || index >= size || size == 0) {
        cerr << "无效的删除索引" << endl;
        return;
    }

    size--;
    int* newarr = nullptr;
    if (size > 0) {
        newarr = (int*)malloc(size * sizeof(int));
        if (newarr == nullptr) {
            cerr << "内存分配失败" << endl;
            exit(1);
        }
        // 复制索引前的元素
        memcpy(newarr, arr, index * sizeof(int));
        // 复制索引后的元素
        memcpy(newarr + index, arr + index + 1, (size - index) * sizeof(int));
    }

    free(arr);
    arr = newarr;
}

int IntVector::getindex(int item) {
    for (int i = 0; i < size; i++) {
        if (arr[i] == item) {
            return i;
        }
    }
    return -1;
}

关键修复点说明 #

• 深拷贝实现：通过拷贝构造函数和赋值运算符重载，确保每个对象拥有独立的堆内存，彻底解决共享指针导致的悬空问题。
• 构造函数修正：初始化arr为nullptr，size为0，让逻辑状态与实际内存分配情况保持一致。
• 内存安全强化：增加malloc/realloc的返回值检查，处理内存分配失败场景；remove函数中避免malloc(0)，当元素数量为0时直接置空指针。
• 错误处理优化：替换粗暴的exit(0)为带提示信息的终止逻辑，提升调试友好性。

内容的提问来源于stack exchange，提问作者Kuba Sławiński