Вызывает ли const_cast фактическую эмиссию кода?

Question

Правда ли, что const_cast - это просто способ сказать компилятору "прекратить стонать, трактовать это как неконстантный указатель"? Есть ли случаи, когда const_cast сам переводится в фактический машинный код?

Answer 1

Нет, он просто удаляет атрибут const во время компиляции.

Answer 2

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

Answer 3

const_cast просто отбрасывает постоянство атрибута и ничего более.

Answer 4

const не меняет представление типа, в частности, представление T* точно такое же, как T const*.

Рассмотрим:

int i, 
    * const cpi = &i,
    * const * pcpi = &cpi;
int const * const * pcpci = pcpi; // cpi is now int const*

Представление cpi одновременно представляет int* и int const* через *pcpci.

Невозможно изменить представление cpi при инициализации pcpci.

Конечно, если у объектов-указателей есть не значащие биты, компилятор может их случайным образом переворачивать; в частности, const_cast может перевернуть незначащие биты указателя, но любое неявное преобразование также может. Я не думаю, что этот случай существует в реальном мире.

То же самое применяется, когда две разные битовые комбинации приводят к одному и тому же значению адреса (база + смещение, когда смещение достаточно велико).