ПК
в тех частных когда можно что-то гарантировать
реализация может определять UB, да. Но тогда это будет не С++, а какой нибудь Visual C++. Другой язык, другие правила
Size: a a a
2020 March 13
VO
я не про реализацию.
AB
в тех частных когда можно что-то гарантировать
Гцц с какими-то флагами гарантирует, что можно паннить через юнион. Нуллптр оптимизируют все
ПК
я не про реализацию.
А другого способа доопределить СТАНДАРТ нету
CD
реализация может определять UB, да. Но тогда это будет не С++, а какой нибудь Visual C++. Другой язык, другие правила
ага, можно алиасить все подряд
CD
консты вот скручивать уже нельзя
VO
приведенный выше кусок gcc не оптимизировал, если я верно голбот понял
VO
А другого способа доопределить СТАНДАРТ нету
я ничего не говорю про доопределение стандарта
AB
Его право
ПК
я ничего не говорю про доопределение стандарта
Именно это и говоришь когда пишешь UB может быть defined
CD
только один вопрос - почему эта херня не в супе?)
VO
Artöm Bakri Al-Sarmini
Его право
а ты сказал -- все
VO
Именно это и говоришь когда пишешь UB может быть defined
нет
AB
а ты сказал -- все
Не во всех случаях, но все
ПК
ага, можно алиасить все подряд
Только вроде этого в доке нет, так что хз можно ли это считать defined, даже при привязке к винде и msvc
VO
я говорю что по стандарту UB означает что существуют ситуации когда поведение не определено. это никак не противоречит другому утверждению -- "существуют ситуации когда данное поведение определено"
CD
Только вроде этого в доке нет, так что хз можно ли это считать defined, даже при привязке к винде и msvc
Думаю будет /Zc:strictAliasing
ПК
я говорю что по стандарту UB означает что существуют ситуации когда поведение не определено. это никак не противоречит другому утверждению -- "существуют ситуации когда данное поведение определено"
Это и есть противоречие
VO
CD
я говорю что по стандарту UB означает что существуют ситуации когда поведение не определено. это никак не противоречит другому утверждению -- "существуют ситуации когда данное поведение определено"
По стандарту UB означает, что компилятор делает что хочет и никому ничего не должен