170 похожих чатов

Запись в указатель после const_cast это UB?

17 ответов

6 просмотров
Dmitriy [Отпуск]
Да

а мне помнится, что UB - модифицировать объект, который был создан как const. Но сначала привести к const, а потом убрать обратно - не UB.

Dmitriy [Отпуск]
Да

только если изначальный объект const

Не всегда

다니엘(줄리아)- Автор вопроса
Kirill Bolshakov
Не всегда

Условно std::string const_cast на c_str метод

다니엘(줄리아)
Условно std::string const_cast на c_str метод

Думаю это норм если сама строка не const

Kirill Bolshakov
Думаю это норм если сама строка не const

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

Kirill Bolshakov
Думаю это норм если сама строка не const

вот передали вы c_str куда-то, там кто-то умный снял const и изменил строку. Откуда вызывающий код об этом узнает?

Boris Usievich
вот передали вы c_str куда-то, там кто-то умный сн...

А если кто то умный memcpy сделал на твоём объекте? Как вызывающий код об этом узнает?

Boris Usievich
вот передали вы c_str куда-то, там кто-то умный сн...

это другое дело, а вообще странно сишная функция которая принимает const char* и что-то меняет, это звучит весьма странно, не? условно указатель то может быть на литерал из data секции, тогда это уже уб вообще

Kirill Bolshakov
А если кто то умный memcpy сделал на твоём объекте...

делать копии const объекта никто не мешает, снимать const и изменять объект - потенциально стрелять себе в ногу

Андрей Руссков
memcpy'ть нетривиальные объекты ведь UB?

А если там Сишный код из другого модуля?))

Андрей Руссков
memcpy'ть нетривиальные объекты ведь UB?

А что нетривиального в char*? Который ещё чем угодно может быть.

Андрей Руссков
memcpy'ть нетривиальные объекты ведь UB?

Строго говоря, если это аккуратно раскидать между TU, чтобы каждый следующий шаг был строго noinline и недоступен компилятору, то оно даже будет работать. Другое дело, что в исходной точке объект может разрушиться - и это повлечёт за собой последствия

Похожие вопросы

Обсуждают сегодня

Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
Где в Астане можно купить мясо для шашлыков?
Dancing Іңұқәһүғө
21
;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, стандартный ;вызов процедуры ;option casemap:no...
Егор Анелькин
1
Добрый день подскажите пожалуйста может кто то сталкивался с ошибками Sentry 22.10.0 развернутым из helm чарт в Kubernetes? Изначально 3 дня назад очень стало много событий ух...
Tire4 Finist Devops
1
всем привет почти закончил курс После него можно писать свою операционку? Какие библиотеки надо использовать и куда дальше копать для изучения
Linus
22
почому оно не работает?
Vi Chapmann ٩( 💢•̀ з•́)و Chapmann
19
Карта сайта