Я прочитал эту строку в книге:

Вероятно, невозможно создать компилятор, который фактически может определить, изменит ли функция C ++ значение конкретной переменной.

В этом пункте говорилось о том, почему компилятор консервативен при проверке на константность.

Почему невозможно построить такой компилятор?

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