关于快速排序（Quicksort）算法的若干细节澄清请求

最近在啃基础数组排序的知识点，唯独快速排序的while循环实现这块，我怎么都摸不透😩。

我已经搞懂了它的递归核心逻辑：选一个基准元素（pivot），把数组分成左右两个子数组——左边元素都比pivot小，右边都比pivot大，之后反复对这些子数组执行同样的分区操作，直到每个子数组只剩单个元素就结束。

可就是分区过程里的while循环，我始终没法完全理解它的具体执行流程。之前看到过一种具体的实现方式，盯着代码看了好久，还是理不清里面的循环判断和元素交换逻辑到底是怎么配合的。

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