Арифметика с переполнением

[vak]

Как сложить/вычесть/умножить два числа на Си и отловить факт переполнения? Не теоретически, а по делу. Желательно не теряя эффективности.

Для этого в компиляторах GCC и Clang есть соответствующие встроенные функции.

• GCC: "Built-in Functions to Perform Arithmetic with Overflow Checking"
• Clang: "Checked Arithmetic Builtins"

Comments

[vsold_1986]

Интересно, что в борланде подобные вопросы автоматически решались с помощью исключений (exception), и, видимо, их отлов в критических местах с помощью блока catch не приводил к какому-то существенному падению производительности.
Перейдя же на Qt, я с неприятным удивлением обнаружил, что ничего тут не бросается (throw) и подобные ситуации надо обрабатывать ручками.
Очень странно, что в стандарте языка это никак не оговорено, поскольку ситуация типичная и очень требует универсального решения.

[vak]

Однако в Си нету exceptions. Есть в Си++, но увы, стандарт языка никак не привязывает их к арифметике. Так что вышеуказанные интринсики - единственный способ.

[chabapok]

> Очень странно, что в стандарте языка это никак не оговорено, поскольку ситуация типичная и очень требует универсального решения.

в с23 есть "#include

[Error: Irreparable invalid markup ('<stdckdint.h>') in entry. Owner must fix manually. Raw contents below.]

> Очень странно, что в стандарте языка это никак не оговорено, поскольку ситуация типичная и очень требует универсального решения.

в с23 есть "#include<stdckdint.h>", там есть всякие ckd_add

(правда это уже как мертвому припарка)

[spamsink]

А то, что и деление может давать переполнение (MININT/-1), до тупых не дошло?

[juan_gandhi]

Хм, даже не знаю, в JVM вообще есть что-нибудь такое или нет.

[sun_jr]

Спускаться ниже, к железу, и отлавливать carry bit руками?

[vak]

Удобнее, если это уже сделали разработчики компилятора.

[vak]

Вроде в Джаве как-то так:

    try {
        System.out.println(Math.addExact(a, b));
    } catch (ArithmeticException e) {
        System.out.println("Overflow");
    }

[vak]

Ага, мне тоже показалось странным, что деление упустили.

[vak]

Да, это оно и есть. К примеру, ckd_add определено как __builtin_add_overflow().

[juan_gandhi]

О! Я и не слыхивал. Спасибо за подсказку!