powered by simpleCommunicator - 2.0.58     © 2025 Programmizd 02
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Форумы / C++ [игнор отключен] [закрыт для гостей] / const_cast
18 сообщений из 43, страница 2 из 2
const_cast
    #40003357
Dimitry Sibiryakov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
rdb_devобъект на стеке

А с чего ты взял, что он на стеке?
Posted via ActualForum NNTP Server 1.5
...
Рейтинг: 0 / 0
const_cast
    #40003368
Фотография Anatoly Moskovsky
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
rdb_dev
впервые слышу, чтобы объект на стеке нельзя было менять, даже если он декларирован с квалификатором const.

Никто не говорит что нельзя. Можно. Только результат - UB.
Например на одной платформе результат будет успешной модификацией, на другой - успешно, но остальной код будет видеть старое значение, а на третьей будет segfault.
Это я описал вполне реальные платформы.
Поэтому в стандарте просто записали UB чтобы не привязываться к платформе.
...
Рейтинг: 0 / 0
const_cast
    #40003377
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
a guest
rdb_dev
Тем не менее, в следующем примере никакого UB нет
По запаху UB определяешь?
rdb_dev
Код: plaintext
1.
2.
3.
4.
5.
  const int & i = *new int (123);
  printf("\r\n%i", i);
  int & j = *const_cast<int*>(&i);
  j = 555;
  printf("\r\n%i", j);

Определяю по конкретному поведению компилятора под конкретную платформу.

3 A pointer or reference to a cv-qualified type need not actually point or refer to a cv-qualified object, but it is treated as if it does; a const-qualified access path cannot be used to modify an object even if the object referenced is a non-const object and can be modified through some other access path. [ Note: Cv-qualifiers are supported by the type system so that they cannot be subverted without casting. — end note ]

4 Except that any class member declared mutable can be modified, any attempt to modify a const object during its lifetime results in undefined behavior. [ Example:
Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
const int ci = 3;                       // cv-qualified (initialized as required)
ci = 4;                                 // ill-formed: attempt to modify const

int i = 2;                              // not cv-qualified
const int* cip;                         // pointer to const int
cip = &i;                               // OK: cv-qualified access path to unqualified
*cip = 4;                               // ill-formed: attempt to modify through ptr to const

int* ip;
ip = const_cast<int*>(cip);             // cast needed to convert const int* to int*
*ip = 4;                                // defined: *ip points to i, a non-const object

const int* ciq = new const int (3);     // initialized as required
int* iq = const_cast<int*>(ciq);        // cast required
*iq = 4;                                // undefined: modifies a const object


a guest
Вангую, подразумевалось
Код: plaintext
1.
2.
  j = 555;
  printf("\r\n%i", i);

В данном случае нет никакой разницы что там будет "i" или "j".
...
Рейтинг: 0 / 0
const_cast
    #40003384
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Anatoly Moskovsky
rdb_dev
впервые слышу, чтобы объект на стеке нельзя было менять, даже если он декларирован с квалификатором const.
Никто не говорит что нельзя. Можно. Только результат - UB.
UB это не результат, а платформо и компиляторо зависимое поведение. Если ты точно знаешь, к какому результату приведёт компиляция того или иного фрагмента, определяемого по стандарту как UB, тебе остаётся лишь экранировать свои фрагменты в условных директивах компилятора, но так как ты вряд ли знаешь как ведут себя все компиляторы на всевозможных существующих и будущих платформах, в общем случае для них поведение таких фрагментов будет неопределено.
...
Рейтинг: 0 / 0
const_cast
    #40003387
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Dimitry Sibiryakov

rdb_devобъект на стеке
А с чего ты взял, что он на стеке?Твоя правда!
По фрагменту в топикстарте нельзя сказать, что объект будет создан именно на стеке.
...
Рейтинг: 0 / 0
const_cast
    #40003391
Фотография CEMb
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
rdb_dev
По фрагменту в топикстарте нельзя сказать, что объект будет создан именно на стеке.
Стек - это ж вообще детали реализации. В стандарте с++ про стек же ничего не написано?
...
Рейтинг: 0 / 0
const_cast
    #40003394
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
CEMb, да!
Равно как и "куча"... Но я никогда не встречал реализацию разных куч для const и не_const объектов, так, чтобы менеджер кучи создавал копию страницы памяти, на которой выделяется место для нового константного объекта, инициализировал этот объект, затем ставил на страницу защиту от записи и подменял старую страницу виртуальной памяти на новую. Как правило, используется одна единственная куча для всего.
...
Рейтинг: 0 / 0
const_cast
    #40003437
Фотография Anatoly Moskovsky
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
rdb_dev
Но я никогда не встречал реализацию разных куч для const и не_const объектов

В С++20 объекты кучи вообще могут полностью инлайниться на этапе компиляции с помощью constexpr.
Например можно работать со строками и векторами полностью в компайл тайм.
И в этом смысле такие объекты создаются в другой куче, которой нет в рантайме.
...
Рейтинг: 0 / 0
const_cast
    #40003441
цитирую Herb Sutter:
автор1.don't use reinterpret_cast;
2.don't use static_cast downcasts. Use dynamic_cast instead;
3.don't use const_cast to cast away const (i.e. at all);
4.don't use C-style (T)expression casts that would perform a reinterpret_cast, static_cast downcast or const_cast.
YouTube Video
...
Рейтинг: 0 / 0
const_cast
    #40003459
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Anatoly Moskovsky
В С++20 объекты кучи вообще могут полностью инлайниться на этапе компиляции с помощью constexpr.
Чего угодно, только не "кучи". Для создания на куче используется new.
...
Рейтинг: 0 / 0
const_cast
    #40003468
Dimitry Sibiryakov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
rdb_devДля создания на куче используется new.

Это как-то мешает его обработке в compile-time?
Posted via ActualForum NNTP Server 1.5
...
Рейтинг: 0 / 0
const_cast
    #40003511
Фотография Anatoly Moskovsky
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
rdb_dev
Чего угодно, только не "кучи". Для создания на куче используется new.

Так я вам и говорю - в C++20 добавили поддержку constexpr new.
...
Рейтинг: 0 / 0
const_cast
    #40003624
а как много промышленным кодерам удаётся туда засунуть? (в этап компиляции)
...
Рейтинг: 0 / 0
const_cast
    #40003731
Фотография CEMb
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
автор
2.don't use static_cast downcasts. Use dynamic_cast instead;
А оно же вроде ругается на момент компиляции? Ну и, кстати, говорят, что dynamic_cast тормозной, так что тоже don't use dynamic_cast instead of dynamic_cast

автор
3.don't use const_cast to cast away const (i.e. at all);
А вот тут академический интерес, у кого когда возникает такая ситуация, что надо const выкастить? У меня это обычно архитектурная ошибка, когда я вернул const-ссылку на какой-то внутренний объект, у которого пытаюсь звать не-const метод. Тогда я сажусь и думаю, почему так получилось, и в ~80% случаев я переношу вызов этого не-const метода внутрь класса хозяина, а в ~20% я пишу второй не-const getter. И я всегда по умолчанию объявляю const-ссылки на объекты, когда их выпрашиваю.
автор
4.don't use C-style (T)expression casts
Вот тут согласен, но что если я переопределяю operator(T)? Или так лучше не делать тоже?
...
Рейтинг: 0 / 0
const_cast
    #40003736
НеофитSQL
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
CEMb,


Я припоминаю убирал const, в связи с чужими функциями возвращающими const, или желающими указатель на const в параметрах.

strstr(), strtol() - примеры таковых.
...
Рейтинг: 0 / 0
const_cast
    #40003778
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
CEMb
автор
3.don't use const_cast to cast away const (i.e. at all);
А вот тут академический интерес, у кого когда возникает такая ситуация, что надо const выкастить?
До C++11 в реализации perfect forwarding через конструктор копии экземпляра какого-нибудь вложенного public/private класса и чтобы результат, в конечном счёте, автоматом приводился к инкапсулирующему классу, а для объекта исключения можно даже без вложенных классов обойтись и сразу реализовывать конструктор копии как конструктор перемещения.
...
Рейтинг: 0 / 0
const_cast
    #40003780
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Dimitry Sibiryakov
rdb_devДля создания на куче используется new.
Это как-то мешает его обработке в compile-time?Пока не знаю, но подозреваю, что к менеджеру кучи, как таковому, это не имеет никакого отношения.
...
Рейтинг: 0 / 0
const_cast
    #40003782
rdb_dev
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Anatoly Moskovsky
rdb_dev
Чего угодно, только не "кучи". Для создания на куче используется new.
Так я вам и говорю - в C++20 добавили поддержку constexpr new.
И вы уже знаете как это работает и в каких случаях применяется? Или же просто дайджест посмотрели?

P.S. Предлагаю на "ты".
...
Рейтинг: 0 / 0
18 сообщений из 43, страница 2 из 2
Форумы / C++ [игнор отключен] [закрыт для гостей] / const_cast
Найденые пользователи ...
Разблокировать пользователей ...
Читали форум (0):
Пользователи онлайн (0):
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]