Trình biên dịch C và C++ thực hiện quyết định bình đẳng cho các số phao như thế nào?

Question

Ví dụ:

float a = 1.0; 
float b = 1.2; 

puts(a == b? "equal": "not equal"); 

Trình biên dịch có xử lý một chút hoặc bằng một số phương pháp khác không?

(Tôi biết nó không phải là một lựa chọn tốt để quyết định sự bình đẳng của số dấu chấm động bởi "==", tôi chỉ muốn biết làm thế nào một giao dịch biên dịch với tình trạng này.)

Answer 1

Câu trả lời chung, đầy đủ là các số dấu phẩy động được so sánh theo đặc điểm kỹ thuật IEEE 754.

Để trả lời câu hỏi của bạn đặc biệt, phần lớn thời gian hai số dấu chấm động được so sánh Bitwise, với một vài trường hợp ngoại lệ:

• không tích cực và tiêu cực được coi là bình đẳng
• NaN được coi là bất bình đẳng để tất cả mọi thứ, thậm chí đến NaN tự
• subnormals thể so sánh bằng số không và subnormals khác trong chế độ hoạt động nhất định (ví dụ: "subnormals tuôn ra để zero")
• khác với những cựu ceptions, so sánh bitwise thông thường được sử dụng

Answer 2

Tôi giả sử bạn có nghĩa là sau khi chương trình được biên dịch, nó so sánh hai phao như thế nào. Cách nổi được lưu trữ là rất độc đáo. Nó được lưu trữ bằng dấu, số mũ và phân số như đã thấy here. Vì vậy, trừ khi nó là hoàn toàn bình đẳng, chương trình sẽ thấy ngay cả 1 và 1,000000000001 là khác nhau. Để kiểm tra xem họ là gần bằng nhau, bạn có thể sử dụng như sau:

bool AlmostEqualRelativeOrAbsolute(float A, float B, 
      float maxRelativeError, float maxAbsoluteError) 
{ 
    if (fabs(A - B) < maxAbsoluteError) 
     return true; 
    float relativeError; 
    if (fabs(B) > fabs(A)) 
     relativeError = fabs((A - B)/B); 
    else 
     relativeError = fabs((A - B)/A); 
    if (relativeError <= maxRelativeError) 
     return true; 
    return false; 
} 

Mã này được lấy từ here, bạn có thể muốn đọc thêm tại trang web.

Answer 3

gcc và clang sử dụng hướng dẫn UCOMISS x86/x64.

Nguồn: tried it với -O3 và kiểm tra đầu ra lắp ráp.