Mengapa MSVC Memberi Amaran Mengenai Perbandingan yang Ditandatangani/Tidak Ditandatangani dalam Beberapa Kes Tetapi Bukan Yang Lain?

Perbandingan Integer Ditandatangani dan Tidak Ditandatangani dalam MSVC

Pertimbangkan coretan kod berikut:

int a = INT_MAX;
unsigned int b = UINT_MAX;
bool c = false;

if (a <p><strong>Memahami Ketidakpadanan yang Ditandatangani/Tidak Ditandatangani 🎜></strong></p>Dalam C , integer yang ditandatangani dan tidak ditandatangani mempunyai jenis yang berbeza, dan apabila membandingkannya secara langsung (cth., menggunakan ), MSVC mengeluarkan amaran (C4018). Ini kerana pengkompil cuba mempromosikan kedua-dua operan kepada jenis biasa sebelum melakukan perbandingan.<p></p><p>Peraturan Promosi<strong></strong></p>Untuk perbandingan integer, MSVC mengikut "aritmetik biasa penukaran" peraturan seperti yang ditakrifkan dalam piawaian C. Peraturan ini menentukan promosi yang berlaku sebelum perbandingan:<p></p>

Promosi bersepadu (cth., int to long int)
• Penukaran kepada jenis operan yang tidak ditandatangani jika ia lebih besar daripada yang ditandatangani operan
• Penukaran kepada int panjang yang tidak ditandatangani jika kedua-dua operan adalah integer

Mengapa Tiada Amaran untuk == b?

Dalam contoh, apabila membandingkan a dan b menggunakan ==, MSVC tidak mengeluarkan amaran kerana kedua-dua operan ditukar kepada int tidak ditandatangani sebelum perbandingan. Memandangkan nilai a dan b adalah kedua-duanya positif, tiada ketidakpadanan yang ditandatangani/tidak ditandatangani dan hasilnya adalah betul.

Keputusan Intuitif dan Bukan Intuitif

Sementara kekurangan amaran untuk == b mungkin kelihatan intuitif, perkara yang sama tidak boleh dikatakan untuk perbandingan seperti

Kesimpulan

MSVC tidak mengeluarkan amaran untuk a == b kerana aritmetik biasa penukaran menyebabkan kedua-dua operan ditukar kepada jenis yang tidak ditandatangani yang sama, menghapuskan sebarang ketidakpadanan yang ditandatangani/tidak ditandatangani. Walau bagaimanapun, untuk perbandingan menggunakan operator seperti , potensi hasil yang tidak dijangka disebabkan oleh penukaran memerlukan amaran daripada pengkompil.

Atas ialah kandungan terperinci Mengapa MSVC Memberi Amaran Mengenai Perbandingan yang Ditandatangani/Tidak Ditandatangani dalam Beberapa Kes Tetapi Bukan Yang Lain?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!