第3个while循环的两个条件怎么能同时成立

第46行的第3个while循环中的两个条件不应该互相矛盾吗？怎么能够同时成立？

不矛盾
pi和pj都是指针
pi<pj表示pi指向pj之前的元素
*pi == *pj表示这两个指针指向的元素值相等

两个指针指向同一数组的元素是可以进行比较。指向前面的元素的指针变量“小于”指向后面的元素的指针变量。*pi == *pj则表示这两个指针所指向数组中的元素值是否相等