Quicksort中使用的Hoare分区代码（ref Cormen book）会遇到无限循环

I code Quicksort using Hoare partitioning from the Cormen Algorithms book. I can't spot any mistakes in my code and it looks just like the pseudocode in the book. I code Quicksort using Hoare partitioning from