Thật kỳ lạ, tại sao hàm abs của tôi trả về -0?

Question

Các abs chức năng sau đôi khi trả -0 (trừ zero)

inline float abs(float a){ 
    return(a>=0.0f? a :-a); 
} 

Để cụ thể hơn, báo cáo kết quả sản xuất sprintf(str, "%.2f", abs(-0.00f)); "-0,00", và đó là gây phiền nhiễu từ các chuỗi được hiển thị cho người dùng.

Câu hỏi:

1) Tại sao sản phẩm -0?

2) Cách khắc phục?

PS: Tôi đang sử dụng trình biên dịch c của xcode (mục tiêu).

Answer 1

1. -0 là một tạo phẩm biểu diễn nhị phân, 0 với bộ bit dấu. Wikipedia có a comprehensive article on signed zero nếu bạn muốn biết thêm chi tiết.

2. Sử dụng fabs() như những người đã nói ở trên. Nếu bạn thực sự thực sự muốn nội tuyến, hãy so sánh các so sánh của bạn:

   abs nổi bên trong (phao a) { return (a> 0.f)? a: ((a < 0.f)? -a: 0); }

Answer 2

1. Vì -0.0 == 0.0 và do đó -0.0 >= 0.0 là đúng.

2. Sử dụng fabs (hoặc fabsf cho phao thay vì double) thay vì cố gắng phát minh lại nó.

Answer 3

Sử dụng signbit() để phân biệt. Làm việc với -0 và -INF và, tôi nghĩ, -NAN (nếu có một điều như vậy).

// C11 
inline float ragnarius_abs(float a) { 
    return signbit(a) ? -a : a; 
} 

Là tại sao a = -0.0f; a>=0.0f? a :-a; sản xuất -0?
-0.0f >= 0.0f là đúng: -0.0f và 0.0f đều số lượng bằng nhau, do đó a, được -0.0f được trả về.

---

ghi chú thêm về các loại dấu chấm động:

-0 bằng 0. Đây là điểm trừ duy nhất nổi nơi 2 nhị phân IEEE 754 đại diện chút khác nhau so sánh như bằng nhau. Một số định dạng điểm nổi khác có các biểu diễn bit khác nhau đại diện cho cùng một giá trị số.

NAN không bằng NAN. NAN có thể được biểu diễn bằng nhiều biểu diễn, nhưng ngay cả khi 2 NAN có cùng biểu diễn bit giống nhau, chúng sẽ không bằng số (==) so sánh như nhau.