caxapa.ru :: Вообще-то стандарт С не обещает что при сдвиге вправо обязательно будет происходить расширение знака, это implementation-deﬁned.

ЫЫyкпy (31.03.2025 13:32, просмотров: 70) ответил Michael75 на Я тоже всегда делаю так. Это вырождается в две ассемблерные команды - LSLS и LSRS. Куда уж короче...

Вообще-то стандарт С не обещает что при сдвиге вправо обязательно будет происходить расширение знака, это implementation-deﬁned.

The result of E1 >> E2 is E1 right-shifted E2 bit positions. If E1 has an unsigned type

or if E1 has a signed type and a nonnegative value, the value of the result is the integral

part of the quotient of E1 / 2^E2. If E1 has a signed type and a negative value, the

resulting value is implementation-deﬁned.

Жизнь есть способ борьбы белковых тел со вторым началом термодинамики.

Ответить

- И это прекрасный пример того случая, когда следует проигнорировать стандарт. Чтобы не потерять сон, можете добавить assert_static((-1 >> 1) < 0). - SciFi(31.03.2025 13:38)
  - спасибо. не буду игнорировать. и пусть компилятор за меня подставит сдвиг вместо деления. при моём зоопарке камней и компиляторов не хочу даже думать вместо оптимизатора - Vit(31.03.2025 15:04)
    - Любое решение - компромисс. В данном случае потенциально возможная несовместимость принесена в жертву быстродействию и объёму кода. Michael75(401 знак., 31.03.2025 18:08)
      - в подавляющем большинстве случаев компилер выправит деление на сдвиг и быстродействие не пострадает. но можно подразнить гусей - Vit(31.03.2025 18:56)
  - К счастью оно всё-таки deﬁned. Поэтому один раз выяснив как именно оно определено можно не беспокоиться до перехода на другой компилятор или другую архитектуру. - ЫЫyкпy(31.03.2025 13:52)

Микроконтроллеры