Иммутируемый int в C++

Question

Как создать простой неизменяемый int на C++? У меня есть функция:

int NOD(const int &a, const int &b) { 
    if (b == 0) {return a;} 
    const int remainder = a % b; 
    return NOD(b, remainder); 
} 

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

*(int *)&a = 555; 

он ломает все. Как сделать неизменяемые переменные в C++?

Answer 1

Вы говорите о целых числах. Просто скопируйте их, оставив ссылочную нотацию, и все возможные изменения в a и b являются локальными для функции NOD. Существует две обычные причины использования ссылки. Один, вы хотите изменить их (но вам здесь не нужно). Во-вторых, иногда ссылка предлагает больше производительности, чем копия. Но здесь дело не в том, что целые числа примерно такие же дешевые, как в C/C++.

int NOD(int a, int b) { 
    if (b == 0) {return a;} 
    const int remainder = a % b; 
    return NOD(b, remainder); 
} 

Answer 2

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

Путь к C++ может заключаться в том, чтобы обернуть int в класс, который имеет только один конструктор, который использует методы int и only const для чтения содержимого.

Если вы сделаете этот единственный конструктор недоступным для «других», то они не смогут самостоятельно создавать измененный объект.

Или вы можете вернуть выражение лямбда, которое возвращает int. Внутри компилятор будет производить экземпляр класса «на лету». По производительности это должно быть примерно одинаково, но, возможно, менее неудобно читать.

Answer 3

Ваш код вызывает Неопределенное поведение, после которого все возможно. Итак, то, что вы просите, невозможно из-за невозможности - после UB даже неизменяемые переменные изменяемы.