caxapa.ru :: (unsigned int)-(unsigned int)=(signed or unsigned int)? Что там по закону положено? Вроде бы все вычисления заканчиваются (signed int)

AlexBi (16.10.2019 10:28, просмотров: 200) ответил SciFi на +1. Или везде использовать unsigned int.

(unsigned int)-(unsigned int)=(signed or unsigned int)? Что там по закону положено? Вроде бы все вычисления заканчиваются (signed int)

Ответить

- SciFi ниже ответил, но есть ньюансы, вроде (unsigned int) - (signed long). Правило, как я понял, не в том, что использование unsigned делает всё выражение таковым, а что если не влазит в ширину типа, то тогда какой-то выбирается и там 10 пунктов, fk0(26 знак., 16.10.2019 11:30)
- По закону (unsigned int)-(unsigned int)=(unsigned int). Причём гарантируется корректное поведение при переполнении бегущего счётчика, то есть для задержек самое то. - SciFi(16.10.2019 10:32)
  - тогда почему оно зависает? чот я стал тупить - Mahagam(16.10.2019 11:31)
    - Пример: il-2(443 знак., 16.10.2019 11:47 - 13:02)
      - вообще странно. чот мне казалось, что сначала операнды промотятся до инта. а потом уже вычитание. если ж вычитать флоат из инта, сначала же всё конвертится во флоат, а потом уже матоперация. так же? дальше, результат uint16 - uint16 должен быть Mahagam(186 знак., 16.10.2019 12:51)
        
        Век живи - век учись. "... операнды приводятся к некоторому общему типу, который также является и типом результата" © K&R - SciFi(16.10.2019 13:15, ссылка)
        
        Век перечитывай) - Mefod(16.10.2019 13:25)
        
        Все правильно. И я про то же. Немного подправил свой ответ выше, чтобы было понятней. - il-2(16.10.2019 12:59)
      - Все понял, спасибо. - Mefod(16.10.2019 12:06)
    - Что-то я и сам затупил. Если tick == 0xFFFF, то Tim7_Get_mks() - tick == (int)0xFFFF****, то есть отрицательное число. Из цикла сложно будет вырваться. - SciFi(16.10.2019 11:36 - 11:46)
    - Потому, что у тебя 32-битная платформа и все вычисления приводятся к int, если имеют более "узкий" тип. На 16-битной такой код прокатил бы. - fk0(16.10.2019 11:37)
      - Компилер создаёт в стеке временную переменную для хранения результата вычитания и последующего сравнения. evgeniy1294(211 знак., 16.10.2019 11:46)

ARM, RISC-V контроллеры