Adakah Perwakilan Pelengkap 2 Menghapuskan Gelagat Tidak Ditakrifkan dalam Limpahan Integer Bertanda C?

Gelagat Tidak Tertakrif Limpahan Integer Bertanda dalam C

Limpahan integer yang ditandatangani, kejadian apabila nilai integer yang ditandatangani melebihi julat yang boleh diwakili, adalah baik -dikenali sebagai tingkah laku yang tidak ditentukan dalam C . Walau bagaimanapun, dokumentasi C 11 cstdint memperkenalkan pernyataan yang menarik: nilai negatif dalam jenis int8_t, int16_t, int32_t dan int64_t dinyatakan secara eksplisit sebagai diwakili menggunakan pelengkap 2.

Spesifikasi ini menimbulkan persoalan: adakah penggunaan Pelengkap 2 untuk nilai negatif dalam jenis ini mengubah yang tidak ditentukan status kelakuan limpahan?

Jawapannya, malangnya, kekal ya. Menurut bahagian 18.4.1 Piawaian C 11, pengepala mentakrifkan semua fungsi, jenis dan makro secara identik dengan bahagian 7.20 piawaian C. Bahagian 7.20.1.1 Piawaian C11 menjelaskan lagi takrif intN_t sebagai jenis integer bertanda dengan perwakilan pelengkap 2.

Walaupun spesifikasi perwakilan pelengkap 2 ini, Piawaian C 11 menyatakan dengan jelas dalam seksyen 5/4 bahawa mana-mana ungkapan yang menghasilkan keputusan matematik yang tidak ditentukan atau berada di luar julat yang boleh diwakili daripadanya jenis akan menghasilkan tingkah laku yang tidak ditentukan.

Oleh itu, penggunaan pelengkap 2 untuk nilai negatif tidak membayangkan bahawa aritmetik untuk jenis ini mematuhi tingkah laku modulo 2^n. Bagi integer yang tidak ditandatangani, walau bagaimanapun, Piawaian secara jelas menyatakan bahawa undang-undang aritmetik modulo 2^n terpakai, menjadikan gelagat limpahan ditakrifkan secara matematik dan dalam julat yang boleh diwakili. Akibatnya, limpahan yang tidak ditandatangani tidak dianggap sebagai tingkah laku yang tidak ditentukan.

Atas ialah kandungan terperinci Adakah Perwakilan Pelengkap 2 Menghapuskan Gelagat Tidak Ditakrifkan dalam Limpahan Integer Bertanda C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!