Ремарка Капитана. Да, в рамках синтаксиса и семантики языка это весьма годная конструкция, но джамшут с borisbn не стандарт языка грызут, а рассуждают о дизайне приложения и его частей, а так же о культуре программирования в общем. С этой точки зрения попытка записи в const-область - весьма нестандартный поступок. Капитан в курсе, что const_cast случается и из-за кривости рук разработчика АПИ.

специально для Капитана:

1. const- объект далеко не всегда реально константный, всего лишь логически.
2. const_cast бывает нужный не только для убирания константности, но и для ее добавления 

reinterpret - это ненормальная практика. Но иногда необходимая (обычно из-за "сишности" или непродуманности используемых библиотек, но не в этом суть).


Ээ.. А можно пример, где это действительно нужно и не произойдёт автоматом? При передачи в функцию, возврате из функции или присваиванию переменной - всегда само отработает (ну это и логично).

там где надо вызвать именно константную версию метода, а имеем не константный объект..



Это сообщение отредактировал(а) mes - 16.9.2010, 19:56

mes

1. Капитан считает это очевидным:). Он писал не о константной области памяти, а о сферическом нечто, что попадает к нам в руки и представляется константным. В это нечто, по хорошему, писать - ни-ни!
2. Хороший пример. Но тоже весьма нестандартный, значит следует это отметить в коде.

Это сообщение отредактировал(а) djamshud - 16.9.2010, 20:45

бывает так, что требуется что то изменить объекту, не меняя при этом логической константности.. 
пример тот же внутренний  кэш..  


Это сообщение отредактировал(а) mes - 16.9.2010, 20:58

mes, конечно. Это не хак, а гениальный трюк:). И парой камментов раньше я это писал. Но мсье прикопался к "хаку", вот я и раскрывал хаковую часть природы const_cast

const - это как правило запрет на запись времени компиляции, не более того.

Это нормально, если внутри библиотеки объект mutable,
а во внешнем интерфейсе библиотеки он const, чтоб пользовательский код его не трогал.

Да, согласен. Хотя логически это всё равно очень странно. Обычно константная и неконстантная версия одного метода делают одно и тоже. Иначе это слишком неочевидно, как я считаю (с точки зрения конечного пользователя).

Добавлено через 1 минуту и 49 секунд

Ну что-то мне подсказывает, что для локальных переменных "простых типов" const будет означать либо их непосредственную подстановку, либо (если это массив или структура) запись данных в "неменяемую" область памяти. Хотя, очевидно, это компиляторозависимо и т. д.

Во время конпеляции конст вообще не играет никакой роли. Именно потому кстати, что в рантайме от нее можно избавиться. Никакие механизмы оптимизации не рассматривают конст как показатель. Константность - плюшка для программиста, и все.

чтоб далеко не ходить : оператор [] при CopyOnWrite

Добавлено через 6 минут и 40 секунд

прям уж никакой ?   


а как ?.. а в компил-тайм нельзя избавиться ?


а знаете почему вектор ругается , когда в него auto_ptr запихивают ?
а как работает вышеупомянутое CopyOnWrite ?
и многое другое что с разбегу в голову не приходит.. 
  

Я прекрасно знаю, как работает КоВ. По собственному опыту. И благодаря плюшки для программиста в виде константности она реализовывается. Впрочем без нее тоже можно сделать без проблем, но накладных расходов чуть больше.

>прям уж никакой ?

Помимо собственно семантического анализа (что консту можно, а что - нет) и того, что компилятор может размещать статические объекты в константной области памяти, никакой.

>а как ?.. а в компил-тайм нельзя избавиться ?

Кастованием. В компил-тайм компилятор не знает, к каким именно объектам будут применяться неконстантные методы в рантайме. То есть предполагается, что с объектом в рантайме может твориться все, что угодно. Поэтому он никогда не доверяет констам во время проведения оптимизации, самостоятельно вычисляя в какие моменты (участки выполнения) те или иные объекты стопроцентно не будут изменены.

>а знаете почему вектор ругается , когда в него auto_ptr запихивают ?
>а как работает вышеупомянутое CopyOnWrite ?
>и многое другое что с разбегу в голову не приходит.. 

Это все и есть плюшка.

стыд позор. это же уг. при том древний.

Добавлено через 43 секунды
зы
как отписаться от темы? достали уже уведомления  

boostcoder, фи, отписаться... А как же поучаствовать в сраче?:)

правильное слово для происходящего