Изменение const-переменной

@Mournful Max · Регистрация: 15.12.2015

Студворк — интернет-сервис помощи студентам

Имеется следующий код:

Изменение переменной с квалификатором const

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
 
int main()
{
    using namespace std;
 
    cout << left;
 
    const int var = 10;
    cout.width( 10 );
    cout << "var = " << var << '\n';
 
    int* p_var = const_cast< int* >( &var );
    cout.width( 10 );
    cout << "*p_var = " << *p_var << "\n~~~~\n";
 
    *p_var = -42;  // ???
 
    cout.width( 10 );
    cout << "var = " << var << '\n';
    cout.width( 10 );
    cout << "*p_var = " << *p_var << endl;
}

Как видно, я пытался изменить переменную var через указатель p_var.
И я это сделал. Или нет? Ни g++, ни clang, ни VS компиляторы на меня не ругались, но, тем не менее, вышла непонятка:

Output:
var = 10
*p_var = 10
~~~~
var = 10
*p_var = -42

Вот, собственно, что меня интересует:
1. Можно ли так делать? ( Косвенно изменять const-переменную )
2. Если нет, то почему. ( В том смысле, что как описывает такое поведение стандарт и говорится ли в нем что-то об этом? )
3. Почему значения var и *p_var были разными?

@Max Dark · 05.09.2017, 22:26

Сообщение от Captain Maxee

что меня интересует

1. нельзя.
2. Изменение констант вызывает неопределенное поведение.
Например, компилятор может полагаться на то что данное значение не будет изменено и вставит само значение.
Либо поместит значение в участок памяти "только для чтения", что приведет к ошибке доступа во время выполнения.
3. Скорее всего, компилятор подставил значение на место обращения к константе.
те ваше

C++
1
cout << "var = " << var << '\n';

превратилось в

C++
1
cout << "var = " << 10 << '\n';

@pav1uxa · 05.09.2017, 22:28

Captain Maxee, это оптимизация компилятора. Поставьте модификатор volatile к var и ситуация изменится.

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
 
int main()
{
    using namespace std;
 
    cout << left;
 
    const int volatile var = 10;
    cout.width( 10 );
    cout << "var = " << var << '\n';
 
    int* p_var = const_cast< int* >( &var );
    cout.width( 10 );
    cout << "*p_var = " << *p_var << "\n~~~~\n";
 
    *p_var = -42;  // ???
 
    cout.width( 10 );
    cout << "var = " << var << '\n';
    cout.width( 10 );
    cout << "*p_var = " << *p_var << endl;
}

Code
1
2
3
4
5
6
var =     10
*p_var =  10
~~~~
var =     -42
*p_var =  -42
Press <RETURN> to close this window...

@TheCalligrapher · 05.09.2017, 22:37

Сообщение от Captain Maxee

Можно ли так делать?

Нет. Исключением являются только mutable подобъекты константного объекта - их можно менять.

Сообщение от Captain Maxee

Если нет, то почему.

Потому что это вызывает неопределенное поведение.

Сообщение от Captain Maxee

Почему значения var и *p_var были разными?

Неопределенное поведение.

@Mournful Max · 05.09.2017, 22:45 **[ТС]**

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

Поставьте модификатор volatile к var и ситуация изменится.

А это законно?

@pav1uxa · 05.09.2017, 22:51

Не по теме:

Сообщение от Captain Maxee

А это законно?

Не знаю. Но неопределенность явно становится менее неопределенной :D Если вообще остается...

@hoggy · 06.09.2017, 11:55

Сообщение от Captain Maxee

А это законно?

Сообщение от Captain Maxee

Поставьте модификатор volatile

подставлять volatile - законно.
модифицировать константу - не законно.

MrGluck · 06.09.2017, 17:08

Сообщение от Captain Maxee

Можно ли так делать?

Нет.

Сообщение от Captain Maxee

В том смысле, что как описывает такое поведение стандарт и говорится ли в нем что-то об этом?

7.1.7.1 The cv-qualifiers
4 Except that any class member declared mutable (7.1.1) can be modified, any attempt to modify a const
object during its lifetime (3.8) results in undefined behavior

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11680&d=1772460536 Одним из. . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .

Изменение const-переменной

Решение

Решение

Решение