Adakah Menyimpan Alamat Tidak Sah dalam Pembolehubah Penunjuk Sentiasa Kelakuan Tidak Ditakrifkan dalam C dan C?

Adakah Aritmetik Penunjuk dengan Alamat Tidak Sah Sentiasa Gelagat Tidak Ditakrifkan?

Aritmetik penunjuk ialah operasi asas dalam C dan C , membenarkan pengaturcara memanipulasi memori alamat dan menavigasi struktur data. Walau bagaimanapun, kelakuan aritmetik penunjuk dengan alamat tidak sah tidak selalu jelas.

Menyimpan Alamat Tidak Sah dalam Penunjuk: Tidak Ditakrifkan atau Tidak?

Pertimbangkan coretan berikut, yang mana cuba untuk menguji kesahihan penunjuk dengan menolak pemalar:

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

Dalam contoh ini, ungkapan bermula - 1 menghasilkan alamat memori yang tidak sah. Persoalannya, adakah tindakan menyimpan alamat ini dalam pembolehubah penuding sahaja bermula membentuk tingkah laku yang tidak ditentukan?

Kekaburan Piawaian

Piawaian C dan C tidak secara eksplisit menangani senario ini. Bahagian 6.5.6/8 mentakrifkan operasi aritmetik penunjuk, tetapi tidak meliputi kes alamat tidak sah.

Walau bagaimanapun, ia mentakrifkan kelakuan aritmetik penunjuk dalam sempadan tatasusunan yang sah dan untuk penunjuk yang menunjuk satu elemen melepasi hujung tatasusunan. Kedua-dua syarat ini tidak terpakai pada contoh di atas.

Kemungkinan Perilaku Tidak Tertakrif Khusus Seni Bina

Sesetengah seni bina melaksanakan mekanisme perlindungan memori yang mungkin menimbulkan pengecualian (mis., ralat bas ) apabila alamat memori yang tidak sah diakses. Dalam kes sedemikian, menyimpan penunjuk yang tidak sah dalam daftar sememangnya boleh dianggap kelakuan tidak ditentukan.

Kesimpulan

Piawaian C dan C tidak menjawab secara muktamad sama ada menyimpan yang tidak sah alamat dalam pembolehubah penunjuk membentuk tingkah laku yang tidak ditentukan. Walau bagaimanapun, ada kemungkinan bahawa seni bina tertentu mungkin menunjukkan tingkah laku yang tidak ditentukan dalam senario sedemikian disebabkan oleh mekanisme perlindungan memori. Adalah lebih baik untuk mengelakkan amalan sedemikian dan bergantung pada teknik pengesahan penunjuk yang betul untuk mengelakkan tingkah laku yang tidak ditentukan.

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