C11标准中object representation理解疑问：不同值为何对象表示相同？

首先明确你的核心疑问：在补码系统中，char a = -128和unsigned char b = 128的对象表示确实相同，但这并不违反C11标准的规定，你的理解偏差在于对标准条款中“值”的上下文理解。

1. 对象表示的本质 #

根据C11 6.2.6.1p4的定义：

任何非位域对象类型的对象中存储的值由n × CHAR_BIT位组成，其中n是该类型对象的大小（以字节为单位）。该值可复制到unsigned char [n]类型的对象中（例如通过memcpy）；得到的字节集合称为该值的对象表示。

对象表示是存储的字节/位的原始集合，它本身不携带类型信息——同一字节序列，用不同类型去解释，会得到不同的“值”。在你的例子中：

• 8位补码的char类型下，0x80（二进制10000000）解释为-128；
• 8位纯二进制的unsigned char类型下，0x80解释为128。
  两者的存储字节完全一致，所以对象表示相同。

2. 标准条款的正确解读 #

你引用的C11 6.2.6.1p4条款：

除NaN外，具有相同对象表示的两个值比较相等，但比较相等的值可能具有不同的对象表示。

这里的关键是**“两个值”必须属于同一类型**。标准的这句话是针对同类型对象的约束：

• 同一类型下，如果两个对象的对象表示相同，那么它们的值比较一定相等（NaN除外）；
• 反过来，同一类型中相等的值，可能存在不同的对象表示（比如某些浮点实现中，+0和-0的对象表示不同，但比较相等）。

而你的例子中，a是char类型，b是unsigned char类型，属于不同类型。当你比较a == b时，会触发C的隐式类型转换规则：

• char类型的a会被提升为int，值为-128；
• unsigned char类型的b会被提升为int，值为128；
  此时比较的是转换后的int值，自然不相等，但这和“同一类型下相同对象表示的值相等”的标准条款并不矛盾。

3. 你的理解偏差总结 #

你混淆了“对象表示”和“值的类型解释”：

• 对象表示是无类型的原始存储字节；
• “值”是对象表示结合其类型得到的语义结果；
  标准中关于“相同对象表示的值比较相等”的约束，仅适用于同一类型的对象。

内容的提问来源于stack exchange，提问作者user24723440