Mengapa Kita Tidak Boleh Menukar Penunjuk-ke-Penunding-ke-Bukan-konst kepada Penunjuk-ke-Penunjuk-ke-konst dalam C ?

Menukar Penunjuk kepada Penunjuk kepada Konst: Sekatan dan Pertimbangan

Dalam C , sementara ia dibenarkan untuk menghantar penunjuk kepada bukan- const kepada penunjuk-ke-const, operasi terbalik nampaknya menyalahi undang-undang. Ini menimbulkan persoalan: mengapa tidak mungkin untuk menukar penunjuk-ke-penunjuk-ke-bukan-konst kepada penuding-ke-penunjuk-ke-konst?

Jawapannya terletak pada semantik penuding jenis. Penunjuk-ke-const menandakan pembolehubah malar yang tidak boleh diubah suai. Apabila kita menukar nilai penunjuk-ke-penunjuk-kepada-bukan-const, kita secara berkesan menukar nilai penuding paling dalam, yang menunjuk kepada objek bukan const. Ini akan membolehkan kami mengubah suai objek const secara tidak langsung, melanggar kebolehubahannya.

Sebagai contoh, coretan kod berikut menggambarkan isu:

char *s1 = 0;
const char *s2 = s1; // OK...
char *a[MAX]; // aka char **
const char **ps = a; // error!

Apabila kami cuba menetapkan penunjuk kepada -pointer-to-a ke pointer-to-pointer-to-const, pengkompil menimbulkan ralat kerana penunjuk operasi aritmetik dan dereferencing akan membolehkan kita mengubah suai objek malar. Dalam contoh di atas, baris *pc = 'C'; akan mengubah suai nilai rentetan yang ditunjuk oleh s1, yang merupakan objek const.

Untuk mengelakkan tingkah laku yang tidak diingini sedemikian, piawaian C tidak membenarkan penukaran penunjuk-ke-penunjuk-ke-bukan- const kepada penunjuk-ke-penunjuk-ke-const. Ini memastikan kebolehubahan objek const dikekalkan dan pengubahsuaian yang tidak disengajakan dihalang.

Atas ialah kandungan terperinci Mengapa Kita Tidak Boleh Menukar Penunjuk-ke-Penunding-ke-Bukan-konst kepada Penunjuk-ke-Penunjuk-ke-konst dalam C ?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!