reinterpret_cast<sockaddr*>(&sin) 和 strict-aliasing rules

标准 n4659 (§6.10) 规定：

那么对于类似下面 reinterpret_cast<sockaddr*>(&sin) 这种用法：

将指针强制转换为不符合上述标准规定的类型并传递给外部函数，是否属于未定义行为？还是说实际上取决于 bind 的实现？
如果属于 UB 的话，那么实际上由 bind 的实现保证正确性？毕竟这种操作很常见。。。

问题描述的不是很清晰，换一种问法吧：
根据网上某些例子来看，如果 bind 通过这个 sockaddr 类型的指针修改了 sin 的值，那么编译器是否可以假定 sin 的值其实没被修改，从而达到某种优化的目的呢？

不感兴趣

开通SVIP免广告

该楼层疑似违规已被系统折叠查看此楼

我倒是一直好奇如果type punning之后只去读的话到底会不会造成什么实际问题。_(:з)∠)_
为啥就不能整个reinterpret_copy……

不过ub怎么可以取决于实现，又不是impl-def

没有UB，虽然designated Initializers就够不标准的了。
要是能跨过程干掉，一坨wchar_t的alias（注意在C中是某个整数类型的别名）之类的就够疯掉。

还看不懂。

指针随便转不会有 UB 。 UB 源于解引用（经由不适合类型的左值访问）。

不感兴趣

开通SVIP免广告

所以说你是怎么惹上民科的

下载贴吧APP
看高清直播、视频！

分享到: