Здравствуйте, Erop, Вы писали:
E>Идея модели очень простая. Все поля и базы константного объекта -- константны.

E>При учёте этих двух тонкостей ситуация становится уже почти радужной, но только до той поры, пока ты пользуешься совсем простыми моделями константности методов. Если же тебе зачем-то потребуется что-то "непростое", то уже станет тесно.
E>Например, если константность метода будет зависеть от "значения" его параметров, то С++ модель константности становится совсем уж обременительной.

Судя по всему есть все — таки разделение в С++ между определяемыми и нативными типами. До сих пор в документации в явном виде этого нигде не встречал. На самом деле это не единственное различие.