https://www.opennet.me/openforum/vsluhforumID3/40905.html Сергей Каличев представил перевод (http://lex.iki.rssi.ru/~serj/docs/lemmings_ru/lemmings_ru.html) статьи с описанием типичных проблем, возникающих при написании переносимого кода, некоторые из проблемы очевидны, но ошибки, с ними связанные, продолжают регулярно появляться в реальном коде.<br><br>URL: http://lex.iki.rssi.ru/~serj/docs/<br>Новость: http://www.opennet.ru/opennews/art.shtml?num=14963<br> https://www.opennet.me/openforum/vsluhforumID3/40905.html#16 Thu, 12 Feb 2009 11:34:57 GMT &gt;Как можно перепутать обращение к невыравненным данным (по их размеру) с проблеммой strict алиасинга в (я бы посоветовал gena2x попробовать свой тест на ветке 2.x.x - 3.x.x например )?<br><br>Пример приводился для x86/linux/gcc. sizeof(int)==sizeof(long) - о каком выравнивании (по размеру) речь?<br><br>Да, надо было дописать что -fstrict-aliasing только в четвертой ветке по умолчанию включается в -O2.<br><br>&gt;Wstrict-aliasing=2 тогда все проблемные места будет сразу видно:<br><br>Не все, к сожалению, посему придётся разобраться в проблеме.<br><br>&gt; То дает инструкцию компилятору считать что все указатели разных типов указывают на непересекающиеся области памяти.<br><br>Почти все, char* например - исключение.<br> https://www.opennet.me/openforum/vsluhforumID3/40905.html#15 Fri, 28 Mar 2008 09:56:49 GMT Статья на слабую тройку. Перечислено только около 10% типичных ошибок программистов. Автор похоже коммитит код в NetBSD и наивно считает ее самой портабельной, да и еще незаслуженно обижает разработчиков под Linux, которая BTW поддерживает в стабильной ветке на 6 CPU архитектур больше чем NETBSD и как минимум в два раза больше платформ и MMU BSP.<br>----------------------------------------------------<br>Недопонимание переводчика:<br><br>О приведении типов указателей<br>В главе о приведении типов указателей попалась одна непонятная фраза: You are allowed to cast to the ``right'' type of an object when assigning via a pointer, so the compiler assumes all variables of the casted-to type might have changed. Вот комментарии автора по этому поводу:<br><br>&lt;&lt;Скажем, у вас есть поток байтов, который включает в себя некоторый участок, и вы хотите обратиться к этому участку, как к структуре. Поток байтов не имеет выравнивания. Для указателя на байт используется char* или void*. Теперь, если привести тип указателя к типу struct* ( https://www.opennet.me/openforum/vsluhforumID3/40905.html#14 Thu, 27 Mar 2008 08:10:30 GMT Мда, "К сожалению, NetBSD заботится о двоичной совместимости".<br>Как раз к счастью NetBSD заботиться о бинарной совместимости, и очень жаль тех, кто о ней не заботится.<br> https://www.opennet.me/openforum/vsluhforumID3/40905.html#13 Thu, 27 Mar 2008 07:34:52 GMT <br>&gt;ЧУВАААК, почитай доки к gcc, в частности non-bugs.txt или как там. ЗАПРЕЩЕНО <br>&gt;такое делать. <br>&gt;Чтобы это заработало у gcc есть ключик, но они говорят что в <br>&gt;стандартах на C такое поведение не описано, поэтому сосямба. Ну и <br>&gt;ничего что этот код совершенно непереносим из-за endianess? <br><br>ЧУВАК это просто ПРИМЕР чтобы смысл в чем ОШИБКА показать..<br> https://www.opennet.me/openforum/vsluhforumID3/40905.html#12 Thu, 27 Mar 2008 07:31:36 GMT для тех кто все еще ТРАМВАЕ - РЕСУРСЫ БИНАРНЫЕ<br> https://www.opennet.me/openforum/vsluhforumID3/40905.html#11 Thu, 27 Mar 2008 07:30:38 GMT ну чи то разорались? умные все что ли?<br>пытаюсь перенести игрушку одну с DOS с РЕСУРСАМИ это вам вообще о чем нибудь говорит?<br>а<br> https://www.opennet.me/openforum/vsluhforumID3/40905.html#10 Wed, 26 Mar 2008 20:26:32 GMT Сергей Каличев - статья полезная, перевод нужный... <br><br>Давеча, пролетало, https://www.securecoding.cert.org/confluence/display/seccode/CERT+C+Secure+Coding+Standard<br><br>Уже можете переводить :)<br><br> https://www.opennet.me/openforum/vsluhforumID3/40905.html#9 Wed, 26 Mar 2008 17:02:27 GMT &gt; и вот такая конструкция:<br>&gt; uint8_t a[] = { 41, 0, 0, 0, 1, 0, 0, 2, 0, 0, 0, 3 };<br>&gt; uint32_t u32 = *((uint32_t *) &a[1]);<br>&gt; дает Bus error.<br><br>И это ты типа удивлен? `Вон из профессии!' (C)<br> https://www.opennet.me/openforum/vsluhforumID3/40905.html#8 Wed, 26 Mar 2008 15:06:40 GMT и вот такая конструкция:<br>uint8_t a[] = { 41, 0, 0, 0, 1, 0, 0, 2, 0, 0, 0, 3 };<br><br>uint32_t u32 = *((uint32_t *) &a[1]);<br><br>дает Bus error.<br><br><br>ЧУВАААК, почитай доки к gcc, в частности non-bugs.txt или как там. ЗАПРЕЩЕНО такое делать.<br>Чтобы это заработало у gcc есть ключик, но они говорят что в стандартах на C такое поведение не описано, поэтому сосямба. Ну и ничего что этот код совершенно непереносим из-за endianess?<br>