Adakah Menyimpan Alamat Penunjuk Tidak Sah Gelagat Tidak Ditakrifkan?

Menyimpan Penunjuk Tidak Sah

Walaupun sudah pasti bahawa penyahrujukan penunjuk tidak sah membawa kepada tingkah laku yang tidak ditentukan, persoalan yang kurang jelas timbul: adakah tindakan menyimpan alamat memori yang tidak sah dalam pembolehubah penuding itu sendiri tidak ditentukan kelakuannya?

Pertimbangkan coretan kod berikut:

<code class="c++">const char* str = "abcdef";
const char* begin = str;
if (begin - 1 < str) { /* ... do something ... */ }</code>

Dalam contoh ini, ungkapan bermula - 1 menilai kepada alamat ingatan tidak sah. Walau bagaimanapun, alamat tersebut tidak dinyahrujuk secara eksplisit sebaliknya digunakan dalam aritmetik penunjuk untuk menentukan kesahihannya.

Adakah senario ini dianggap sebagai tingkah laku yang tidak ditentukan?

Secara intuitif, sesetengah pihak mungkin berpendapat bahawa ia tidak, kerana aritmetik penunjuk sering bergantung pada operasi sedemikian. Selain itu, penunjuk adalah integer. Walau bagaimanapun, telah ditegaskan bahawa walaupun hanya tindakan menyimpan penunjuk tidak sah ke dalam daftar boleh menjadi tingkah laku yang tidak ditentukan kerana potensi implikasi seni bina (cth., ralat bas).

Untuk menjelaskan perkara ini, kami beralih kepada piawaian C atau C yang berkaitan. Malangnya, isu ini masih tidak dapat diselesaikan dengan ketinggalan. Bahagian 6.5.6/8 Standard Draf C menggariskan semantik aritmetik penuding apabila penuding menghala ke elemen tatasusunan dan tatasusunan cukup besar atau apabila operan menghala satu melepasi elemen tatasusunan terakhir. Tingkah laku dalam situasi yang diterangkan di atas tidak termasuk dalam kes khusus ini. Oleh itu, menyimpan penunjuk yang tidak sah adalah dengan peninggalan tingkah laku yang tidak ditentukan.

Atas ialah kandungan terperinci Adakah Menyimpan Alamat Penunjuk Tidak Sah Gelagat Tidak Ditakrifkan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!