bool check(int x) {/* ... */} // 检查x是否满足某种性质
int bsearch_1(int l, int r)
{
	while (l < r)
	{
		int mid = l + r >> 1;
		//cout << "bsearch_1:" << l << ',' << r << '\t' << "mid=" << mid << endl;
		if (a[mid]>=x)//if(check(mid)) 这里应该写check函数判断 
			r = mid;
		else
			l = mid + 1;
	}
	return l;
}

bool check(int x) {/* ... */} // 检查x是否满足某种性质
int bsearch_2(int l, int r)
{
	while (l < r)
	{
		int mid = l + r + 1 >> 1;
		//cout << "bsearch_2:" << l << ',' << r << '\t' << "mid=" << mid << endl;
		if (a[mid] <= x)//if(check(mid)) 这里应该写check函数判断
            l = mid;
		else 
            r = mid - 1;
	}
	return l;
}

两种算法的不同之处在于,当a[mid]==x时，第一种算法会将左端点右移，第二种算法则会将右端点左移，最终都会返回左端点。所以当有多个目标值是第一种会返回索引最小的（最左端的），第二种会返回索引最大的（最右端的）。目标值唯一时，两种算法均可。