Nếu tôi sao chép một float sang một biến khác, liệu chúng có bằng nhau không?

Tôi biết rằng sử dụng ==để kiểm tra sự bằng nhau của các biến dấu phẩy động không phải là một cách tốt. Nhưng tôi chỉ muốn biết rằng với các tuyên bố sau:

float x = ...

float y = x;

assert(y == x)

Vì yđược sao chép từ x, khẳng định sẽ là đúng?

Bên cạnh assert(NaN==NaN);trường hợp được chỉ ra bởi kmdreko, bạn có thể gặp tình huống với x87-math, khi các phao 80 bit được lưu tạm thời vào bộ nhớ và sau đó so với các giá trị vẫn được lưu trữ trong một thanh ghi.

Ví dụ tối thiểu có thể xảy ra với gcc9.2 khi được biên dịch với -O2 -m32:

#include <cassert>

int main(int argc, char**){
    float x = 1.f/(argc+2);
    volatile float y = x;
    assert(x==y);
}

Bản giới thiệu của Godbolt: https://godbolt.org/z/X-Xt4R

Có volatilethể bỏ qua, nếu bạn quản lý để tạo đủ áp lực đăng ký để ylưu trữ và tải lại từ bộ nhớ (nhưng nhầm lẫn trình biên dịch đủ, không bỏ qua so sánh tất cả cùng nhau).

Xem tài liệu tham khảo Câu hỏi thường gặp của GCC:

• Tại sao kết quả dấu phẩy động thay đổi với các mức tối ưu hóa hoặc các phiên bản trình biên dịch khác nhau hoặc các kiến ​​trúc đích khác nhau?

Nó sẽ không thể đúng nếu xlà NaN, kể từ khi so sánh trên NaNlà luôn luôn sai (có, thậm chí NaN == NaN). Đối với tất cả các trường hợp khác (giá trị bình thường, giá trị không bình thường, vô số, số không), khẳng định này sẽ đúng.

Lời khuyên cho việc tránh ==phao áp dụng cho các phép tính do số dấu phẩy động không thể biểu thị nhiều kết quả chính xác khi được sử dụng trong các biểu thức số học. Chuyển nhượng không phải là một phép tính và không có lý do gì mà chuyển nhượng sẽ mang lại một giá trị khác với giá trị ban đầu.

Đánh giá độ chính xác mở rộng phải là một vấn đề nếu tiêu chuẩn được tuân theo. Từ <cfloat>kế thừa từ C [5.2.4.2.2.8] ( nhấn mạnh của tôi ):

Ngoại trừ việc gán và truyền (loại bỏ tất cả phạm vi và độ chính xác bổ sung) , các giá trị của các phép toán với toán hạng nổi và giá trị tuân theo các chuyển đổi số học thông thường và các hằng số trôi nổi được đánh giá theo định dạng có phạm vi và độ chính xác có thể lớn hơn yêu cầu của kiểu.

Tuy nhiên, như các ý kiến ​​đã chỉ ra, một số trường hợp với một số trình biên dịch, tùy chọn xây dựng và mục tiêu nhất định có thể làm cho điều này nghịch lý.

Có, ychắc chắn sẽ đảm nhận giá trị của x:

[expr.ass]/2: Trong phép gán đơn giản (=), đối tượng được gọi bằng toán hạng bên trái được sửa đổi ([defns.access]) bằng cách thay thế giá trị của nó bằng kết quả của toán hạng bên phải.

Không có thời gian cho các giá trị khác được chỉ định.

^{(Những người khác đã chỉ ra rằng một so sánh tương đương ==dù sao cũng sẽ đánh giá falsecác giá trị NaN.)}

Vấn đề thường gặp với dấu phẩy động ==là thật dễ dàng để không có giá trị như bạn nghĩ. Ở đây, chúng ta biết rằng hai giá trị, bất kể chúng là gì, đều giống nhau.

Có, trong mọi trường hợp (không tính đến các vấn đề NaN và x87), điều này sẽ đúng.

Nếu bạn thực hiện memcmpchúng, bạn sẽ có thể kiểm tra sự bằng nhau trong khi có thể so sánh NaN và sNaN. Điều này cũng sẽ yêu cầu trình biên dịch lấy địa chỉ của biến sẽ ép giá trị thành 32 bit floatthay vì 80 bit. Điều này sẽ loại bỏ các vấn đề x87. Khẳng định thứ hai ở đây dự định không thể hiện rằng ==sẽ không so sánh NaN là đúng:

#include <cmath>
#include <cassert>
#include <cstring>

int main(void)
{
    float x = std::nan("");
    float y = x;
    assert(!std::memcmp(&y, &x, sizeof(float)));
    assert(y == x);
    return 0;
}

Lưu ý rằng nếu NaN có một đại diện bên trong khác (nghĩa là khác nhau), thì memcmpsẽ không so sánh đúng.

Trong trường hợp thông thường, nó sẽ đánh giá là đúng. (hoặc tuyên bố khẳng định sẽ không làm gì cả)

Chỉnh sửa :

Theo 'các trường hợp thông thường', ý tôi là loại trừ các tình huống đã nói ở trên (như giá trị NaN và đơn vị dấu phẩy động 80x87) như được chỉ ra bởi những người dùng khác.

Với sự lỗi thời của 8087 chip trong bối cảnh ngày nay, vấn đề này khá cô lập và đối với câu hỏi có thể áp dụng trong tình trạng kiến ​​trúc dấu phẩy động được sử dụng, điều này đúng cho mọi trường hợp ngoại trừ NaNs.

(tham khảo khoảng 8087 - https://home.deec.uc.pt/~jlobo/tc/artofasm/ch14/ch143.htm )

Kudos đến @chtz để tái tạo một ví dụ hay và @kmdreko khi đề cập đến NaN - trước đây họ không biết về họ!

Có, nó sẽ trả về True luôn, trừ khi đó là NaN . Nếu giá trị biến là NaN thì nó luôn trả về Sai !