https://opennet.ru/openforum/vsluhforumID3/111986.html Доступен (https://gcc.gnu.org/ml/gcc-announce/2017/msg00002.html) корректирующий релиз набора компиляторов GCC 7.2 (https://gcc.gnu.org/gcc-7/), в котором проведена работа по исправлению ошибок, регрессивных изменений и проблем с совместимостью. По сравнению с версией GCC 7.1 (https://www.opennet.ru/opennews/art.shtml?num=46487) в GCC 7.2 отмечено 95 исправлений (https://gcc.gnu.org/gcc-7/changes.html), в основном связанных с устранением регрессивных изменений. Напомним, что начиная с ветки GCC 5.x в проекте внедрена новая схема нумерации выпусков: версия x.0 используется в процессе разработки, корректирующие выпуски формируются с номерами x.2.0, x.3.0 и т.д. Новые возможности развиваются в экспериментальной ветке GCC 8.0, на базе которой будет сформирован следующий значительный релиз GCC 8.1. <br><br><br>URL: https://gcc.gnu.org/ml/gcc-announce/2017/msg00002.html<br>Новость: http://www.opennet.ru/opennews/art.shtml?num=47021<br> https://opennet.ru/openforum/vsluhforumID3/111986.html#55 Wed, 16 Aug 2017 15:17:56 GMT &gt;&gt; компилятор обязан рассматривать его как <br>&gt;&gt; runtime код).<br>&gt; Я извиняюсь, допустил небольшой косяк в коде, описав константу внутри функции (сделав <br>&gt; её инициализируемой в рантайме).<br>&gt; Вот исправленный пример, где она не инициализирована в рантайме: <br>&gt; https://godbolt.org/g/zxEwSn <br><br>Это не меняет ровным счетом ничего.<br><br> template&lt; int N &gt;<br> struct foo<br> {<br> static const int value = N;<br> };<br><br> enum { constant = 10 };<br><br> int main()<br> {<br> const int n = constant;<br> return foo&lt; n &gt;::value;<br> }<br><br>Это собирается и возвращает 10. Это демонстрирует, что n - это constant expression.<br><br>&gt; Компилятор clang превращает её в 0x04030201 , т.е. воспринимает как const-expr, а <br>&gt; gcc кастит в рантайме.<br><br>Нет, вы путаете constant expression со способностью компилятора к оптимизациям.<br> https://opennet.ru/openforum/vsluhforumID3/111986.html#54 Wed, 16 Aug 2017 15:11:56 GMT Из стандарта. [class.union], [basic.life].<br> https://opennet.ru/openforum/vsluhforumID3/111986.html#53 Wed, 16 Aug 2017 15:05:32 GMT &gt; Вы почитайте теперь, что, с точки зрения стандарта, есть const int<br><br>Да, всё именно так, спасибо.<br> https://opennet.ru/openforum/vsluhforumID3/111986.html#52 Wed, 16 Aug 2017 09:57:41 GMT А в чем проблема ?? Если N&lt;0, он и не разименовывается.<br> https://opennet.ru/openforum/vsluhforumID3/111986.html#51 Wed, 16 Aug 2017 08:56:11 GMT &gt; компилятор обязан рассматривать его как <br>&gt; runtime код).<br><br>Я извиняюсь, допустил небольшой косяк в коде, описав константу внутри функции (сделав её инициализируемой в рантайме).<br>Вот исправленный пример, где она не инициализирована в рантайме:<br><br>https://godbolt.org/g/zxEwSn<br><br>Компилятор clang превращает её в 0x04030201 , т.е. воспринимает как const-expr, а gcc кастит в рантайме.<br><br><br>П.С. Создал баг на gcc. Закрыли с комментом "it has to be a constant literal".<br> https://opennet.ru/openforum/vsluhforumID3/111986.html#50 Wed, 16 Aug 2017 07:49:27 GMT А одобренный D где?<br> https://opennet.ru/openforum/vsluhforumID3/111986.html#49 Tue, 15 Aug 2017 19:26:10 GMT &gt; запись в один член union и чтение из другого - undefined behavior<br><br>откуда такие глубокие познания в С++ ?<br> https://opennet.ru/openforum/vsluhforumID3/111986.html#48 Tue, 15 Aug 2017 17:13:53 GMT В общем, на сей случай есть набор ключей,который придется теперь писать везде <br>-fno-strict-aliasing<br>-fno-strict-overflow<br>-fwrapv<br>-fno-delete-null-pointer-checks<br> https://opennet.ru/openforum/vsluhforumID3/111986.html#47 Tue, 15 Aug 2017 17:06:38 GMT &gt; Впрочем, с другими компиляторами так тесно не общался, и могу предположить<br><br>Есть такой линкер под оффтопик UniLink (ftp://ftp.styx.cabel.net/pub/UniLink/). Неплохой линковщик, который много чего умеет (линковать объектники от разных компиляторов, например, в том числе и gcc). Почитать его довольно большой history (там ещё и от ранних релизов архив лежит), в котором то и дело "Добавлено &lt;что-нибудь&gt; для очередной ошибки &lt;компилятора&gt;", немного удивляешься, как оно вообще в принципе работает и сколько в этом всём костылей.<br>UniLink привожу потому, что он не привязан к "особенностям" конкретного компилятора, и поэтому автору приходится много работать, чтобы обойти все эти особенности.<br>