如果数组 a 的长度为 n，那么缺失数字的可能取值范围为 0,1,2,...,n。

采用二分法：如果 a[mid] == mid，则说明 mid 及其左边的数字和下标相同，没有缺失值，让left = mid+1；否则，说明mid左边（包括mid）索引处的值与索引不一样，已经出现了缺失，让right = mid；