Посмотрите на этот код:
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());
}
Поскольку Object::m_initType - const, он не изменяется после конструктора. Итак, теоретически, в callInitA и в callInitB компилятор знает значение m_initType, когда он встраивает ~Object(). Однако gcc и clang не применяют эту оптимизацию, и оба проверяют значение m_initType.
Почему? Есть ли какое-то языковое правило против этой оптимизации, или компиляторы просто не делают такого рода оптимизацию?
(Этот вопрос тесно связан с этим, но это более конкретный вопрос, я надеюсь, что смогу получить ответ для этого)