考虑以下代码:
int i = 1;
char c[sizeof (i)];
memcpy(c, &i, sizeof (i));
cout << static_cast<int>(c[0]);
请忽略这是否是好代码。我知道输出取决于系统的字节顺序。这只是一个学术问题。
这段代码是:
- 未定义的行为
- 实现定义的行为
- 明确的行为
- 其他的东西
该语言并没有说这样做是立即未定义的行为。它只是说,代表c[0]
might最终成为无效(陷阱)表示,在这种情况下,行为确实是未定义的。但在某些情况下,当c[0]
不是陷阱表示,行为是实现定义的。
如果你使用unsigned char
数组,陷阱表示变得不可能,行为变得纯粹由实现定义。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)