два вопроса о глобальных переменных

[_Bers]

Сообщение от pproger

2Granus

ЕЕ знчение нельзя изменить (если конечно это изначально константная переменная, а не константная ссылка, например)

Технически - нет ничего сложного. Изменяется только так.
Но на практике это - UB.

Сообщение от Granus

Например, потому, что она хранится в той же памяти, что и не-const переменные, и хаками с указателями её значение можно изменить.

Нет никакой гарантии, что константа "по праву рождения" вообще будет физически существовать. Если нигде ни разу не будет использован её адрес, компилятор может вообще не выделить под неё память, а повтыкать магические числа по местам, где используется её значение.

[Granus]

Нет никакой гарантии, что константа "по праву рождения" вообще будет физически существовать. Если нигде ни разу не будет использован её адрес, компилятор может вообще не выделить под неё память, а повтыкать магические числа по местам, где используется её значение.

Да, это так, но если мы попробуем её изменить, компилятор не сделает оптимизацию и она действительно будет существовать. То есть, в целом, единственное гарантированное различие в возможности по-честному менять значение.

[_Bers]

Сообщение от Granus

Да, это так, но если мы попробуем её изменить, компилятор не сделает оптимизацию и она действительно будет существовать. То есть, в целом, единственное гарантированное различие в возможности по-честному менять значение.

Существовать будет. Но и оптимизации с её участием ещё как будут.
Компиль исходит из положения, что она - не изменяемая.

[Granus]

Но и оптимизации с её участием ещё как будут.

Можно сделать её volatile! :D

[_Bers]

Сообщение от Granus

Можно сделать её volatile! :D

const size_t num = 10;

int a[num]; //о боже! Мы создали массив на 10 элементов!


... //тут мы хакнули константу

std::cout<<"num = "<<num<<std::endl; //о боже! Константа теперь равна 20!

int b[num]; //о боже! Мы создали массив на 10 элементов!

//ups...

[Granus]

Да, очень забавная ситуация) Но размер массива - не оптимизация, а вынужденное действие. А для изменения динамического значения volatile подойдет)