Изменение константного поля класса

@rikimaru2013 · Регистрация: 30.11.2013

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

Является ли изменение константы-поля класса UB?
- компилятор может закэшировать значение и не ждать, что оно другое.
- с другой стороны это поле класса с классификатором volatile
- и если сделать virtual T getConst() const - то ведь никакая оптимизация тут не пройдет(если компилятор тупой и не заметит, что нету наследника) - runtime взятие объязует его ходить за константой каждый раз.

Вопрос: Можно ли считать данный код
http://rextester.com/DLQO97167

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
#include <iostream>
using namespace std;
 
template <typename t>
union reinstallableconst;
 
class constchanger
{
public:
   template <typename t>
   static void change( reinstallableconst<t>& obj, const t& newvalue )
   {
      obj._modifyconst = newvalue;
   }
};
 
template <typename t>
union reinstallableconst
{
   reinstallableconst() :
      _get( 0 )
   {
   }
   reinstallableconst( const int constsetvalue ) :
      _get( constsetvalue )
   {
   }
 
private:
   t _modifyconst;
   friend void constchanger::change<t>( reinstallableconst<t>& obj, const t& newvalue );
public:
   const volatile t _get;
};
 
 
 
 
 
 
int main()
{
   reinstallableconst<int> speed( 199 );
 
   cout << speed._get << endl;
   //speed._get = 15;                                 // error: assign to a variable that is const
 
   constchanger::change<int>( speed, 51 );
   cout << speed._get << endl;
 
}

а) теоретически злым и UB
б) практически рабочим и кроссплатформенным, с гарантией работы

@DrOffset · 04.12.2015, 12:56

rikimaru2013, а mutable тебе чем не угодил? Он для этого как раз и сделан.

@rikimaru2013 · 04.12.2015, 12:59 **[ТС]**

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

а mutable тебе чем не угодил? Он для этого как раз и сделан.

mutable const ? звучит как-то противоречаще.

В 46 строке же ж ошибка и только определенный класс в нужном namespace может делать магию - для других это обычный const

@DrOffset · 04.12.2015, 13:12

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

mutable const ? звучит как-то противоречаще.

Сам придумал - сам посмеялся?

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

В 46 строке же ж ошибка и только определенный класс в нужном namespace может делать магию - для других это обычный 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
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
#include <iostream>
using namespace std;
 
template <typename T>
struct reinstallableconst;
 
class constchanger
{
public:
   template <typename T>
   static void change(reinstallableconst<T> const & obj, T const & newvalue )
   {
      obj.m_val = newvalue;
   }
};
 
template <typename T>
struct reinstallableconst
{
   reinstallableconst()
      : m_val()
   { }
   reinstallableconst(T const & constsetvalue )
      : m_val( constsetvalue )
   { }
 
   friend void constchanger::change<T>(reinstallableconst const &, T const &);
 
   T const & get() const
   {
       return m_val;
   }
 
private:
   mutable T m_val;
};
 
int main()
{
   reinstallableconst<int> speed( 199 );
 
   cout << speed.get() << endl;
   //speed.get() = 15;                                 // error: assign to a variable that is const
 
   constchanger::change<int>( speed, 51 );
   cout << speed.get() << endl;
}

Без хаков и UB.

А у тебя в коде как минимум 1 UB.
1) Нельзя писать в одно поле юниона, а читать из другого.

А вообще, за подобное трюкачество бывает скидывают с моста с забетонированными ногами. Лучше объясни что ты этим хочешь добиться?

@rikimaru2013 · 04.12.2015, 13:25 **[ТС]**

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

А вообще, за подобное трюкачество бывает скидывают с моста с забетонированными ногами.

trust me, I am a engineer

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

Лучше объясни что ты этим хочешь добиться?

Ищу пути куда можно развиваться) Вот заинтересовался этим трюком - решил потестить.

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

А у тебя в коде как минимум 1 UB.
1) Нельзя писать в одно поле юниона, а читать из другого.

Так я думал в этом и смысл union - а насчёт UB хотел бы услышать объяснения - все биты валидные в union моём так как

C++
1
2
3
4
5
6
template <typename T>
union u
{
   T a;
   const T b;
};

Видел на github'e много кода

C++
1
2
3
4
5
union u
{
   std::int32_t a;
   std::int8_t[4] b;
};

Записали "пакеты" получили объект, или наоборот непомню. Но контекст тот.

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

Сам придумал - сам посмеялся?

Ну Вы сами написали это) Учитывая название темы модификатор cosnt должен быть у поля 100% ))))

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

Смотри

Инкапсуляция и классы - это же классика) Этот код бы неназывался в сети с приставкой "трюк", если можно было бы через геттеры/сеттеры.

@DrOffset · 04.12.2015, 13:36

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

Ну Вы сами написали это)

Я не писал это. В моей решении const может быть сам объект reinstallableconst и это не противоречит контракту, переносимо и обходится без UB.

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

Видел на github'e много кода

Это union cast. На подавляющем большиснвте реализаций работает, поэтому этим пользуются. Кроме того, в С++11 ввели понятие layout-compatible, что делает этот трюк безопасным для простых типов (удовлетворяющих условию совместимости). Однако того, что код "грязный" это не отменяет.

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

все биты валидные

В стандарте 98/03 даже этот код был невалидный. В с++11 ввели понятие layout-compatible, что разрешило некоторые случаи использования. Но твой код все равно содержит UB по смежной причине:
9.2/19

Reading a volatile object through a non-volatile glvalue has undefined behavior

Кроме этого еще одно UB приходится на модификацию const.
7.1.6.1/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.

В общем, бросай ты это.

Новые блоги и статьи Все статьи Все блоги /
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025	Расскажи мне о Мире, бродяга kumehtar 12.11.2025 — Расскажи мне о Мире, бродяга, Ты же видел моря и метели. Как сменялись короны и стяги, Как эпохи стрелою летели. - Этот мир — это крылья и горы, Снег и пламя, любовь и тревоги, И бескрайние. . .

@DrOffset 19491 / 10097 / 2460 Регистрация: 30.01.2014 Сообщений: 17,805
	04.12.2015, 12:56
	rikimaru2013, а mutable тебе чем не угодил? Он для этого как раз и сделан. 0