Tại sao giá trị tuyệt đối của số nguyên âm tối đa-2147483648 vẫn là -2147483648?

Question

Kết quả của abs (-2147483648) là -2147483648, phải không? có vẻ như không thể chấp nhận được.

printf("abs(-2147483648): %d\n", abs(-2147483648)); 

đầu ra:

abs(-2147483648): -2147483648 

Answer 1

Tiêu chuẩn nói về abs():

Các abs, labs, và llabs chức năng tính toán giá trị tuyệt đối của một số nguyên j. Nếu kết quả không thể được biểu diễn, hành vi là không xác định.

Và kết quả thực sự không thể được biểu diễn vì biểu diễn bổ sung của các số nguyên đã ký không đối xứng. Hãy suy nghĩ về nó ... Nếu bạn có 32 bit trong một số int, cung cấp cho bạn 2 giá trị khác biệt từ INT_MIN đến INT_MAX. Đó là một số chẵn các giá trị. Vì vậy, nếu chỉ có một 0, số lượng các giá trị lớn hơn 0 không thể giống với số lượng giá trị nhỏ hơn 0. Và do đó không có đối tác dương nào với INT_MIN với giá trị là - INT_MIN.

Vì vậy, điều không thể chấp nhận là gọi abs(INT_MIN) trên nền tảng của bạn.

Answer 2

Hãy thử điều này

printf("abs(-2147483648): %u\n", abs(-2147483648)); 

Answer 3

Từ 2147483648 lớn hơn INT_MAX tình hình thực hiện của bạn, sau đó abs(-2147483648) là undefined.

Answer 4

Đây là mã trong abs.c trong mã nguồn của glibc GNU.

/* Return the absolute value of I. */ 
int 
DEFUN(abs, (i), int i) 
{ 
    return(i < 0 ? -i : i); 
} 

Vì vậy, abs (-2147483648) return - (- 2147483648). Trong x86, nó được thực hiện bởi hai hướng dẫn này

movl $-2147483648, %eax 
negl %eax 

lệnh bỏ qua được thực hiện theo cách này: num = 0-num; sbb được thực hiện theo cách này: Trích xuất nguồn từ đích và trừ 1 phần bổ sung nếu cờ Carry được đặt. Vì vậy, abs (-2147483648) (hex là 0x80000000) -> - (- 2147483648) -> 0 - (- 2147483648) trở thành (0x80000000) cuối cùng.

chi tiết về hướng dẫn negl, xin vui lòng lần http://zsmith.co/intel_n.html#neg

chi tiết về hướng dẫn SBB, vui lòng truy cập http://web.itu.edu.tr/kesgin/mul06/intel/instr/sbb.html

Answer 5

Số âm thường được biểu diễn bằng bổ sung nhị phân whit.

Để chuyển đổi tích cực đến tiêu cực nó được sử dụng luận lý

x -> not(x)+1 

Đối với 8 bit số học

01111111b là 127 và -127 trở thành
10000000b + 1 = 10000001b

và theo chiều ngược lại -127 10000001b trở thành
01111110b + 1 = 01111111b

Điều gì về -128?

-128 là 10000000b và không có đối tác tích cực của nó, bởi vì không có 128 trong 8 bit ký số học.

10000000 -> 01.111.111 + 1 = 10000000 và -128 lần nữa

Cùng áp dụng cho gốc câu hỏi