g++ -O3下const成员初始化器无法保证同步？异常排查

用g++ -O3编译代码时，构造函数初始化器无法保证在printf()执行前完成变量初始化，但其他优化编译选项下运行正常。推测是编译器并行优化导致——添加或移除特定代码行后，结果会稳定正常。使用的编译器版本为g++.exe (Rev10, Built by MSYS2 project) 12.2.0，若在你的环境中运行正常，可多次尝试复现。

问题复现代码 #

#include <vector>
#include <iostream>

struct dataset
{
    struct sample
    {
        float* const x;
        float* const y;

        sample(const int inputSize, const int outputSize) : x(new float[inputSize]), y(new float[outputSize])
        {
        }
        sample(float* const inputs, float* const outputs) : x(inputs), y(outputs)
        {
        }

        void clear()
        {
            delete[] x;
            delete[] y;
        }
    };

private:
    sample* samples = nullptr;
    int sampleCount = 0;
    const bool manageMemory;

public:
    const int xsize;
    const int ysize;

    dataset(const int inputSize, const int outputSize, const int reserved)
        : xsize(inputSize), ysize(outputSize), manageMemory(true)
    {
        // printf("%i == %i\n", xsize, inputSize); // <-- 插入此行后运行正常
        reserve(reserved);
    }
    dataset(const std::vector<std::vector<float>>& inputs, const std::vector<std::vector<float>>& outputs)
        : dataset((int)inputs[0].size(), (int)outputs[0].size(), (int)inputs.size())
    {
        if (inputs.size() != outputs.size())
        {
            printf("--- error: inputs and outputs are not equal size ---\n");
            return;
        }

        printf("%i | %i | %i\n", (int)inputs[0].size(), (int)outputs[0].size(), (int)inputs.size());
        printf("%i | %i | %i\n", xsize, ysize, sampleCount);
    }
    ~dataset()
    {
        if (manageMemory)
        {
            if (samples != nullptr)
            {
                printf("deleting\n");
                for (int i = 0; i < sampleCount; ++i)
                {
                    samples[i].clear();
                }
                free(samples);
            }
        }
    }

    void reserve(const int reserved)
    {
        this->~dataset(); // <-- 删除此行后运行正常

        sampleCount = reserved;
        samples = (sample*)malloc(sampleCount * sizeof(sample));

        for (int i = 0; i < sampleCount; ++i)
        {
            new (&samples[i]) sample(xsize, ysize);
        }
    }
};

int main()
{
    printf("A\n");
    fflush(stdout);
    std::vector<std::vector<float>> inputs = { {1.0f, 0.0f}, { 0.0f, 1.0f} };
    std::vector<std::vector<float>> outputs = { {0.0f, 1.0f}, { 1.0f, 0.0f } };
    dataset data(inputs, outputs);
    printf("B\n");
}

现象对比 #

• 异常输出（无额外printf时）：

A
2 | 2 | 2
1186659328 | 32766 | 2
B
deleting

• 正常输出（添加标记printf后）：

A
2 == 2
2 | 2 | 2
2 | 2 | 2
B
deleting

问题根源 #

核心问题是reserve函数中显式调用了析构函数this->~dataset();，这属于严重的未定义行为。

在对象构造过程中调用自身析构函数，会将正在初始化的对象成员（包括xsize、ysize这类const成员）标记为已销毁状态。后续对这些成员的访问完全非法，g++ -O3的激进优化会利用这种未定义行为，导致初始化与printf的执行顺序被打乱，或者读取到内存垃圾值。

添加printf后恢复正常只是巧合：printf作为外部函数，编译器会在调用时插入内存屏障，强制保证之前的初始化操作完成，意外抑制了优化带来的未定义行为，但这不是正确的解决方式。

修复方案 #

1. 移除非法的析构函数调用：删除reserve中的this->~dataset();，构造过程中不需要销毁自身对象。
2. 修正reserve逻辑：构造阶段直接初始化samples和sampleCount即可，无需提前销毁。

修复后的reserve函数示例：

void reserve(const int reserved)
{
    sampleCount = reserved;
    samples = (sample*)malloc(sampleCount * sizeof(sample));

    for (int i = 0; i < sampleCount; ++i)
    {
        new (&samples[i]) sample(xsize, ysize);
    }
}

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