vak | Ответ на задачку по Си

Исчерпывающий ответ на задачу сложить два числа дал

spamsink : https://vak.dreamwidth.org/659406.html?thread=5230798#cmt5230798

Вот код на Си++, решающий поставленную задачу, не вызывая неопределённого поведения и не прибегая к трюкам.

int add(int a, int b)
{
    int sum;

    if (a >= 0) {
        if (b >= 0) {
            // Оба числа положительные - сместим на верхнюю границу.
            sum = (a - INT_MAX) + b;
            if (sum > 0)
                throw std::overflow_error("Integer overflow");
            sum += INT_MAX;
        } else {
            // Разные знаки, нет переполнения.
            sum = a + b;
        }
    } else {
        if (b >= 0) {
            // Разные знаки, нет переполнения.
            sum = a + b;
        } else {
            // Оба числа отрицательные - сместим на нижнюю границу.
            sum = (a - INT_MIN) + b;
            if (sum < 0)
                throw std::overflow_error("Integer overflow");
            sum += INT_MIN;
        }
    }
    return sum;
}

Как видите, вовсе не теорема Ферма. Not a rocket science, как говорят американцы. Последовательность простых логических рассуждений.

Вот по этой причине физики не любят Си и Си++. Вы даже два числа сложить не можете без фокусов, говорят они. :)

Заметим, что проблема undefined behavior в арифметике свойственна только Си/Си++. Во многих современных языках, таких как Java, Go или Rust, она отсутствует.

int add(int a, int b) { if (a >= 0) { if (b >= 0) { // Оба числа положительные if (INT_MAX - a < b) throw std::overflow_error("Integer overflow"); } else { // Разные знаки, нет переполнения } } else { if (b >= 0) { // Разные знаки, нет переполнения } else { // Оба числа отрицательные if (INT_MIN - a > b) throw std::overflow_error("Integer overflow"); } } return a + b; }

int add(int a, int b) { if (a >= 0) { if (INT_MAX - a < b) throw std::overflow_error("Integer overflow"); } else { if (INT_MIN - a > b) throw std::overflow_error("Integer overflow"); } return a + b; }