按位运算符会有未定义的行为吗？

Question

位运算符(~、&、|和^)对其提升的操作数按位表示。这样的操作会导致未定义的行为吗？

例如，在C标准中，~操作符是这样定义的：

6.5.3.3一元算术运算符 ~运算符的结果是其(提升)操作数的按位补充(也就是说，结果中的每个位都是当且仅当转换后的操作数中的对应位未设置时设置的)。整数提升在操作数上执行，结果具有提升类型。如果提升类型是无符号类型，则表达式~E等效于该类型中可表示的最大值减去E。

在所有架构上，~0生成一个位模式，符号位设置为1，所有值位设置为1。在一个人的补体结构上，这个表示对应于负零。这个位模式可以是陷阱表示吗？

对于更常见的体系结构，是否还有涉及简单按位运算符的未定义行为的其他示例？

Answer 1

对于一个人的补语系统，明确列出了那些在有符号整数(C11 6.2.6.2p4)中不支持负零的人设置陷阱值的可能性：

如果实现不支持负零，则将不定义带有操作数的&、\、^、~、<<和>>运算符的行为。

再说一遍，补语系统并不是很普遍，例如GCC不支持任何一种！

C11确实意味着类型 (C11 6.5p4)只允许实现定义的和未定义的方面。