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

[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, она отсутствует.