Сообщение Re[25]: Когда это наконец станет defined behavior? от 05.05.2023 9:34
Изменено 05.05.2023 9:38 rg45
Re[25]: Когда это наконец станет defined behavior?
Здравствуйте, so5team, Вы писали:
R>>В данном сценарии то, что происходит внутри bar — это откровенный говнокод.
S>В связи с тем, что можно прочитать по ссылке от ув.σ (https://timsong-cpp.github.io/cppwp/n4868/ptr.launder#example-1):
Говнокод в том смысле, что внутри функции bar действительно может порождаться UB. Мы же не видим места, откуда нас вызвали и ничего не знаем о константности объекта, ссылку на который нам передали. В одном случае UB может не быть, а в другом может быть.
R>>В данном сценарии то, что происходит внутри bar — это откровенный говнокод.
S>В связи с тем, что можно прочитать по ссылке от ув.σ (https://timsong-cpp.github.io/cppwp/n4868/ptr.launder#example-1):
Говнокод в том смысле, что внутри функции bar действительно может порождаться UB. Мы же не видим места, откуда нас вызвали и ничего не знаем о константности объекта, ссылку на который нам передали. В одном случае UB может не быть, а в другом может быть.
Re[25]: Когда это наконец станет defined behavior?
Здравствуйте, so5team, Вы писали:
R>>В данном сценарии то, что происходит внутри bar — это откровенный говнокод.
S>В связи с тем, что можно прочитать по ссылке от ув.σ (https://timsong-cpp.github.io/cppwp/n4868/ptr.launder#example-1):
Говнокод в том смысле, что внутри функции bar действительно может порождаться UB. Мы же не видим места, откуда нас вызвали и ничего не знаем о константности объекта, ссылку на который нам передали. В одном случае UB может не быть, а в другом может быть. Приличные функции таких фортелей себе не позволяют.
R>>В данном сценарии то, что происходит внутри bar — это откровенный говнокод.
S>В связи с тем, что можно прочитать по ссылке от ув.σ (https://timsong-cpp.github.io/cppwp/n4868/ptr.launder#example-1):
Говнокод в том смысле, что внутри функции bar действительно может порождаться UB. Мы же не видим места, откуда нас вызвали и ничего не знаем о константности объекта, ссылку на который нам передали. В одном случае UB может не быть, а в другом может быть. Приличные функции таких фортелей себе не позволяют.