C语言指针交换时为何用指针类型声明临时变量而非普通int

你测试时“运行无差异”只是环境巧合 #

技术资料中普遍给出的标准指针交换实现是严格类型匹配的版本：

void ptr_swap(int **p1, int **p2)
{
     int *temp = *p1;
     *p1 = *p2;
     *p2 = temp;      
}

你自行编写的将temp声明为普通int类型的版本，本地运行没出问题，唯一原因是你当前使用的编译环境里，int类型和int*指针类型的内存位宽刚好相等——比如32位编译环境下二者都是4字节，赋值时的隐式类型转换刚好完整保留了指针的地址值，没有出现数据截断，所以表面运行结果符合预期。

两种写法的本质区别 #

二者的核心差异是类型安全与行为确定性的本质区别，具体风险点如下：

• 跨环境必然存在兼容问题：C语言标准从未规定int类型的长度必须和指针长度一致。目前主流64位编译环境中，int通常为4字节，而指针长度为8字节，此时将int*类型的值赋值给int变量，会直接截断高4位的地址数据，存储的是完全错误的地址值，再赋值回指针后一旦访问就会触发段错误，程序直接崩溃。
• 代码行为属于未定义范畴：将指针值存入普通整型变量、再把整型值赋值回指针的操作，属于C标准明确标注的未定义行为，不受语言规范保障，不同编译器、不同编译优化等级下都可能出现意料之外的运行结果。
• 代码语义存在歧义：用int类型存储指针值，后续维护代码的人无法第一时间判断这里暂存的是指针还是普通整数值，提升了维护成本。

只要开启基础编译警告（比如GCC/Clang添加-Wall -Wextra编译参数），int temp版本的代码会直接抛出指针与整数隐式转换的警告，这本身就是编译器在提示类型不匹配的风险。

临时变量声明为int*类型的必要性 #

用int*类型声明临时变量是唯一符合C语言规范、无兼容风险的正确写法：

• 类型完全匹配：需要暂存的目标值本身就是int*类型的指针，同类型赋值不会出现任何数据截断、隐式转换问题，在任何符合C标准的编译环境下行为都是确定的，不存在未定义风险。
• 语义清晰无歧义：读代码的人可以立刻识别出这一步是在暂存指针值，函数的指针交换逻辑一目了然。
• 符合编译检查要求：即使开启最高等级的编译警告，也不会出现类型相关的报错或提示，从编译阶段就堵死了跨平台运行的崩溃隐患。

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