C语言中"interchangeability"（互换性）的定义及标准相关疑问

引用C11标准相关内容 #

C11 6.2.5 P28:
void指针应与字符类型指针具有相同的表示和对齐要求。⁴⁸⁾ 类似地，指向兼容类型的限定或非限定版本的指针应具有相同的表示和对齐要求。所有指向结构体类型的指针应彼此具有相同的表示和对齐要求。所有指向联合体类型的指针应彼此具有相同的表示和对齐要求。指向其他类型的指针则不需要具有相同的表示或对齐要求。

⁴⁸⁾ 相同的表示和对齐要求意味着在作为函数参数、函数返回值以及联合体成员时具备互换性。

核心疑问与解答 #

1. "interchangeability"的准确定义是什么？ #

这里的互换性指：当两种指针类型满足"相同表示+对齐要求"时，在指定场景下可直接替代使用，程序行为完全符合标准定义，不会触发未定义行为。具体表现为：

• 可将类型A的指针作为类型B的指针传入函数，反之亦然，编译器不会因类型不匹配产生错误行为；
• 函数返回类型A的指针时，可直接赋值给类型B的指针变量，反之亦然；
• 在联合体中，给某一指针类型成员赋值后，可通过另一符合条件的指针类型成员读取，结果确定。

示例代码：

#include <stdio.h>

// 接收char*参数，实际传入void*
void print_addr(char *p) {
    printf("%p\n", p);
}

int main() {
    int x = 10;
    void *vp = &x;
    // 直接将void*作为char*传递，符合互换性要求
    print_addr(vp);

    // 联合体场景：void*和char*成员互换使用
    union ptr_union {
        void *vp;
        char *cp;
    } u;
    u.vp = &x;
    printf("%p\n", u.cp); // 读取结果与u.vp一致，行为确定

    return 0;
}

2. 为何标准仅提及函数参数、函数返回值及union成员具备该互换性？ #

这三类场景是C语言中隐式类型转换/内存复用最易产生未定义行为的核心场景，标准必须明确保障其确定性：

• 函数参数/返回值：函数调用涉及参数栈布局、返回值存储方式，若不明确相同表示指针的互换性，跨类型传递指针会导致未知内存访问错误；
• union成员：联合体本质是共用内存空间，只有明确符合条件的指针类型可互相读写，其内存复用逻辑才具备确定性。

其他场景（如直接赋值）可通过显式类型转换实现，属于程序员主动发起的操作，无需标准额外强调；而上述三类场景多为隐式发生（如函数调用时的隐式转换），必须由标准明确合法性。

3. 标准为何未说明相同表示和对齐要求适用于struct成员的互换性？ #

结构体成员是独立分配内存的个体，每个成员有专属类型和内存位置，即便两个指针类型有相同的表示和对齐要求，作为结构体成员时也不存在"共用内存"或"隐式转换"的场景。

示例结构体：

struct ptr_struct {
    void *vp;
    char *cp;
};

这里的vp和cp是两个独立成员，各自存储指针值，不存在联合体式的内存复用，只需按普通变量操作即可（如显式转换赋值），无需标准额外说明互换性。

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