1、nums[r]与t相减,可能会溢出。
nums[r] - t >= INT_MIN
num[r] >= t + INT_MIN;
2、nums[r]与t相加,可能会溢出
nums[r] + t <= INT_MAX
num[r] <= INT_MX - t;
auto iter = rec.lower_bound(max(nums[r], INT_MIN + t) - t);
if (iter != rec.end() && *iter <= min(nums[r], INT_MAX - t) + t) {
return true;
}