Квалификатор const: пояснить механику работы указанного кода

@CEBEP · Регистрация: 21.03.2010

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

C++

#include <iostream>
 
int main(int argc, char *argv[])
{
    const int unchangable = 1;
    std::cout << "unchangable " << unchangable << std::endl;
 
    union Caster {
        const int* const_ptr;
        int* ptr;
    } c;
    c.const_ptr = &unchangable;
 
    std::cout << "unchangable " << unchangable << std::endl << "changable " << *c.ptr << std::endl;
    std::cout << c.const_ptr << ' ' << c.ptr << ' ' << sizeof(c) << ' ' << sizeof(c.const_ptr) << std::endl;
    
    *c.ptr = 0;
 
    std::cout << "unchangable " << unchangable << std::endl << "changable " << *c.ptr << std::endl;
    return 0;
}

Поясните пожалуйста механику работы этого кода. Прежде всего не ясна причина того, что изменения в *c.ptr не изменили unchangable

@animefan · 15.11.2017, 15:21

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

Поясните пожалуйста механику работы этого кода.

UB.

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

Прежде всего не ясна причина того, что изменения в *c.ptr не изменили unchangable

Причина выше.

@CEBEP · 15.11.2017, 15:40 **[ТС]**

это не пояснение а две буквы

@animefan · 15.11.2017, 15:55

http://eel.is/c++draft/defns.u... ,undefined

@CEBEP · 15.11.2017, 15:57 **[ТС]**

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

@lArtl · 15.11.2017, 17:02

Компилятор оптимизировал код и подставил unchangable везде, где только смог думая, что она меняться не будет.

Добавлено через 2 минуты
Так делать нельзя.

C++

const int unchangable = 1;
...
c.const_ptr = &unchangable;
...
 *c.ptr = 0;

@TRam_ · 15.11.2017, 17:34

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

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

Почему в валидную? &unchangable - адрес невалидной области памяти с точки зрения записи в неё. И совершенно не важно, const-указатель содержит его или не-const указатель.

@CEBEP · 15.11.2017, 18:28 **[ТС]**

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

Так делать нельзя.

почему нельзя-то? я сделал, всё закомпилировалось.

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

Почему в валидную? &unchangable - адрес невалидной области памяти с точки зрения записи в неё. И совершенно не важно, const-указатель содержит его или не-const указатель.

Логично. То есть я всё-таки изменил данные в памяти, просто за счет невалидности операции в cout попали данные не из unchangable?

@animefan · 15.11.2017, 18:40

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

всё закомпилировалось.

UB не относится к diagnosable rules, компилятор не обязан сообщать об ошибке.

@TRam_ · 15.11.2017, 18:46

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

То есть я всё-таки изменил данные в памяти

изменил какие-то данные, но где, и что от этого могло сломаться, неизвестно. Именно потому и undefined behavior .

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

@daslex · 16.11.2017, 01:00

Нет там UB.

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

Прежде всего не ясна причина того, что изменения в *c.ptr не изменили unchangable

Вы и не ссылались *c.ptr на unchangable

А если бы сослались, код бы просто не скомпилировался.

@hoggy · 16.11.2017, 01:19

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

Нет там UB.

есть.

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

Вы и не ссылались *c.ptr на unchangable

адрес какой ячейки памяти
по вашему хранился в тот момент в объединении?

@daslex · 16.11.2017, 01:31

Ясно. Ок. Есть.

Добавлено через 6 минут
Это тоже?

C++

 union Caster {
        const int a = 200;
        int b;
    } c;
    c.b = 300;

oldnewyear · 16.11.2017, 02:15

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

Поясните пожалуйста механику работы этого кода. Прежде всего не ясна причина того, что изменения в *c.ptr не изменили unchangable

Потому что c.ptr никак не связян с unchangable

@TRam_ · 16.11.2017, 02:19

Это тоже?

daslex, да. Стандарт предполагает, что в union может одновременно храниться единственное заданное значение. А поскольку присвоить (сохранить) в c.a уже ничего нельзя, то соответственно после c.b = 300; и использовать c.a тоже нельзя. Получается что union Caster в рамках "полностью определённого поведения" оказывается в этом смысле одноразовой.

@hoggy · 16.11.2017, 02:31

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

да. Стандарт предполагает, что в union может одновременно храниться единственное заданное значение. А поскольку присвоить (сохранить) в c.a уже ничего нельзя, то соответственно после c.b = 300; и использовать c.a тоже нельзя.

ответ не верный.

@hoggy 8737 / 4315 / 960 Регистрация: 15.11.2014 Сообщений: 9,762
	16.11.2017, 01:19	12
	Сообщение от daslex Нет там UB. есть. Сообщение от daslex Вы и не ссылались *c.ptr на unchangable адрес какой ячейки памяти по вашему хранился в тот момент в объединении? 1

oldnewyear 438 / 430 / 159 Регистрация: 21.05.2016 Сообщений: 1,338
	16.11.2017, 02:15	14
	Сообщение от CEBEP Поясните пожалуйста механику работы этого кода. Прежде всего не ясна причина того, что изменения в *c.ptr не изменили unchangable Потому что c.ptr никак не связян с unchangable 0

@animefan 119 / 9 / 2 Регистрация: 06.09.2017 Сообщений: 82
	15.11.2017, 15:21	2
	Сообщение было отмечено MrGluck как решение Решение Сообщение от CEBEP Поясните пожалуйста механику работы этого кода. UB. Сообщение от CEBEP Прежде всего не ясна причина того, что изменения в *c.ptr не изменили unchangable Причина выше. 0

@CEBEP 108 / 108 / 23 Регистрация: 21.03.2010 Сообщений: 445
	15.11.2017, 15:40 [ТС]	3
	это не пояснение а две буквы 0

@animefan 119 / 9 / 2 Регистрация: 06.09.2017 Сообщений: 82
	15.11.2017, 15:55	4
	http://eel.is/c++draft/defns.u... ,undefined 0

@CEBEP 108 / 108 / 23 Регистрация: 21.03.2010 Сообщений: 445
	15.11.2017, 15:57 [ТС]	5
	Так, и в какой момент справоцировано непоределённое поведение? я присваиваю указателю значение, я присваиваю значение в валидную область памяти. что не так? где запрещенная операция? 0

@TRam_ зомбяк 1582 / 1216 / 345 Регистрация: 14.05.2017 Сообщений: 3,939
	15.11.2017, 17:34	7
	Сообщение от CEBEP я присваиваю указателю значение, я присваиваю значение в валидную область памяти Почему в валидную? `&unchangable` - адрес невалидной области памяти с точки зрения записи в неё. И совершенно не важно, const-указатель содержит его или не-const указатель. 0

@CEBEP 108 / 108 / 23 Регистрация: 21.03.2010 Сообщений: 445
	15.11.2017, 18:28 [ТС]	8
	Сообщение от lArtl Так делать нельзя. почему нельзя-то? я сделал, всё закомпилировалось. Сообщение от TRam_ Почему в валидную? &unchangable - адрес невалидной области памяти с точки зрения записи в неё. И совершенно не важно, const-указатель содержит его или не-const указатель. Логично. То есть я всё-таки изменил данные в памяти, просто за счет невалидности операции в cout попали данные не из unchangable? 0

@animefan 119 / 9 / 2 Регистрация: 06.09.2017 Сообщений: 82
	15.11.2017, 18:40	9
	Сообщение от CEBEP всё закомпилировалось. UB не относится к diagnosable rules, компилятор не обязан сообщать об ошибке. 0

@TRam_ зомбяк 1582 / 1216 / 345 Регистрация: 14.05.2017 Сообщений: 3,939
	15.11.2017, 18:46	10
	Сообщение от CEBEP То есть я всё-таки изменил данные в памяти изменил какие-то данные, но где, и что от этого могло сломаться, неизвестно. Именно потому и undefined behavior . В общем случае это может привести на n-ом запуске к вылету программы, когда операционная система вдруг увидит, что кто-то перезаписал память, которая не должна перезаписываться, во время выполнения этой программы. 0

@daslex 1369 / 592 / 199 Регистрация: 02.08.2011 Сообщений: 2,882
	16.11.2017, 01:00	11
	Нет там UB. Сообщение от CEBEP Прежде всего не ясна причина того, что изменения в c.ptr не изменили unchangable Вы и не ссылались c.ptr на unchangable А если бы сослались, код бы просто не скомпилировался. 0

@TRam_ зомбяк 1582 / 1216 / 345 Регистрация: 14.05.2017 Сообщений: 3,939
	16.11.2017, 02:19	15
	Это тоже? daslex, да. Стандарт предполагает, что в union может одновременно храниться единственное заданное значение. А поскольку присвоить (сохранить) в c.a уже ничего нельзя, то соответственно после `c.b = 300;` и использовать c.a тоже нельзя. Получается что union Caster в рамках "полностью определённого поведения" оказывается в этом смысле одноразовой. 0

Опции темы

@hoggy 8737 / 4315 / 960 Регистрация: 15.11.2014 Сообщений: 9,762
	16.11.2017, 02:31	16
	Сообщение от TRam_ да. Стандарт предполагает, что в union может одновременно храниться единственное заданное значение. А поскольку присвоить (сохранить) в c.a уже ничего нельзя, то соответственно после c.b = 300; и использовать c.a тоже нельзя. ответ не верный. 0

Квалификатор const: пояснить механику работы указанного кода

Решение