Adakah Menyimpan Penunjuk Tidak Sah Sentiasa Kelakuan Tidak Ditakrifkan?
Dalam C dan C , membatalkan rujukan penunjuk tidak sah mengakibatkan tingkah laku yang tidak ditentukan. Walau bagaimanapun, persoalan timbul: adakah hanya menyimpan alamat memori yang tidak sah dalam pembolehubah penuding membentuk tingkah laku yang tidak ditentukan?
Pertimbangkan kod berikut:
<code class="c">const char* str = "abcdef"; const char* begin = str; if (begin - 1 < str) { /* ... do something ... */ }</code>
Di sini, ungkapan bermula - 1 menilai kepada alamat ingatan yang tidak sah. Walaupun kami mengelak daripada membatalkan rujukannya, kami menggunakannya dalam aritmetik penunjuk untuk menentukan kesahihannya. Jadi, adakah operasi ini memerlukan gelagat yang tidak ditentukan, memandangkan seni bina tertentu mungkin mencetuskan ralat bas apabila memuatkan penunjuk yang tidak sah ke dalam daftar?
Jawapan kepada soalan ini terletak dalam piawaian C atau C. Menurut Piawaian Draf C, menyimpan penunjuk yang tidak sah sememangnya tingkah laku yang tidak ditentukan. Bahagian 6.5.6/8 piawai mentakrifkan aritmetik penuding, tetapi ia tidak merangkumi secara eksplisit kes di mana operan menghala ke alamat memori yang tidak sah.
Oleh itu, dengan peninggalan, piawaian C membiarkan kes ini tidak dinyatakan, menjadikannya tingkah laku yang tidak ditentukan. Akibatnya, menyimpan penunjuk tidak sah dalam pembolehubah penunjuk, walaupun ia tidak dinyahrujuk, dianggap sebagai tingkah laku tidak ditentukan dalam C dan C mengikut piawaian semasa.
Atas ialah kandungan terperinci ## Adakah Menyimpan Penunjuk Tidak Sah Sentiasa Kelakuan Tidak Ditakrifkan dalam C/C ?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!