Adakah Limpahan Integer Ditandatangani dalam C Masih Kelakuan Tidak Ditakrifkan?

Limpahan Integer Bertanda dalam C : Kelakuan Masih Tidak Ditakrifkan

Seperti yang diserlahkan dalam dokumentasi cstdint C 11, jenis integer bertanda seperti int8_t, int16 , int32_t dan int64_t gunakan pelengkap 2 untuk nilai negatif. Ini telah mencetuskan persoalan: adakah ini membayangkan bahawa limpahan dalam jenis ini tidak lagi dianggap sebagai tingkah laku tidak ditentukan?

Tidak, limpahan jenis ini kekal sebagai tingkah laku tidak ditentukan dalam C .

Menurut Perenggan 5/4 Piawaian C 11, sebarang ungkapan yang hasilnya tidak ditakrifkan secara matematik atau berada di luar julat yang boleh diwakili daripada jenis tersebut menghasilkan gelagat yang tidak ditentukan.

Walaupun int8_t, int16_t, int32_t dan int64_t menggunakan pelengkap 2, ini tidak membayangkan bahawa modulo aritmetik 2^n digunakan. Standard menyatakan dengan jelas bahawa:

"Hasil operasi aritmetik yang tidak ditandatangani sentiasa 'ditakrifkan secara matematik' dan hasilnya sentiasa dalam julat yang boleh diwakili; oleh itu, 5/4 tidak digunakan."

Oleh itu, aritmetik tidak bertanda mengikut undang-undang modulo 2^n aritmetik, dan limpahan bukanlah tingkah laku yang tidak ditentukan. Walau bagaimanapun, untuk aritmetik yang ditandatangani, limpahan kekal sebagai gelagat yang tidak ditentukan, tanpa mengira perwakilan asas.

Atas ialah kandungan terperinci Adakah Limpahan Integer Ditandatangani dalam C Masih Kelakuan Tidak Ditakrifkan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!