关于C11标准中“pointer to an object”与“pointer to an object type”的术语疑问

术语含义的正确性验证 #

你的理解基本准确，C11标准中这两个术语的核心区别如下：

• pointer to an object type：指的是指针的类型，属于C标准定义的“指针类型”分支之一（另一分支是指向函数类型的指针）。例如int*、double*都是指向对象类型的指针（因为int、double属于对象类型），而void*虽为通用指针，void并非对象类型，但标准允许它参与对象指针的转换操作。
• pointer to an object：指的是指针的值，即指向实际存在（或合法可访问）对象的有效地址值。未初始化或指向无效区域的指针值不属于此类，即便它的类型是指向对象类型的指针。

6.3.2.3p7条款中“转换”的对象 #

先引用C11 6.3.2.3p7原文：

A pointer to an object type may be converted to a pointer to a different object type. If the resulting pointer is not correctly aligned for the referenced type, the behavior is undefined. Otherwise, when converted back again, the result shall compare equal to the original pointer. When a pointer to an object type is converted to a pointer to a character type, the result points to the lowest addressed byte of the object. Successive increments of the result, up to the size of the object, yield pointers to the remaining bytes of the object.

这里的“转换”操作作用于指针值，但要求被转换的指针必须具备“pointer to an object type”的类型——只有这类类型的指针值才能进行该条款规定的转换。简言之：类型是转换的前提，转换的对象是指针的值。

数组int* x[1];的存储内容 #

数组int* x[1];的元素类型是int*，这属于pointer to an object type（因为int是对象类型）。而数组实际存储的是pointer to an object的实例：当你给数组元素赋值（比如x[0] = &some_int;）时，这个值就是指向具体int对象的有效指针；如果元素未初始化，它是int*类型的无效值，不能被称为有效的“pointer to an object”。

编译器未生成诊断信息的说明 #

C11标准5.1.1.3p1明确要求：若代码存在语法规则或约束违规，符合标准的实现必须生成至少一条诊断信息。实际中ICC、MSVC未生成诊断的情况，可能有以下原因：

• 代码中的操作不属于约束违规，而是未定义行为或实现定义行为，这类情况编译器无需强制诊断。
• 编译器将该操作视为非标准扩展，默认启用扩展模式时会跳过诊断。
• 编译器的静态检测未覆盖到该场景，属于实现层面的疏漏。

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