Adakah `int x = x;` Tingkah Laku Tidak Ditakrifkan Disebabkan Penukaran Lnilai-ke-Nilai?

Penukaran Nilai-ke-R dan Kelakuan Tidak Ditakrifkan dalam int x = x;

Dalam C , persoalan sama ada memberikan nilai yang tidak dimulakan kepada dirinya sendiri merupakan tingkah laku yang tidak ditentukan telah menjadi topik perdebatan. Piawaian (3.3.2) mengisytiharkan bahawa memulakan pembolehubah dengan dirinya sendiri, seperti dalam contoh int x = x;, boleh membawa kepada hasil yang tidak dijangka.

Inti isu terletak pada potensi keperluan untuk nilai- penukaran kepada-rnilai dalam tugasan tersebut. Katakan bahagian kanan x ialah pembolehubah automatik tidak dimulakan dengan nilai tak tentu. Menurut piawai (4.1), melakukan penukaran nilai-ke-rnilai pada nilai sedemikian menghasilkan gelagat yang tidak ditentukan.

Bukti untuk Penukaran Nilai-ke-R

Walaupun tiada keperluan eksplisit dalam piawaian, pelbagai implikasi mencadangkan bahawa niat utama adalah untuk pengendali terbina dalam mengharapkan prvalues ​​secara lalai. Sebagai contoh, nota standard bahawa pengendali tugasan terbina dalam memerlukan penukaran nilai-ke-nilai untuk operan yang betul. Peruntukan lain juga menunjukkan bahawa penukaran nilai-ke-nilai secara amnya dijangka kecuali apabila dinyatakan sebaliknya secara eksplisit.

Melanjutkan Konjektur kepada Pemula

Walaupun pemulaan berbeza daripada tugasan, kekaburan standard berkenaan kategori nilai berpotensi meluas ke kawasan ini. Bukti menunjukkan bahawa spesifikasi yang dimaksudkan adalah untuk menjangkakan prvalues ​​di mana sahaja nilai diperlukan.

Akibat untuk int x = x;

Dengan mengandaikan sangkaan itu benar, memulakan x dengan itu sendiri memerlukan penukaran nilai-ke-nilai pada nilai yang tidak dimulakan, yang membawa kepada tidak ditentukan tingkah laku.

Bukti Sokongan

Bukti lanjut timbul daripada pertimbangan kod yang memberikan pembolehubah tidak diinisialisasi dengan jenis yang berbeza dan tugasan yang berbeza. Tingkah laku yang tidak konsisten, seperti menghalang penukaran nilai-ke-rnilai pada permulaan rujukan tetapi membenarkannya pada permulaan objek, menambah kepercayaan pada pandangan bahawa penukaran nilai-ke-rnilai dijangka untuk permulaan salin.

Selain itu, a laporan kecacatan bertujuan untuk memperkenalkan bahasa eksplisit yang mentakrifkan semula nilai objek daripada "tidak dimulakan" kepada "nilai tidak tentu" dalam konteks tingkah laku tidak ditentukan semasa penukaran nilai-ke-nilai. Ini mencadangkan niat untuk mewujudkan tingkah laku yang tidak ditentukan dalam kes seperti int x = x;.

Kesimpulan

Berdasarkan bukti yang dibentangkan, adalah munasabah untuk membuat kesimpulan bahawa penukaran lnilai kepada nilai diperlukan dalam permulaan int x = x;. Ini, seterusnya, membawa kepada tingkah laku yang tidak ditentukan kerana sifat x yang tidak dimulakan. Ketidakkonsistenan standard dan keperluan untuk penjelasan menyerlahkan kepentingan spesifikasi terperinci untuk kategori nilai.

Atas ialah kandungan terperinci Adakah `int x = x;` Tingkah Laku Tidak Ditakrifkan Disebabkan Penukaran Lnilai-ke-Nilai?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!