Здравствуйте, so5team, Вы писали:


R>>В данном сценарии то, что происходит внутри bar — это откровенный говнокод.

S>В связи с тем, что можно прочитать по ссылке от ув.σ (https://timsong-cpp.github.io/cppwp/n4868/ptr.launder#example-1):

Говнокод в том смысле, что внутри функции bar действительно может порождаться UB. Мы же не видим места, откуда нас вызвали и ничего не знаем о константности объекта, ссылку на который нам передали. В одном случае UB может не быть, а в другом может быть. Приличные функции таких фортелей себе не позволяют.