为什么编译器不对此进行优化呢？

Question

struct Data {
};

struct Init {
    Data *m_data;

    Init() : m_data(new Data) { }
    ~Init() {
        delete m_data;
    }
};

class Object {
    private:
        const int m_initType;
        Data *m_data;
    public:
        Object(const Init &init) : m_initType(0), m_data(init.m_data) { }
        Object(Init &&init) : m_initType(1), m_data(init.m_data) { init.m_data = nullptr; }
        ~Object() {
            if (m_initType==1) {
                delete m_data;
            }
        }
};

void somefunction(const Object &object); // it is intentionally not defined

void callInitA() {
        Init x;
        somefunction(x);
}

void callInitB() {
        somefunction(Init());
}

（这个问题与此密切相关，但它是一个更具体的问题，我希望能就此得到答案）

Answer 1

为了回答语言中是否有任何规则禁止这种优化，下面是我的看法

摘自[dcl.type.cv]

除了可以修改声明为可变的任何类成员之外，在常量对象的生存期内修改常量对象的任何尝试都会导致未定义的行为。