int l = -1, r = (int) a[i].size() - 1;
while(l < r) {
   int m = l + r + 2 >> 1;
   if(a[i][m] >= v) l = m;
   else r = m - 1;
}

a是一个vector，下标从零开始，为啥m是$l+r+2 >>1$而不是$l + r >> 1$?