Речь идет не о семантике копирования, а о семантике операторов вообще.
К примеру, если существует перегрузка Integer Integer::operator-(const Integer& i), возвращающая неконстантный объект, то становится возможным существование следующего кода:
Integer a = 0, b = 1;
a — b = 2;
// или запись вот таких забавных уравнений:
Integer x = 1;
x — 1 = 0;
Про «доказательство на компьютере» говорили часто, но никогда не упоминали метод доказательства. Я не представлял другого способа кроме перебора всего бесконечного множества натуральных чисел, поэтому заявление о доказательстве на компьютере вызывало во мне смутные сомнения.
Небольшое дополнение для пользователей Windows.
Консольный клиент (Git Bash) ищет приватный ключ ssh по пути ~/.ssh. Узнать, где находится этот каталог можно выполнив:
cd ~
pwd
Можно, но это действие не принесет результатов. Распакованные коды Хаффмана по сути предсталяют из себя «сырые» PCM-данные. Wav-файлы 7-Zip сжимает сравнительно плохо.
Все верно, любой архиватор поступает аналогичным способом. Было бы удивительно при распаковке архива получить не те файлы, которые в него были упакованы.
К примеру, если существует перегрузка Integer Integer::operator-(const Integer& i), возвращающая неконстантный объект, то становится возможным существование следующего кода:
Integer a = 0, b = 1;
a — b = 2;
// или запись вот таких забавных уравнений:
Integer x = 1;
x — 1 = 0;
Cо встроенным int такое, конечно, не работает.
Все это верно, если я правильно понял значение «бинарного,».
В С++ нет оператора возведения в степень
Консольный клиент (Git Bash) ищет приватный ключ ssh по пути ~/.ssh. Узнать, где находится этот каталог можно выполнив:
cd ~
pwd