A+B > c 关键不超时和不溢出, 溢出要考虑 a>0&&b>0是 a+b是否溢出, (判断条件是: a>0&& b>0 &&a > Long.MAX_VALUE-b / a<0&&b<0&&a<LONG.MIN_VALUE-b)