Mengapakah membandingkan terapung dengan literal berganda dalam C menghasilkan keputusan yang tidak dijangka?

Teka-teki Perbandingan Titik Terapung

Pertimbangkan kod C berikut:

int main()
{
    float a = 0.7;
    float b = 0.5;
    if (a < 0.7)
    {
        if (b < 0.5) printf("2 are right");
        else         printf("1 is right");
    }
    else printf("0 are right");
}

Anda secara intuitif mengharapkan output untuk jadilah "0 betul." Walau bagaimanapun, keputusan yang mengejutkan ialah "1 betul." Mengapakah ini berlaku?

Kesalahan Perbandingan Titik Terapung

Kuncinya terletak pada perbezaan antara nombor titik terapung dan dua ketepatan dalam C. Dalam kod, pembolehubah a dan b diisytiharkan sebagai terapung, iaitu nombor titik terapung 32-bit. Walau bagaimanapun, kedua-dua perbandingan (a < 0.7 dan b < 0.5) melibatkan beregu, kerana literal 0.7 dan 0.5 dianggap sebagai beregu.

Semasa perbandingan, pembolehubah apungan dinaikkan kepada beregu, membenarkan a julat dan ketepatan yang lebih tinggi. Walau bagaimanapun, penukaran ini boleh memperkenalkan artifak halus kerana ketepatan terapung yang terhad. Dalam kes ini, 0.7 sebagai apungan tidak betul-betul bersamaan dengan 0.7 sebagai dua kali ganda.

Secara khusus, 0.7 sebagai apungan diwakili sebagai 0x3f000000 dalam piawaian IEEE 754. Apabila dinaikkan ke gandaan, nilai ini bukan perwakilan tepat 0.7. Sebaliknya, ia menjadi lebih besar sedikit, sekitar 0x3f000000000000000 (kira-kira 0.7000000000000001).

Punca Hasil Yang Tidak Dijangka

Penyelesaian

Tukar pembolehubah a dan b untuk diisytiharkan sebagai dua kali ganda, atau
• Tukar literal 0.7 dan 0.5 untuk ditentukan sebagai terapung

Atas ialah kandungan terperinci Mengapakah membandingkan terapung dengan literal berganda dalam C menghasilkan keputusan yang tidak dijangka?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!