【其它】关于运算符+与＞＞的优先级分析

size_t SeqListBinarySearch(SeqList* pList, DateType val)
{
	assert(pList != NULL);
	int low = 0, high = pList->_size - 1;
	while (low <= high)
	{
		int mid = low + (high - low)>>1;
		if (val < pList->base[mid])
			high = mid - 1;
		else if (val > pList->base[mid])
			low = mid + 1;
		else
		{
			return mid;
			break;
		}
	}
	return -1;
}

这是我在实现顺序表过程中，实现的一个二分查找的功能。但是在测试过程中，却发现二分查找进入了一个死循环。后来在VS2019平台上经过调试，发现死循环的源头是：

int mid = low + (high - low)>>1;

这一句代码，在监视窗口，我发现mid的值根据测试数据的不同在监视窗口的观察，都是只有前面一轮或者几轮的变化，而且此时low都是0，也就是说当要查找的值一直在最左边区间的时候，mid的值才会发生变化，这意味着low一直是0；然而low不是在下标为0的时候，mid的值就不会变化，从而进入了死循环。

经过网络知识的检索，终于发现这一切都是运算符优先级搞的鬼。在C/C++中 +(加号) 的优先级大于 >>(右移)，所以在我写mid 的公式中，会被编译器识别成int mid = (low + (high - low))>>1;，这也才解释了，为什么之前会出现，只有low下标为0时，mid的值才会发生正常变化。

所以，此时正确写法应该是：

int mid = low + ((high - low)>>1);