我觉得如果数字已经是负的那么就会越减越小，直到减到int_min，然后再向下减的话属于未定义行为，有可能变成int_max或者程序崩溃，所以说不一定会死循环