caxapa.ru :: Кейл5. Это баг или фича? при выполнении операции сравнения операнды автоматически приводятся к типу int

IBAH (Вчера, 20:11 - 20:18, просмотров: 887)

Кейл5. Это баг или фича? при выполнении операции сравнения операнды автоматически приводятся к типу int

typedef struct
{
unsigned short t0;//опорное время
unsigned short pt;//порог срабатывания
}Timer_us_t;

вот сравнение 32разрядное

if( ( ((unsigned short)(TIM2->CNT)) - (t->t0) ) >= (t->pt) )

вот так правильно сравнивает

if( ((unsigned short)(((unsigned short)(TIM2->CNT))-(t->t0))) >= (t->pt) )

я чего-то забыл из языка?

Ответить

- а если так? framer(54 знак., Вчера, 21:48, ссылка)
  - TIM2->CNT 32разрядный по определению - IBAH(Вчера, 22:36)
    - в примере под ссылкой тоже uint32_t так как и TIM2->CNT. Компилятор разулит через promotion. Пока не будет конверсий int -> uint полет нормальный даже с флагами -Wall -Wextra -Wconversion - framer(Вчера, 22:42)
      - у меня пример не открывается - IBAH(Вчера, 22:49)
        
        кусок кода framer(597 знак., Вчера, 22:55)
        
        Давайте спросим у гугела, что такое bum: SciFi(1 знак., Вчера, 23:13, ссылка)
        
        я просто ошибся где то. framer(3 знак., Вчера, 23:17, ссылка)
- Так устроен язык Си. Перед арифметическими операциями всё приводится к int. Или к более старшим типам, по ситуации. Называется "integer promotion". SciFi(158 знак., Вчера, 20:22, ссылка)
  - блд. 32-разрядная деформация личности! я ж когда то про это помнил... Что же будет когда 64-разрядные МК пойдут... - IBAH(Вчера, 20:29)
    - Всё будет хорошо, операция сравнения будет проводиться в облаке и специалисты амазон всё сделают правильно. Подписку не забудь оплатить. - Ralex(Вчера, 20:32)
- Даже разбираться не хочу. Но тут всё неверно т.к. смешаны типы в сравнении. Надо до сравнения (для надежности и независимости от спецификацция языка) всё привести по возможности к одному. Как в паскале сделано автоматом. - POV(Вчера, 20:13)
  - так и делается, все приводится к одному типу. Но я всегда считал, что при операции маленький тип приводится к большому, беззнаковый к знаковому. Оказывается в операции сравнения есть свои нюансы... - IBAH(Вчера, 20:17)
    - это только в паскале. все прочие (что мне довелось использовать) пытаются за меня "оптимизировать" - POV(Вчера, 20:18)
  - а робот неленивый, что-то там сразу учуял.. POV(182 знак., Вчера, 20:14)
    - робот туповатый, там сознательно делается переполнение. Проблема в привдедении типа при операции сравнения - IBAH(Вчера, 20:22)
      - Дык, фантаст верно дал коммент. Там не расширения именно что не гарантировано до бОльшего, потери более чем возможны. Столкнулся - прими как данности и введи явное приведение типов где надо. - POV(Вчера, 20:25)
        
        Всем советую заучить правила неявного приведения типов. Они несложные, а на интуицию в этом вопросе полагаться нельзя, она соврёт. - SciFi(Вчера, 20:31)
        
        Сколько языков программирования у тебя в работе? У меня кроме Си, Плюсов, Питона и кучи FBD-языков, есть еще bash и Javascript. И я не уверен что в любой момент не появится Java или что-то еще. У них у всех СВОИ правила неявного приведения типов. - Cкpипaч(Вчера, 20:50)
        
        Офигенно. Иметь "в работе" кучку языков и не знать толком ни одного? Дайте две :-) - SciFi(Вчера, 20:53)
        
        На третьей полке. Бери. Прошивка платы - Си, драйвера операционки - Плюсы, работа с базой данных и WEB - Питон, клиентская часть WEB - Javascript. Ни одно название не является лишним. - Cкpипaч(Вчера, 21:03)
        
        Ну хотя бы великий и могучий можно как-нибудь по памяти? :-) - SciFi(Вчера, 21:04)
        
        У нас "великий и могучий" - украинский. - Cкpипaч(Вчера, 21:05)
        
        Не пизди, в Шереметьево не пустят! "великий и могучий" у вас под запретом. - IBAH(Вчера, 22:34)
        
        и не надо! надо согласовать формат данных, а прогеры пусть уж обеспечимвают - POV(Вчера, 21:02)
        
        Я зануда и не полагаюсь на неявное... в процессе разработки кода, пока мысля живёт своей жизнью, пытаюсь делать красиво.. для процесса - заодно, всё обрамляю приведениями типов. Ну и, ессно, лоховскими проверками в функциях входных данных... POV(207 знак., Вчера, 20:36)

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