Я прочитал эту строку в книге:
Невозможно построить компилятор, который может фактически определить, будет ли функция С++ изменять значение конкретная переменная.
В параграфе говорилось о том, почему компилятор консервативен при проверке на константность.
Почему невозможно построить такой компилятор?
Компилятор всегда может проверить, переназначена ли переменная, на ней вызывается функция не-const, или если она передается как неконстантный параметр...