caxapa.ru :: Статья про UB и кривизну компиляторов. Undefined behaviour - это вполне определённое поведение, но зависимое от компилятора и процессора. На асме тоже можно писать всякую дичь, никто же не делает это. Авторы (молодые ребята) "ищут" как художники и хотят самоутвердиться. Не нравится им "опасные" int и арифметика с указателями, но во всех старых учебниках всегда предупреждали про int. А с указателями они из-за юного возраста, наверное, мало работали. У них модель памяти всегда

Costic (01.12.2021 16:17, просмотров: 225) ответил Evgeny_CD на Хабр. Статья про неопределенное поведение С. Описаны очень тонкие и опасные нюансы, о которых я даже и не знал, например.

Статья про UB и кривизну компиляторов. Undefined behaviour - это вполне определённое поведение, но зависимое от компилятора и процессора. На асме тоже можно писать всякую дичь, никто же не делает это. Авторы (молодые ребята) "ищут" как художники и хотят самоутвердиться. Не нравится им "опасные" int и арифметика с указателями, но во всех старых учебниках всегда предупреждали про int. А с указателями они из-за юного возраста, наверное, мало работали. У них модель памяти всегда

плоская (32 или 64 бита). Мы же копчиком помним сегментные модели Tiny, Small, Medium, Huge. А в микроконтроллерах указатель может быть и 8 бит, и 24 бита, и с банками памяти.

Ну, и на каждое UB обычно есть warning, который надо устранить.

Ответить

- В этом вся суть нашей Сишечки. С одной стороны, сам по себе С, даже С11 по стандарту, это не шибко сложная вещь. Но! Если хочешь писать реально переносимый код на MCU, то нужно одновременно в голове держать просто срань правил и методов написания кода, от чего реальный стандарт промышленного С будет 5к страниц, наверное, и учить его надо 10 лет до уровня Гуру. - Evgeny_CD(01.12.2021 16:30)
  - Всё-таки, Си - низкоуровневый язык, машинно-зависимый. Переносимость и повторное использование кода были целями С++ и Java, но не очень они добились этих целей. А вот вопрос машинно-зависимости - неоднозначный. Сейчас вот много говорят про потокобезопасность, защиту памяти и стека, атомарность ит.д. Лет 30 назад такие вопросы не были актуальны. Когда в Windows 2000 через переполнение стека попёрли вирусы, то на наши strcpy() и т.д. повесили "чёрную метку". Сейчас многоядерные Costic(152 знак., 01.12.2021 17:03)
    - "Хочу всё знать" (с) SсiFi - что же именно в плюсах "непереносимо"? - POV(01.12.2021 17:55)
      - я имел ввиду зависимость от процессоров (микроконтроллеров), ОС, и типа программы, например, драйверы для Windows не дружат с исключениями С++ и fstream им нужен "свой"... - Costic(01.12.2021 19:42)
        
        А какая связь между языком и попыткой применить его и прилепленные к нему библы на голом железе и на оси? - нож он везде нож, но резать колбасу и кирпич он будет сильно по-разному. - POV(01.12.2021 19:50)
  - Если мы идем по пути "насрать на абстрактную машину, я пишу для конкретного MCU", то это путь в ад. Новый MCU, и, в особенности, компилятор для него, могут многие тонкие моменты реализовывать по своему, не нарушая стандарта. И перенос старого кода в "новую, улучшенную реальность" приведет к тому, что Арианы будут падать с промышленной регулярностью. - Evgeny_CD(01.12.2021 16:37)
    - дык проблема ж в том, что новый стандарт вместо того, чтобы зафиксировать устоявшееся (хоть и не совсем правильное) поведение описывает его заново так, что старые программы начинают ломаться. - Mahagam(01.12.2021 21:44)
      - Это очень непростая дилемма. В общем и целом, полной переносимости исходников C90 - > C11 нет. Ну если совсем дотошно. Как я понял, ломающий практику вариант позволяет несколько ускорить код. И если писать новый код сразу по новому стандарту, то он будет быстрее. Т.е. переписываем старые исходники с матюками и болью, и оно будет хорошо. Evgeny_CD(312 знак., 01.12.2021 22:10)
        
        ну давай, ускорь проверку переполнения знаковых чисел. которое теперь UB. когда аппаратную особенность подменяют программным костылём - быстрее точно не будет. - Mahagam(01.12.2021 22:42)
        
        Просто некоторые придурки восприняли UB как "компилятор будет творить непонятную, но очень быструю фигню" - LightElf(01.12.2021 22:34)

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