caxapa.ru :: да. Нормальный компилятор сам вместо деления сдвиги подставит когда нужно. Насчёт сдвига вправо в разных местах информация немного различается

koyodza (13.02.2012 10:07, просмотров: 297) ответил fk0 на Нужно отучаться от ассемблерного мышления делить сдвигами -- легко облажаться.

да. Нормальный компилятор сам вместо деления сдвиги подставит когда нужно. Насчёт сдвига вправо в разных местах информация немного различается например, здесь http://msdn.micros …/library/k2ay192e.aspx пишут, что для заполнения позиций слева используется бит знака значения сдвигаемого числа. А вот здесь http://www.cybergu …ming-guide-page27.html пишут, что при сдвиге вправо метод заполнения освобождающихся левых битов зависит от типа первого операнда. Если тип unsigned, то свободные левые биты устанавливаются в нуль. В противном случае они заполняются копией знакового бита

Ответить

- В первом случае все верно - они описывают свой компилятор. По второй ссылке они противоречат стандарту, ибо стандарт ясно говорит: Сергей Борщ(732 знак., 13.02.2012 11:35)
  - почему по второй противоречат? Всё в полном соответствии Вашей цитате - koyodza(13.02.2012 11:58)
    - Потому что они пишут "В противном случае они заполняются копией знакового бита" не указывая конкретный компилятор, а в стандарте такого нет. - Сергей Борщ(13.02.2012 12:02 - 12:09)
      - ну да, Вы правы, могут заполняться или не заполняться, implementation-defined - koyodza(13.02.2012 12:12)
  - Очень понятно и очень печально. Получается, знаковые надежнее никогда не сдвигать вправо. - Andreas(13.02.2012 11:45)
    - Вывод неправильный. Просто нужно защититься от неожиданности. Писал выше: assert_static((0x87654321L >> 8) == 0xFF876543L). - SciFi(13.02.2012 11:51)
      - А что мешает препроцессору сдвигать константы одним способом, а компилятору переменные - другим? - Andreas(13.02.2012 11:59)
        
        Мешает стандарт. Препроцессор не выполняет арифметических действий - он делает лишь текстовые подстановки. Константные выражения считает компилятор. - Сергей Борщ(13.02.2012 12:07)
        
        К сведению, препроцессор ничего сдвигать не умеет. А компилятор должен одинаково сдвигать константы и не константы, иначе из него глюки попрут со всех сторон. - SciFi(13.02.2012 12:03)
        
        Если такая проверка действительно работает везде, очень хорошо. В этом проекте много надо сдвигов знаковых и не только, а проект будет гулять по нескольким процессорам. Хочется понять, как поменьше на грабли наступать, в первый раз такое. - Andreas(13.02.2012 12:54)
- В первом случае похоже имеется в виду, что у беззнакового числа знак всегда 0, т.е сдвиг вправо все-таки со знаком. Но всегда ли это так?? - Andreas(13.02.2012 10:14)
  - Что-то у вас с логикой не так. Знак числа без знака? <уходит, качая головой> - SciFi(13.02.2012 10:47)
  - с какой радости? У беззнакового числа старший бит может быть любым - koyodza(13.02.2012 10:43)

Средства и методы разработки