C语言中通过指针交换字符串为何生效？该实现是否属于最佳实践？

1. 这段代码“能正常运行”的本质原因 #

首先先纠正两个常见认知误区：

• 数组名不是指针，仅在绝大多数表达式场景下会隐式转换为指向首元素的指针右值，不可修改的是这个转换出来的临时值，而非数组本身的内存内容。
• 这段代码的“正常运行”完全是巧合，属于典型的未定义行为（Undefined Behavior, UB），只是刚好在你的测试用例、编译环境下跑出了看似正确的结果。

具体原理：
你定义的char strings[][30]是二维字符数组，内存是连续排布的，每30字节存储一个字符串，简化的内存布局如下：

strings[0]起始位置：0x54('T') 0x65('e') 0x73('s') 0x74('t') 0x31('1') 0x00('\0') + 后续24个填充字节
strings[1]起始位置：0x54('T') 0x65('e') 0x73('s') 0x74('t') 0x32('2') 0x00('\0') + 后续24个填充字节

你执行的(char**)&strings[0]是非法强制类型转换：&strings[0]本身的类型是char (*)[30]（指向长度为30的字符数组的指针），你强行把它转成了char**（指向字符指针的指针）。当swapString里执行*str1_ptr = *str2_ptr时，本质是把str1_ptr指向的内存区域的前sizeof(char*)个字节，替换为*str2_ptr的值。
如果你的运行环境是64位系统，sizeof(char*)=8，相当于你直接交换了strings[0]和strings[1]的前8个字节，刚好完全覆盖了"Test1"和"Test2"的所有内容（连结尾的\0都在8字节范围内），所以输出看起来是两个字符串交换了。只要换更长的测试字符串、或者换到32位系统（指针长度为4，刚好只交换前4个相同的"Test"字符，结果完全不变），代码立刻就会输出错误结果。

2. 这种方案完全不属于最佳实践 #

核心原因如下：

• 完全不可靠：未定义行为的结果完全依赖编译环境、硬件架构、测试用例，没有任何确定性。
• 功能极度受限：只能交换长度不超过指针大小的字符串，完全不具备通用性。
• 可维护性极差：非法的强制类型转换会严重干扰其他开发者的理解，隐藏逻辑漏洞。

正确的交换方案有两种：

• 如果是二维数组存储字符串，直接用strcpy交换两个数组的完整内容，或者用memcpy交换指定长度的内存。
• 如果不需要连续存储，直接定义指针数组char *strings[] = {"Test1", "Test2", "Test3"}，这时候可以直接交换指针的值，不需要任何强制类型转换，行为完全符合C标准。

3. 不适合使用该方案的场景 #

本质上所有场景都不应该使用这种有未定义行为的代码，典型的禁用场景包括：

• 所有生产环境的正式代码
• 需要跨架构（32位/64位、x86/ARM等）运行的代码
• 需要交换长度超过指针大小的字符串/数组的场景
• 有类型安全规范要求的项目
• 多人协作的项目，避免给其他开发者造成理解障碍和维护负担

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