Почему const_cast в любых других случаях можно использовать, а в

Question

Почему const_cast в любых других случаях можно использовать, а в

функции нет? (прочитал в твиттере у jasonturner)

Please don't ever do this:

cpp
constexpr int some_val = 1;

// other code

void some_func() {
some_func_that_may_modify_param(const_cast<int &>(some_val));
}

#thatsUB

#c++ #embedded #programming #russian

0

07.07.2021

17 ответов

14 просмотров

Kelbon

непонятно сформулировал, ты имеешь в виду почему конкретно тут это прям вообще плохо?

0

07.07.2021

Alexander Karaev

const_cast можно использовать только в случаях, когда есть гарантия, что исходные данные не являются const.

0

07.07.2021

Dmitriy [Отпуск]

Alexander Karaev
const_cast можно использовать только в случаях, ко...

Или есть гарантии, что вызываемая функция их не меняет - привет сишным API с их char*-литералами

0

07.07.2021

Kelbon

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

0

07.07.2021

Alexander Karaev

Dmitriy [Отпуск]
Или есть гарантии, что вызываемая функция их не ме...

Ну, да. UB проявляется не в момент каста, а в момент собственно записи (хотя сейчас может всплыть холивар с *nullptr)

0

07.07.2021

olim Автор вопроса

там функция с const_cast вызывается внутри другой функции. будет разница если просто вызвать ту, что с const_cast?

0

07.07.2021

disba1ancer

Главное не попасться в ловушку CreateProcess

0

07.07.2021

Alexander Karaev

olim
там функция с const_cast вызывается внутри другой ...

Ещё раз: const_cast'ы - это небезопасные преобразования типов, после которых нужно самостоятельно следить за тем, чтобы все гарантии соблюдались. Можно кастовать что угодно во что угодно, но если где-то в программе произойдёт запись по non-const ref, которая на самом деле ссылается на const объект, произойдёт UB.

0

07.07.2021

Alexander Karaev

Я просто не помню, чем окончился разбор случая int& ref = *(int*)nullptr;, поэтому решил сделать уточнение. В случае constов такой необычной ситуации возникнуть не должно, как мне кажется

0

07.07.2021

Vlad

Alexander Karaev
Я просто не помню, чем окончился разбор случая int...

прямой запрет, я полагаю

0

07.07.2021

Alexander Karaev

Vlad
прямой запрет, я полагаю

Не-не, раз это был долгий холивар, значит он точно не решается одной строчкой стандарта :))

0

07.07.2021