php中推荐用数组解构[$a, $b] = [$b, $a]交换变量,安全、高效、支持多类型;异或仅适用于非引用int,加减法有溢出和精度风险,引用场景必须用临时变量。

PHP中用异或运算交换两个整型变量
能实现,但只适用于int且非引用场景,本质是利用^的数学性质:a ^ b ^ b == a。PHP的^对整数按位运算,对字符串则转成ASCII逐字节处理,所以必须确保变量是纯整型。
- 必须先确认两个变量都是
int类型,用is_int()检查;10和"10"混用会触发字符串异或,结果不可控 - 不能用于
Float、NULL、对象或数组——PHP会静默转成0或空字符串,交换后数据丢失 - 实际写法:
$a = $a ^ $b; $b = $a ^ $b; $a = $a ^ $b;,三步缺一不可,顺序错一步就全乱
PHP 7.4+ 可用数组解构语法直接交换
这是目前最安全、可读性最好、兼容整型/字符串/浮点的方案,底层不依赖类型运算,而是语言级赋值机制。
- 写法简单:
[$a, $b] = [$b, $a];,一行搞定,无需判断类型 - 支持任意可赋值变量:包括
int、String、float,甚至Array(只要不是引用数组) - 注意:如果
$a或$b是引用(比如&$ref),解构后引用关系会被切断,变成新值拷贝 - 性能无明显劣势,PHP 7.4+ 已优化该语法,比临时变量还略快一点(少一次变量分配)
为什么不用算术加减法交换($a = $a + $b; $b = $a - $b; $a = $a - $b;)
表面看可行,但整数溢出会让结果翻车,尤其在32位系统或大数值时。
-
PHP_INT_MAX在32位系统上是2147483647,若$a = 2000000000、$b = 2000000000,第一步加法就溢出,变成负数,后续计算完全失真 - 即使64位系统,浮点数参与运算也会触发隐式转换,
1e18 + 1 === 1e18这种精度丢失会让交换失效 - 没有类型保护:传入字符串如
"123"会转成123再算,但"abc"转成0,原始值丢了
引用变量交换必须用临时变量
如果变量本身是引用(比如函数参数加了&,或用&$x = $y显式绑定),所有无中间变量技巧都会失效。
立即学习“PHP免费学习笔记(深入)”;
- 异或、解构、加减都会断开引用链,操作的是值拷贝,原引用指向不变
- 唯一可靠方式:
$tmp = $a; $a = $b; $b = $tmp;,三行不能省 - 判断是否为引用:用
xdebug_debug_zval()或debug_zval_dump()看is_ref字段,别靠===或gettype()
真正要注意的不是“能不能”,而是“在哪种上下文里不能”。类型、引用、溢出——这三个点漏掉任何一个,看似巧妙的交换就会悄悄破坏数据。写业务代码时,优先选数组解构;碰上引用或不确定类型,老老实实上临时变量。