Может ли компилятор оптимизировать это? ⇐ C++

[Anonymous]

В дальнейшем компилятору должно быть совершенно очевидно, что деструктор ничего не делает:

Код: Выделить всё

struct Foo
{
char* p = new char;

~Foo()
{
if (p) delete p;
}
};

int main()
{
{
Foo f;
delete f.p;
f.p = nullptr;
}
}

Для компилятора это должно выглядеть примерно так:

Код: Выделить всё

char* c = new int;
delete c;
c = nullptr;
if (c) delete c;

Разница в том, что он должен запускаться, потому что он находится в деструкторе? Я предполагаю, что условную проверку можно оптимизировать во втором примере, но не в первом, поскольку она находится в деструкторе, но я не уверен.

Подробнее здесь: https://stackoverflow.com/questions/791 ... e-this-out