G++ 8.1(MinGW)疑似错误优化new分配内存的512位整数问题

你遇到的**错误0xC0000005（访问违规）**并不是MinGW G++ 8.1错误优化了new操作，而是构造函数里的循环条件存在致命逻辑错误，导致了无限循环和越界内存访问。

问题根源分析 #

在uint512_t的构造函数中，这段循环的条件完全错误：

for(uint32_t * ptr = bytes+1; ptr < ptr+16; ++ptr){ //此处触发系统错误0xC0000005（访问未分配内存）
    *ptr = 0;
}

每次循环时ptr会自增1，而ptr+16也会跟着ptr的增长同步变大——ptr永远小于ptr+16，这会导致循环无限执行。程序会不断往ptr指向的内存地址写0，直到超出new分配的16个uint32_t的范围，访问到未授权的内存区域，最终触发系统的访问违规错误。

修复方案 #

把循环条件改成基于数组首地址的边界判断，用bytes + arr_size作为终止条件（因为arr_size是16，对应你要初始化的数组长度）：

for(uint32_t * ptr = bytes + 1; ptr < bytes + arr_size; ++ptr){
    *ptr = 0;
}

这样循环会从bytes+1开始，遍历到bytes+15（共15个元素），正确完成剩余元素的初始化，不会越界。

额外注意事项 #

除了这个循环问题，你的代码还有几个潜在风险需要修复：

• 赋值运算符重载问题：你当前的operator=没有处理自我赋值的情况，而且返回值应该是uint512_t&（引用），而不是值返回，否则会触发不必要的拷贝，还可能导致错误。
• 缺少拷贝构造函数：因为你的类包含动态分配的内存，默认的拷贝构造函数会执行浅拷贝，导致两个uint512_t对象指向同一块内存，析构时会触发double free错误。
• exit函数的使用：建议使用标准的std::exit，并包含<cstdlib>头文件，而不是自己声明void exit(int);。

修复后的构造函数及相关成员示例：

#include <cstdlib> // 引入std::exit

struct uint512_t{
    uint32_t * bytes;
    uint512_t(uint32_t num){
        bytes = new(std::nothrow) uint32_t[arr_size];
        if(!bytes){
            std::cerr << "Error - not enough memory available.";
            std::exit(-1);
        }
        *bytes = num;
        // 修复后的循环
        for(uint32_t * ptr = bytes + 1; ptr < bytes + arr_size; ++ptr){
            *ptr = 0;
        }
    }

    // 添加拷贝构造函数（深拷贝）
    uint512_t(const uint512_t& other) {
        bytes = new(std::nothrow) uint32_t[arr_size];
        if (!bytes) {
            std::cerr << "Error - not enough memory available.";
            std::exit(-1);
        }
        for (int i = 0; i < arr_size; ++i) {
            bytes[i] = other.bytes[i];
        }
    }

    // 修复赋值运算符
    uint512_t& operator=(const uint512_t& other) {
        if (this != &other) { // 防止自我赋值
            delete[] bytes;
            bytes = new(std::nothrow) uint32_t[arr_size];
            if (!bytes) {
                std::cerr << "Error - not enough memory available.";
                std::exit(-1);
            }
            for (int i = 0; i < arr_size; ++i) {
                bytes[i] = other.bytes[i];
            }
        }
        return *this;
    }

    // ... 其他成员函数 ...

    ~uint512_t(){
        delete[] bytes;
    }
};

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