Adakah Undang-undang dalam C untuk Mengambil Alamat Elemen Tatasusunan Satu Melepasi Akhir?

Bolehkah Anda Mengambil Alamat Elemen Tatasusunan Satu Selepas Tamat?

Kod berikut telah menjadi subjek perdebatan dalam pengaturcaraan komuniti:

int array[5];
int *array_begin = &array[0];
int *array_end = &array[5];

Secara khusus, persoalan sama ada &array[5] ialah kod C sah dalam konteks ini telah dinaikkan.

Pendirian Piawaian C

Mengikut Piawaian C, khususnya:

• §6.5.2.1: Penamaan berlangganan (E1[E2]) bersamaan dengan *((E1) (E2)).
• §6.5.3.2: Apabila anda mengambil alamat ungkapan yang terhasil daripada pengendali [], ia bersamaan dengan menggantikan [] dengan .

Implikasi untuk &array[5]

Menggunakan peraturan ini pada &array[5], kami mempunyai:

• &array[5] bersamaan dengan &array[0] 5.
• &array[0] 5 mata satu elemen melepasi penghujung array.

Adakah Ia Sah?

Ya, ia sah. Piawaian secara eksplisit membenarkan penunjuk untuk menunjuk satu elemen melepasi penghujung tatasusunan, dengan syarat ia tidak dinyahrujuk. Dalam kes ini, &array[5] hanya digunakan untuk mendapatkan alamat, bukan untuk mengakses nilai di alamat itu, jadi ia berada dalam lingkungan yang dibenarkan oleh piawai.

Mengapa Perbezaan dari tatasusunan 5 atau &tatasusunan[4] 1?

Kelakuan &tatasusunan[5] berbeza daripada tatasusunan 5 atau &tatasusunan[4] 1 disebabkan oleh keutamaan operator dan [] digabungkan dengan kelakuan operator * unary yang tersirat oleh []. Khususnya:

• tatasusunan 5 dinilai sebagai *(tatasusunan 5), yang cuba menyahrujuk penuding yang menunjuk satu melepasi hujung tatasusunan, yang merupakan tingkah laku yang tidak ditentukan.
• &tatasusunan[4 ] 1 dinilai sebagai &*(array 4) 1, yang bersamaan dengan tatasusunan 5, dan oleh itu juga cuba untuk menyahrujuk penunjuk menunjuk satu melepasi hujung tatasusunan.

Sebaliknya, &array[5] dinilai seolah-olah operator & telah dialih keluar dan operator [] ditukar kepada operator, menghasilkan tatasusunan 5, tetapi tanpa penilaian operator * unary.

Atas ialah kandungan terperinci Adakah Undang-undang dalam C untuk Mengambil Alamat Elemen Tatasusunan Satu Melepasi Akhir?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!