排序题之一个等号引发的越界错误

#include<iostream>
#include<math.h>
using namespace std;
//const int N=101;
void quick_sort(int q[],int l,int r)
{
	if(l>=r)return;
	int i=l-1,j=r+1,x=q[l+r>>1];
	while(i<j)
	{
		do i++;while(q[i]<=x);
		do j--;while(q[j]>x);
		if(i<j)swap(q[i],q[j]);
	}
	quick_sort(q,l,j);quick_sort(q,j+1,r);
}
int main()
{
	int n;
	cin>>n;
	int a[n];
	for(int i=0;i<n;i++) cin>>a[i];
	quick_sort(a,0,n-1);
	for(int i=0;i<n;i++) printf("%d\n",a[i]);
	return 0;
}

以上这个代码运行不出结果，很疑惑，后来发现是越界了。
do { i++; } while (q[i] <= x); 可能会导致越界问题的原因是，当数组中的所有元素都小于或等于 x 时，i 会一直递增，直到超过数组的上限。这会导致访问数组边界之外的内存，进而引发未定义行为。
学到了，当我改成以下代码就好了，hh
 

#include<iostream>
#include<math.h>
using namespace std;
//const int N=101;
void quick_sort(int q[],int l,int r)
{
	if(l>=r)return;
	int i=l-1,j=r+1,x=q[l+r>>1];
	while(i<j)
	{
		do i++;while(q[i]<x);
		do j--;while(q[j]>x);
		if(i<j)swap(q[i],q[j]);
	}
	quick_sort(q,l,j);quick_sort(q,j+1,r);
}
int main()
{
	int n;
	cin>>n;
	int a[n];
	for(int i=0;i<n;i++) cin>>a[i];
	quick_sort(a,0,n-1);
	for(int i=0;i<n;i++) printf("%d ",a[i]);
	return 0;
}

运行结果：

 

一个等号引发的错误，记录一下