Bolehkah Null digunakan dalam konsortium dalam bahasa C?

Dalam C, null boleh digunakan dalam kesatuan, tetapi perlu dikendalikan dengan berhati -hati. Kerana Null boleh menyebabkan tingkah laku yang tidak ditentukan pada ahli yang berlainan dalam kesatuan, lebih baik untuk menentukan nilai yang tidak sah bagi setiap ahli yang diperlukan.

Bolehkah Null digunakan dalam kesatuan di C? Jawapannya ialah: Ya, tetapi berhati -hati!

Soalan ini nampaknya mudah, tetapi ia sebenarnya mempunyai rahsia. Di permukaan, NULL adalah penunjuk null, dan konsortium adalah seorang lelaki yang boleh menyimpan pelbagai jenis data. Nampaknya tidak ada masalah besar untuk menunjuk penunjuk kosong ke dalam konsortium. Tetapi sebenarnya, ini melibatkan jenis data, penjajaran ingatan, dan tingkah laku yang tidak jelas, dan anda akan jatuh ke dalam lubang jika anda tidak berhati -hati.

Mari kita semak asas -asas terlebih dahulu. NULL biasanya ditakrifkan sebagai (void *)0 dalam bahasa C, mewakili penunjuk null ke alamat kosong. Bagi Kesatuan, semua ahli berkongsi ruang ingatan yang sama, dan hanya satu ahli yang sah pada masa yang sama. Kuncinya ialah pelbagai jenis ahli boleh menduduki saiz memori yang berbeza, dan pengkompil akan melakukan penjajaran memori untuk mengoptimumkan prestasi.

Sekarang, katakan kita mempunyai konsortium:

 <code class="c">union MyUnion { int i; char *ptr; };</code>

Kita boleh menggunakan ini:

 <code class="c">union MyUnion u; u.ptr = NULL;</code>

Tiada kesilapan sintaks dalam kod ini, dan pengkompil akan menerimanya dengan gembira. NULL berjaya ditugaskan kepada ahli ptr . Tetapi persoalannya, apa yang berlaku apabila anda kemudian mengakses ui ? Hasilnya tidak ditentukan! Kerana NULL (biasanya 0) ditafsirkan sebagai integer, yang mungkin berbeza dari nilai lalai jenis int , atau mungkin bertentangan dengan perwakilan sebenar int dalam ingatan. Hasil yang anda dapatkan mungkin 0, atau nilai rawak yang lain, dan mungkin menyebabkan program itu terhempas.

Mari kita lihat contoh yang lebih kompleks:

 <code class="c">union MyUnion { long long ll; char *ptr; double d; }; int main() { union MyUnion u; u.ptr = NULL; printf("Size of union: %zu\n", sizeof(u)); printf("u.ll: %lld\n", u.ll); // 潜在的危险！ return 0; }</code>

Dalam contoh ini, kesatuan mengandungi tiga ahli saiz yang berbeza: long long , char * dan double . Hasil sizeof(u) bergantung kepada bagaimana pengkompil menjajarkan ahli -ahli ini. Mengakses u.ll juga berbahaya, kerana NULL boleh menyebabkan ketidakkonsistenan dalam susun atur memori long long , mengakibatkan nilai -nilai yang salah dibaca.

Oleh itu, sementara sintaktik membenarkan, meletakkan NULL ke dalam kesatuan biasanya bukan idea yang baik. Ia meningkatkan kerumitan dan ketidakpastian kod. Adalah lebih baik untuk menentukan nilai "tidak sah" yang jelas bagi setiap ahli kesatuan yang diperlukan. Sebagai contoh, bagi ahli penunjuk, nilai penunjuk khas boleh ditakrifkan (contohnya, penunjuk ke alamat tidak sah yang diketahui, tetapi berhati -hati untuk mengelakkan mengakses alamat ini), dan untuk ahli angka, nilai khas (contohnya -1 atau sejumlah besar) boleh digunakan untuk mewakili keadaan tidak sah. Ini lebih selamat, lebih jelas, dan lebih mudah untuk debug daripada menggunakan NULL secara langsung.

Semua dalam semua, walaupun C membolehkan anda meletakkan NULL ke dalam kesatuan, ini adalah amalan rawan kesilapan dan disyorkan untuk mengelakkannya sebanyak mungkin. Ia adalah raja untuk menentukan dengan jelas negeri -negeri yang tidak sah dan menulis lebih banyak kod yang mantap. Ingat, keteguhan program adalah lebih penting daripada kesederhanaan kod.

Atas ialah kandungan terperinci Bolehkah Null digunakan dalam konsortium dalam bahasa C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!