C标准结构与联合体说明符中‘suitably converted’的定义及实现规范问询

本次讨论的依据为2020年2月5日发布的C17至C2x工作草案ISO/IEC 9899:202x（E）（草案编号N2479），其中6.7.2.1节“结构与联合体说明符”的核心条款内容为：

• 第17款（结构体规则）：结构体对象内部，非位域成员以及位域所在的存储单元的地址按声明顺序递增。指向结构体对象的指针经过suitably converted转换后，可指向其首个成员（若该成员为位域，则指向其所在的存储单元），反之亦然。结构体对象内部可存在未命名填充，但起始位置不得设置填充。
• 第18款（联合体规则）：联合体的大小需足以容纳其最大的成员。任意时刻，联合体对象中最多仅能存储一个成员的值。指向联合体对象的指针经过suitably converted转换后，可指向其每一个成员（若某成员为位域，则指向其所在的存储单元），反之亦然。

问题1：suitably converted的精确定义是什么？ #

这个术语并不是没有边界的模糊表述，对应的明确规则分布在C标准的指针通用转换章节中：

• 从规则本质看，这里的“适当转换”特指将指向结构体/联合体类型的指针，通过void*做中间过渡、或直接做对应目标成员类型的显式强制类型转换，转换过程不修改指针的地址值，且转换动作符合通用指针转换的合法要求。
• 之所以选用这个表述，是因为C标准已经通过刚性条款强制保证：结构体首成员的地址必须和结构体对象本身的地址完全相等，联合体所有成员的地址必须和联合体对象本身的地址完全相等。因此这个转换本身不需要对指针值做任何偏移调整，只要类型转换不违反对齐要求、地址可正确表示的规则，就是合规的“适当转换”——反过来，如果转换过程需要偏移指针值才能指向目标成员，就根本不属于这里描述的合法转换范围。

问题2：如果标准未对suitably converted给出逐字逐句的封闭定义，C语言实现是否应当对自身的相关理解做文档化说明？ #

可以从两个层面明确这个问题的边界：

• 按照C标准的合规性要求，所有属于实现定义范围的行为、未被标准刚性约束的语义边界，都必须由实现以正式文档的形式明确说明，没有例外。
• 但针对suitably converted涉及的指针等价关系，C标准已经做了无弹性的强制约束，不存在实现可以自由解释的空间：任何编译器都不能把结构体首成员安排在结构体起始地址之后的偏移位置，也不能给联合体成员的地址加上任意偏移，这种行为不管实现怎么解释，都是不符合C标准的。
• 你提到的微软对C++标准中single item的理解偏差案例，属于预处理器语义范畴中标准未做刚性约束的开放部分，这类差异按照合规要求本就应该公开文档化；如果实现对这类开放语义做出独家解释却不公开说明，本质上是违反标准合规要求的行为，但这和suitably converted涉及的刚性强制规则不是同一个性质的问题。

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