caxapa.ru :: После замены некоторых самопальных типов целых на стандартные код стал отличаться. Почему и насколько рискованно?

VLLV (06.01.2019 00:16, просмотров: 15712)

После замены некоторых самопальных типов целых на стандартные код стал отличаться. Почему и насколько рискованно? //typedef unsigned char int8 -> uint8_t - прокатило без проблем потом сделано две замены: //typedef unsigned short int16 -> uint16_t // typedef unsigned long int32 -> uint32_t Результат не совпадает

Ответить

- Стандартные и не стандартные определены через typedef. Вероятно где-то получился другой тип. - AlexBi_(07.01.2019 12:48, )
- а как хорошо таким как я - в Cube MX. :-) Там всё расписано... - Лагунов(06.01.2019 19:26)
- Я запутался. int8, int16, int32 - это знаковые или беззнаковые типы? - SciFi(06.01.2019 11:17)
  - Самопальные беззнаковые меняю на стандартные беззнаковые - VLLV(06.01.2019 11:30)
    - Почему же не uint8 или хотя бы u8? Чтобы враги не догадались? - SciFi(06.01.2019 11:33)
      - "исторически так сложилось". Над проектом работают несколько человек, периодически у каждого сносит крышу, он начинает думать, что int8 знаковое. Тоже мотивация наконец-то сделать правильно. - VLLV(06.01.2019 11:56 - 12:01)
        
        Тады ой. Ну да, семантика не меняется. Но никто не обещал, что машинный код не изменится. А что за компилятор? - SciFi(06.01.2019 11:58)
        
        IAR, eссно. - VLLV(06.01.2019 12:02)
        
        Тогда назад к первоначальному вопросу: не вижу причин для беспокойства. Нет, теоретически возможно существование бага в компиляторе, который просыпается при этой замене. Но и кирпич на голову может упасть, увы... - SciFi(06.01.2019 12:28)
- Предсказамусы в отпуске. Могу настрочить пару простых примеров, где всё это вызывает ядрёный апокалипсис. Но это дорого. - SciFi(06.01.2019 00:24)
  - Я заплачу... Или заплАчу :) - VLLV(06.01.2019 00:33)
  - Новости с фронта, ЛОЛ - линковка пошла в другом порядке! Хекс отличается на 7 байт из 520К, объектные все еще проверяю, до хрена их. Интересно, может ли измениться размер из-за выравнивания при линковке. - VLLV(06.01.2019 00:32)
    - Отличается в какую сторону? В сторону уменьшения или увеличения? Какой код КОРОЧЕ, на самопальных типах или стандартных? - Ксения(06.01.2019 14:36)
      - А может быть, всё дело в линковке? Скажем, если сегменты кода и данных выравниваются по какой-то границе, то при ином порядке их следования "пустое место" может иметь другие размеры. Хотя в случае AVR выравнивание сегментов едва ли применяется. - Ксения(06.01.2019 15:50)
        
        Нет, не линковка, тоже так думал. Два файла из 75 компилируются по другому - один стал короче на 4 байта, другой на 10, т.е. компилятор оптимизирует лучше, правда на фоне 173K это меньше 0,01% :) - VLLV(06.01.2019 16:48)
    - Это попытка привнести немного перца в размеренную жизнь? Есть способы попроще :-) - SciFi(06.01.2019 00:35)
      - Доесть оливье?! :) - VLLV(06.01.2019 00:42)
        
        Я просто намекаю: "Работает - не трогай!!!" Слышали такое слово "семантика"? В стандарте языка Си оно приблизительно на каждой странице. Означает "смысл". Вот заменяем одно на другое и ожидаем, что смысл не изменится? Ага, щас. - SciFi(06.01.2019 00:50)
        
        То, что удалось понять при моем незнании ассемблера ARM - при замене на стандартные типы применена оптимизация (включена высшая): VLLV(620 знак., 06.01.2019 09:49 - 10:57)
        
        Сижу, пишу на Питоне и офигеваю от ваших выводов :) Скрипач(132 знак., 06.01.2019 16:28)
        
        Тогда нужно запретить и макросы - они как раз то надуманная прослойка между человеком и компилятором. - VLLV(06.01.2019 16:53)
        
        Вообще-то в Питоне нет макросов. И как-то обходятся. Скрипач(325 знак., 06.01.2019 17:37 - 17:39)
        
        Сравнивать объектно-ориентированный язык с "макроассеблером" не совсем корректно, но в принципе согласен. - VLLV(06.01.2019 17:46)
        
        Макросы вместо функций - это из древних времён, когда компиляторы были туповаты, а быдлокодеры думали, что они самые умные, и вот так незатейливо заинлайнят, и всё залетает. Короче, фтопку. - SciFi(06.01.2019 17:15)
        
        Ни хера! Макросы - это, как сказал коллега, "для людей", чтобы даже самому автору был понятен смысл действий. Это как прослоечка мяса в сале :) - VLLV(06.01.2019 17:20)
        
        Не, ну у всех свои тараканы в голове. В этом смысле я за толерантность, но в разумных пределах :-) - SciFi(06.01.2019 17:24)
        
        +1. Тем более ТС признался, что у него уже 520К кода. Пытаться такими ужимками его ужимать - это вообще безумие. - SciFi(06.01.2019 16:45)
        
        Не, это хекс. Кода всего лишь 173К. - VLLV(06.01.2019 16:49)
        
        Больше, чем 100500 байт? Больше. Такшта возражение не принимается. - SciFi(06.01.2019 17:26)
        
        20 строк на функцию - это же из пайтона пришло, не? - lloyd(06.01.2019 16:31)
        
        ХЗ, никогда не смотрел на код под таким углом. Скрипач(49 знак., 06.01.2019 16:36)
        
        Нифига не понял. А можно код привести? - йцукен(06.01.2019 15:17)
        
        Я использую свой хедер header types.h, который включаю в проект сразу после stdint.h и подобных. Никогда не имел никаких проблем с такими [пере]определениями: MBedder(424 знак., 06.01.2019 12:41)
        
        Логичное решение - 'u' и 's', чтобы не было места инсинуациям. Но на моем примере эта прослоечка таки влияет на компилятор. - VLLV(06.01.2019 12:58)
        
        u8? Экономия на ~~спичках~~ буквах добром не закончится :-) - SciFi(06.01.2019 12:47)
        
        В моих спичках однозначно видна длина в битах и знаковость, а в char видна только узколобость придумщика, пересаженного с БЭСМ-6 на микроконтроллеры постановлением партсобрания завода "Красный лапоть" - MBedder(06.01.2019 13:37)
        
        не, в чаре есть какой-то глубокий смысл, но он и от меня обычно ускользает. О, это то счем работают printf! :) - VLLV(06.01.2019 14:14)
        
        Чар - это буква. Из букв складываются слова. Как известно, вначале было слово. Так вижу. - SciFi(06.01.2019 14:16)
        
        В начале было слово, и слово было 2 байта, а 4 байта назывались DWORD. Но АРМ был хитрее всех зверей полевых, и сказал: пусть слово будет 4 байта, а 2 байта пусть называются halfword. И стало так. - йцукен(06.01.2019 15:11)
        
        Шо, и char тоже на партсобрании придумали? Какие негодяи. - Codavr(06.01.2019 13:58 - 14:05)
        
        Нет, char твой парторг вбросил - чтобы ~~враги~~ рядовые члены партии никогда не узнали секретные данные о настоящем размере переменной - MBedder(06.01.2019 14:05)
        
        Неужто и на Bell Labs тоже партячейка была? Куда Эдичка Гувер смотрел. Щаз бы никаких гиморов с типами данных не было. - Codavr(06.01.2019 14:06 - 14:11)
        
        Даёшь чарсрач! Вроде бы ещё не было. Кстати, палиндром. - SciFi(06.01.2019 14:08)
        
        Вах! - Codavr(06.01.2019 14:13)
        
        Это банально некорректный код. У C2000 unsigned char - это u16, к примеру. - lloyd(06.01.2019 12:46)
        
        Это банально лень читать "книжки" misyachniy(153 знак., 06.01.2019 16:51)
        
        Нет, поддержка uint8_t в TI CGT C2000 есть, но сделана она через такую ж, что проще было сказать, что поддержки нет. lloyd(354 знак., 06.01.2019 21:56)
        
        Я о байте говорил. misyachniy(433 знак., 06.01.2019 23:16 - 23:27)
        
        Да, для С2000 хедер другой - этот для XC16 (GCC) dsPIC/PIC24 - MBedder(06.01.2019 12:50)
        
        Добавлю. IAR в свойствах проекта имеет настройку как интерпретировать char - со знаком или без. - misyachniy(06.01.2019 12:39)
        
        так чего они не сделали для остальных типов? - VLLV(06.01.2019 14:15)
        
        Знаковость имеет смысл только для операции сравнения. Вы char'ы сравнивать по возрастанию собрались? наверное для этого вам нужен беззнаковый тип, чтобы это ложилось на таблицу ASCII - lloyd(06.01.2019 14:26)
        
        Пророки Керниган и Ричи замутили Си, но расписали всё недостаточно подробно. Народу всё равно понравилось, и он настрочил кучу кода. Когда руки дошли до стандартизации, ломать эту кучу кода не захотели, вот и пришлось и вашим, и нашим... - SciFi(06.01.2019 14:18)
        
        Нехер компилеру что-либо интерпретировать - сказано "знаковый" - значит знаковый, и все тут - MBedder(06.01.2019 12:51)
        
        +1. Поэтому осставляю эту галку включенной и везде пишу только беззнаковый. Пользовать знаковый пока что не требовалось :) - Codavr(06.01.2019 13:36 - 13:38)

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