简述python交换机制

问题描述

今天在刷《剑指offer》的时候，第一题中有用到一个python的交换机制，大致代码如下：

nums[i], nums[nums[i]],= nums[nums[i]], nums[i]

从代码中不难看出，我的想法是将下标为i的元素的值与该元素值作为下标的元素的值进行交换，但上述代码无法事先上述功能。首先上例子：

nums = list(range(5))
print(nums)
nums[0], nums[1] = nums[1], nums[0]
print(nums)

nums[0], nums[nums[0]] = nums[nums[0]], nums[0]
print(nums)

输出结果：

[0, 1, 2, 3, 4]
[1, 0, 2, 3, 4]
[1, 0, 2, 3, 4]

可以看出上述交换并没有按照预想完成，那么原因是什么呢？

问题分析

为了解决这个问题，我们需要首先简单了解一下python的交换机制是个什么样的流程。

Python在赋值操作的时候，因为是右值具有更高的计算优先级，所以需要从右向左解析。
对于x, y = y, x，它的执行顺序如下：
先计算右值y , x(这里是简单的原值，但可能会有表达式或者函数调用的计算过程)， 在内存中创建元组(tuple)，存储y, x分别对应的值；
计算左边的标识符，元组被分别分配给左值，通过解包(unpacking)，元组中第一个标示符对应的值(y)，分配给左边第一个标示符(x)，元组中第二个标示符对应的值(x)，分配给左边第二个标示符(y)，完成了x和y的值交换。
摘自博客：https://www.jianshu.com/p/014599ab2c10

那么基于以上流程，我们可以简单分析一下该语句nums[0], nums[nums[0]] = nums[nums[0]], nums[0]的过程：

1. 首先计算右边的两个值：nums[nums[0]] = 0, nums[0] = 1，所以原语句等价于：nums[0], nums[nums[0]] = 0, 1
2. 通过解包赋值：解包过程是一个从左到右的过程，因此，首先执行语句：nums[0] = 0，接着，此时由于nums[0]已经被赋值为了0，此时，接着执行语句：nums[nums[0]] = 1等价于nums[0] = 1，所以此时nums[0]的值又再次被修改了回来，而从始至终nums[1]的值都没有被修改过，因此，上述代码无法实现预期功能。

解决方法

那么该如何实现上述功能呢？
从之前的分析中，我们不难得出，之所以无法实现上述功能的原因在于解包的过程中，索引值被先行修改了，那么如果我们交换一下解包的先后顺序呢？具体代码如下：

nums = list(range(5))
print(nums)
nums[0], nums[1] = nums[1], nums[0]
print(nums)

nums[0], nums[nums[0]] = nums[nums[0]], nums[0]
print(nums)

nums[nums[0]], nums[0] = nums[0], nums[nums[0]]  # 修改解包顺序
print(nums)

输出结果：

[0, 1, 2, 3, 4]
[1, 0, 2, 3, 4]
[1, 0, 2, 3, 4]
[0, 1, 2, 3, 4]

可以看出，我们实现了预期功能，也证明之前的推测是正确的，至此，较为妥善地解决了该问题。

参考文献：

[1] https://www.jianshu.com/p/014599ab2c10