PHP中赋值运算符两侧函数的执行顺序疑问

你的代码之所以在PHP8中能正确将索引数组转为关联数组，核心原因是PHP表达式的计算顺序、数组指针函数的执行逻辑，和你之前的两个误解都不冲突，下面具体拆解：

1. 先厘清两个关键误解 #

你之前的疑惑点在于：

• 误以为next()优先级高于current()，会先移动指针导致current()取到的是value而非key
• 误以为赋值操作是完全"右到左"执行，会先计算右边的next()再处理左边的键

但实际情况并非如此：

关于函数优先级 #

current()和next()都是函数调用，在PHP中函数调用的优先级是相同且最高的层级之一，但它们的执行顺序是由所在表达式的位置决定的——在单个赋值表达式中，左操作数的计算会先于右操作数。

关于赋值的"右到左" #

这里的"右到左"指的是赋值运算符的结合性，比如$a = $b = $c会被解析为$a = ($b = $c)，即从右往左依次完成赋值。但对于单个$output[$key] = $value这样的表达式，PHP会先确定$output[$key]这个左值的位置，再计算$value的值，最后完成赋值。

2. 你的代码执行流程拆解 #

我们一步步看循环的执行过程：
初始状态：$input的数组指针指向索引0（值为key1）

第一次循环 #

• 先执行左操作数：current($input)返回当前指针指向的key1，此时指针仍停在索引0
• 再执行右操作数：next($input)将指针移动到索引1，返回对应的值value1
• 完成赋值：$output['key1'] = 'value1'
• 执行while(next($input))：指针移动到索引2，返回key2，循环继续

第二次循环 #

• 左操作数：current($input)返回索引2的key2，指针停在2
• 右操作数：next($input)移动指针到3，返回value2
• 赋值：$output['key2'] = 'value2'
• 执行while(next($input))：指针移动到索引4（超出数组长度），返回false，循环结束

最终得到正确的关联数组。

3. 更稳健的替代写法 #

虽然你的代码当前能运行，但它依赖PHP的数组指针状态，一旦数组被其他操作修改了指针位置，就会出现异常。推荐使用不依赖指针的写法：

$input = ['key1', 'value1', 'key2', 'value2'];
// 方法1：分块后遍历
$chunks = array_chunk($input, 2);
$output = [];
foreach ($chunks as $chunk) {
    $output[$chunk[0]] = $chunk[1];
}

// 方法2：更简洁的一行写法
$output = array_column(array_chunk($input, 2), 1, 0);

这两种写法都不依赖数组指针，逻辑更清晰，也更不容易出现意外问题。

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