Отправлено SМ 02 декабря 2003 г. 16:40 В ответ на: итак продолжим после обеда ;-))) вычитание большей величины из меньшей - приводит к переполнению ;-) следовательно резултат непредсказуем? ;-)))) отправлено пусто 02 декабря 2003 г. 14:50

В вашем примере - да - при вычитании из меньшего числа большего и записи результата в unsigned переменную произойдет переполнение. И использовать это, согласно стандарту, не желательно.

Еще куча разных вариантов переполнений можно придумать. Но, согласно стандарту, их надо просто проверять перед выполнением операции, где оно может произойти. И избегать. Посмотрите например исходники целочисленного ITU G.723.1 (лежат на secret100) - там все такие ситуации проверены IF'ами, и есть даже тест-вектор реакции на переполнения.

И потом - кто заставляет писать используя соглашения ANSI - наплюйте на них и делайте как нравится.

• а теперь если опираться на ваше логическое заключение то я затрудняюсь определить что такое переполнение -скорее всего это то что приводит к глюкам - а остальное не переполнение ;-) — пусто    (02.12.2003 17:19, пустое)
  • Блин. Имеется вполне четкое определение переполнения - это когда результат операции выходит за пределы отрезка [MIN,MAX] - где MIN и MAX это минимальное и максимальное значения, которые может принимать использованный тип данных. Эти MIN и MAX отлично прописаны в limits.h, кажется. — SМ   (02.12.2003 17:23, пустое)
• так в ccs не работает - или это место у них работает? ;-) — пусто    (02.12.2003 17:13, пустое)
  • Не понял - что за "это место" ? Если про ITU'шный исходник - то он работает. — SМ   (02.12.2003 17:18, пустое)
    • вычитание большего из меньшего в нем выполняется или тоже глюк? ;-) — пусто    (02.12.2003 17:22, пустое)
      • Выполняется. Но с каким результатом - я не знаю и мне не интересно - так как это то, что в С использовать не рекомендовано. Если надо - я это реализую в ассемблере. — SМ   (02.12.2003 17:25, пустое)
        • мне почемуто кажется что с правильным результатом выполняется ;-))) — пусто    (02.12.2003 17:33, пустое)
          • Написанный отдельно - да, с правильным. А если это всунуть куда-нить в цикл, который оптимизатор перекорежит - то не факт. — SМ   (02.12.2003 17:35, пустое)
            • я так и думал - ;-))))) типа соотвествует не соответсвует - что хочу то и сделаю ;-) — пусто    (02.12.2003 17:38, пустое)
              • теперь САМОЕ интересное - если у вас лицензионная версия - то что напишет производитель на вопрос который мы тут обсуждали ? почему так получается - он сошлется на анси или сделает исправление в компиляторе ? ;-))) — пусто    (02.12.2003 17:40, пустое)
                • Невзначай попросит паспорт, проверит прописку... ;О) — =mse=   (02.12.2003 17:47, пустое)
                  • товарищу полковнику ваша шутка понравилась ;-0) — пусто    (02.12.2003 18:41, пустое)