如何通过代码而非Valgrind检测内存无效读取？

默认情况下，C语言本身没有内置这类越界检测机制——malloc返回的就是个裸指针，不带任何大小信息，直接写ptr[10]这种越界访问代码，编译器和运行时都不会主动拦截。但你可以通过自定义封装来实现需求，具体方法如下：

1. 用结构体绑定指针与大小信息 #

别直接传递裸指针，自己定义一个结构体把指针和它的分配大小绑定在一起：

typedef struct {
    char* data;
    size_t size;
} SafeCharPtr;

SafeCharPtr safe_malloc(size_t size) {
    SafeCharPtr ptr;
    ptr.data = malloc(size * sizeof(char));
    ptr.size = size;
    return ptr;
}

之后所有函数都传递这个SafeCharPtr结构体，这样任何用到它的地方都能拿到真实的内存大小。

2. 实现带越界检查的访问逻辑 #

不要再直接用ptr->data[idx]的方式访问，而是通过专门的函数或重载运算符来处理，每次访问前先检查索引是否超出范围：

C语言版本 #

char safe_char_access(SafeCharPtr* ptr, size_t idx) {
    if (idx >= ptr->size) {
        fprintf(stderr, "错误：数组越界访问！索引%d超出最大范围%d\n", (int)idx, (int)ptr->size);
        abort(); // 直接终止程序，也可以自定义错误处理逻辑
    }
    return ptr->data[idx];
}

C++版本（支持抛出异常） #

class SafeCharArray {
private:
    char* data;
    size_t size;
public:
    SafeCharArray(size_t sz) : size(sz) {
        data = new char[sz];
    }
    ~SafeCharArray() {
        delete[] data;
    }
    char& operator[](size_t idx) {
        if (idx >= size) {
            throw std::out_of_range("数组越界访问");
        }
        return data[idx];
    }
};

使用这个类时，只要写arr[10]，一旦发生越界就会直接抛出标准异常。

3. 调试阶段的快速检测方案 #

如果只是临时调试不想改动太多业务代码，可以用编译器的地址 sanitizer 工具——编译时加上-fsanitize=address参数，程序运行时遇到越界读取会直接报错并终止，不用修改核心代码，但这个方案仅适用于调试场景，不适合生产环境。

注意：如果必须传递裸指针且无法修改结构体，那几乎没办法准确检测越界——毕竟裸指针不携带大小信息。除非你自定义一套内存分配器，在每个malloc出来的内存块前后添加保护页或标记，但这种实现复杂度很高，一般场景下没必要。

内容的提问来源于stack exchange，提问作者MIA