Как компилятор следит за тем, чтобы состояние элемента данных не изменялось в функции-члене const? (либо на C ++, либо на java)

Как компилятор C ++ или Java может гарантировать, что ни одно из состояний переменных-членов не изменилось в функции-члене const (изменяемость является исключительной).

Будет ли компилятор делать что-то вроде помещения кода в сегмент кода, не доступного для записи, или что-то в этом роде?