кое-что про const

решил обновить свои знания про const
и везде вижу что const это константа инициализировать нужно при объявлении.....ну это мы и так знаем

меня интересует когда она инициализируется на этапе компиляции или при исполнении
вот так ведь правильно
т.е размер массива известен до исполнения
и так правильно
переменная XXX будет известна при исполнении
а вот так уже неправильно ошибка компиляциии
ну решил скомпилировать и посмотреть
и так первый вариант
все понятно переменная в стеке, вся константность на совести компилятора, теоретически через указатели стека можно поменять(возьмем указатель на a сдвинем и можно менять)

во как
константе присваивается во время исполнения(строка 013816EB)
а для массива во время компиляции ( 01381704 )
не зря я их недолюбливал

1

Сообщение от ValeryS меня интересует когда она инициализируется на этапе компиляции или при исполнении

если значение константы можно посчитать на этапе компиляции то так и будет(оптимизация), если нет то в ран-тайме

1

Jupiter,
Спасибо что ответил
Но какая к дьяволу оптимизация
я что зря привел коды(VS 2008)(дебиг версия никакой оптимизации)
переменной присваивается значение во время исполнения(второй пример)

Сообщение от ValeryS mov dword ptr [ebp-2Ch],5

а массиву во время компиляции

Сообщение от ValeryS cmp dword ptr [i],5

я понимаю что ты хотел сказать
типа "константа определена стандартом" и нехрен выпендриваться
на вопрос то в другом эта константа далеко не константа( с точки зрения машинного кода)
но она же и константа (размер массива)

попрошу компильнуть на других компиляторах и ассемблерный код скинуть

0

Квалификатор const для переменной говорит о том, что в переменную нельзя делать присваивание (assignment). Когда ты пишешь объявление переменной и знак равно с константой, то это уже не присваивание, а инициализация (initialization).

Логика простая. В const переменную хотя бы один раз на этапе инициализации нужно что-то записать, в противном случае была бы переменная, в которую ничего нельзя записывать, но значение переменной было бы либо ноль, либо не определено.

В какой момент происходит запись значения при инициализации - тоже никакой роли не играет. Важно лишь то, что в момент первого обращения к переменной в неё уже было записано нужное значение. Для глобальных переменных и локальных с модификатором static значение, как правило, записывается на этапе загрузки программы (т.е. до запуска main). Для автоматических переменных - в runtime

Добавлено через 3 минуты
По поводу массива. Есть понятие expression (выражение) и constant expression (константное выражение, значение которого можно посчитать на этапе компиляции). В качестве размерности массива можно указывать только constant expression. Так вот если перменная с квалификатором const инициализирована constant expression'ом, то её можно использовать в других constant expression'ах, в противном случае нельзя

Добавлено через 2 минуты

Сообщение от ValeryS и везде вижу что const это константа

В английском языке слово "constant" в первую очередь означает "постоянный", "неизменный". Ну а для русскоязычных людей как-то подсознательно на первый план вылезает "константа" (фиксированная числовая величина)

Добавлено через 5 минут
Да, основную мысль забыл сказать. Логика квалификатора const такова, что в момент рождения переменной она инициализируется некоторым значением, а во время всей своей дальнейшей жизни уже не будет менять своё значение. Вернее не "не будет", а "не должно". А если программист кривыми руками сумеет изменить значение, то он сам себе злобный буратино (то бишь undefined behaviour)

5

Сообщение от Evg Для автоматических переменных - в runtime

а это

Сообщение от ValeryS C++ 1 2 const int d=5; int n[d];

размер массива в runtime извините все таки наверное

Сообщение от Evg записывается на этапе загрузки программы

а точнее при компиляции
но сама переменная при runtime
вопрос то как раз и в том что одна и та же константа себя по разному ведет в зависимости от контекста
еще раз
правильно
то же правильно
а вот так ошибка
нет я понимаю что я размер массива не могу создавать runtime э
то все по другому делается
но если ты посмотришь на код то разница то в одной строке

Сообщение от ValeryS не зря я их недолюбливал

0

Сообщение от ValeryS размер массива в runtime извините все таки наверное

Возможно, ты не успел прочесть мою мысль про constant expression, т.к. мы писали одновременно

0

Сообщение от Evg Возможно, ты не успел прочесть мою мысль про constant expression, т.к. мы писали одновременно

вполне возможно
я понимаю что ты хочешь мне сказать
сам лет десять принимал на веру
но тут решил попробовать и

Сообщение от ValeryS вся константность на совести компилятора,

это как Privat никто не достучится, Но на высоком уровне
как видишь на уровне ассемблера очень легко поменять константу (правда какому идиоту это придет в голову я не знаю)
почему то(может очень сложно)константы не записываются в память "только для чтения"
и эта тема не вопрос "Я не знаю", а скорее "Почему так"
видишь ведь стековой(автоматической) переменной присваивается значение во время исполнения
а размеру во время компиляции.
согласись нелогично
вот почему я и просил скинуть ассемблерный код других компиляторов (может это VC слишком умный/глупый)

0

Сообщение от ValeryS как видишь на уровне ассемблера очень легко поменять константу

Ты путаешь терминологию. Ты меняешь не константу, а неизменяемую переменную. И не меняешь, а инициализируешь

Сообщение от ValeryS видишь ведь стековой(автоматической) переменной присваивается значение во время исполнения

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

Добавлено через 53 секунды

Сообщение от ValeryS вот почему я и просил скинуть ассемблерный код других компиляторов (может это VC слишком умный/глупый)

Нет, здесь всё работает именно так, как должно работать и как задумывалось авторами

Добавлено через 1 минуту

Сообщение от ValeryS согласись нелогично

В чём нелогичность? Ведь переменная начинает жить в стеке только в тот момент, когда ты заходишь в функцию. И как только она начала жить, она сразу же получила значение.

1

Сообщение от ValeryS C++ 1 2 3 std::cin >> x; const int XXX = x; int n[XXX];

во дела! а почему такое вообще компилится? ведь для создания массива его размер должен быть известен на этапе компиляции, разве не так?

0

Сообщение от yekka а почему такое вообще компилится?

Я так понимаю, что у тебя gcc. В GNU C разрешено создавать массивы с неизвестными размерностями. Это так называемые Variable length arrays. Память под них будет выделяться в runtime

http://gcc.gnu.org/onlinedocs/... ble-Length

1

Сообщение от Evg Я так понимаю, что у тебя gcc

да, у меня gcc, но я так понимаю, что у ТС MSVC, и у него тоже это компилируется

говорят, что формально в c++ нет variable length arrays, однако чтобы gcc компилировал (точнее, не компилировал) в соответствии со стандартом, нужна опция -Werror=vla
Аналогично себя ведет clang

0

Сообщение от yekka что у ТС MSVC, и у него тоже это компилируется

Не, он так и писал, что не компилируется

Сообщение от yekka говорят, что формально в c++ нет variable length arrays, однако чтобы gcc компилировал (точнее, не компилировал) в соответствии со стандартом, нужна опция -Werror=vla Аналогично себя ведет clang

Никогда не надо смотреть на gcc/g++ по части соответсвия стандарту. По умолчанию онработает в своём собственном стандарте. Есть опции для настройки на строгие стандарты Си или Си++, но они на 100% не работают (и, скорее всего, никогда не работали)

0