Adakah `int x = x;` Gelagat Tidak Ditakrifkan dalam C Disebabkan Penukaran Lnilai-ke-Nilai?

Permulaan dan penukaran nilai-ke-nilai

Coretan kod yang disediakan menimbulkan isu yang sering diperdebatkan dalam C . Memulakan pembolehubah dengan dirinya sendiri, seperti dalam int x = x;, melibatkan penukaran lnilai kepada nilai. Timbul persoalan sama ada penukaran ini membawa kepada tingkah laku tidak ditakrifkan (UB) memandangkan 'x' di sebelah kanan ialah nilai yang tidak dimulakan dan penukaran nilai-ke-rnilai pada nilai yang tidak dimulakan secara amnya adalah dilarang.

Bukti Penukaran nilai-ke-nilai yang Dijangka

Sementara C 11 Standard tidak mempunyai spesifikasi yang jelas mengenai kategori nilai yang dijangkakan oleh binaan bahasa, bukti keadaan menunjukkan bahawa nilai r bertujuan untuk menjadi jangkaan lalai.

• Pengendali terbina dalam secara konsisten memerlukan operan nilai dan secara eksplisit menyebut lvalue- kepada-rnilai penukaran apabila perlu.
• Permulaan rujukan membayangkan bahawa penukaran nilai-kepada-nilai dijangkakan untuk pemulaan objek.

Aplikasi kepada Penukaran Pemula

Dengan analogi kepada gelagat pengendali terbina dalam, adalah munasabah untuk mengandaikan bahawa pemula-salinan juga menjangkakan nilai sebagai pemula. Andaian ini disokong lagi oleh perkara berikut:

• Standard menekankan penggunaan penukaran standard untuk menukar ungkapan pemula kepada jenis destinasi.
• Melaksanakan penukaran nilai-ke-rnilai membolehkan penukaran nilai yang betul permulaan pembolehubah dengan pemula nilai.
• Ketiadaan penukaran yang ditentukan pengguna menunjukkan bahawa penukaran kategori nilai bertujuan untuk dikendalikan oleh Standard.

Implikasi untuk Coretan Kod

Di bawah andaian bahawa permulaan penyalinan menjangkakan nilai, coretan kod int x = x; sememangnya akan membawa kepada UB. Ini kerana 'x' sebelah kanan ialah nilai l yang tidak dimulakan, dan penukaran lnilai kepada nilainya akan menghasilkan nilai yang tidak tentu.

Bukti Lanjut

Laporan kecacatan yang dicadangkan menyerlahkan keperluan untuk menjelaskan bahawa penukaran nilai-ke-nilai pada objek dengan nilai tidak tentu menyebabkan UB. Perubahan yang dicadangkan ini seterusnya menyokong tanggapan bahawa permulaan penyalinan tidak seharusnya membenarkan penukaran sedemikian.

Kesimpulan

Berdasarkan bukti yang ada, kemungkinan besar int x = x; membentuk UB dalam C , kerana penukaran nilai-ke-rnilai pada 'x' yang tidak dimulakan adalah dilarang. Walau bagaimanapun, adalah penting untuk ambil perhatian bahawa Standard tidak mempunyai spesifikasi muktamad pada kategori nilai yang dijangkakan, memberikan sedikit ruang untuk perbahasan yang berterusan.

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