Adakah `i = i;` Tingkah Laku Tidak Ditakrifkan Walaupun dengan Jenis Ditentukan Pengguna?

Tingkah Laku Tidak Tertakrif dan Titik Urutan: Menyelam Lebih Dalam

Ungkapan i = i; telah dilabelkan sebagai menggunakan tingkah laku tidak ditentukan (UB), tetapi bagaimana jika jenis i ditentukan oleh pengguna, seperti dalam kelas Indeks yang disediakan?

Jenis Ditentukan Pengguna dan UB

Dalam kes jenis yang ditentukan pengguna seperti Indeks, ungkapan i = i; masih dianggap UB. Ini kerana jenis yang ditentukan pengguna tidak mengatasi kelakuan lalai pengendali kenaikan. Fungsi operator () dan operator =() hanya mengubah suai keadaan dalaman objek Indeks dan tidak mencipta sebarang titik jujukan. Oleh itu, ungkapan mengubah suai objek dua kali antara titik jujukan berturut-turut, menghasilkan UB.

Persamaan Ungkapan

Ungkapan i.operator =(i.operator () ); dan i.add(i.inc()); tidak bersamaan dengan asal i = i;. Dalam ungkapan pertama, titik jujukan selepas penilaian i.operator () membenarkan pengubahsuaian objek Indeks sebelum penilaian operator =. Begitu juga, dalam ungkapan kedua, fungsi ahli tambah dan inc tidak mengubah suai objek antara titik jujukan berturut-turut. Oleh itu, ungkapan ini tidak menggunakan UB.

Definisi Ungkapan dan Titik Urutan

Ungkapan i = i; sememangnya ungkapan, tetapi tingkah lakunya tidak jelas. Bilangan titik jujukan yang dikaitkan dengan ungkapan tidak bergantung pada jenis operan yang terlibat.

Langganan Tatasusunan (a[ i] = i)

Ungkapan a [ i] = i; juga UB dalam kedua-dua kes apabila a ialah tatasusunan jenis terbina dalam atau apabila a ialah jenis yang ditentukan pengguna yang membebankan operator subskrip. Dalam kedua-dua kes, ungkapan [ i] dinilai dahulu, yang menambah i dan mengembalikan nilai pra-naiknya. Nilai ini kemudiannya digunakan sebagai indeks ke dalam tatasusunan, yang boleh mengakibatkan UB jika indeks di luar had.

Operasi Penambahan Berbilang ( i)

The ungkapan i; ditakrifkan dengan baik dalam C 03 dan mempunyai kelakuan yang sama seperti ungkapan ((((i.operator ()).operator ()).operator ()).operator ()).operator ());. Setiap panggilan operator () mengembalikan rujukan kepada objek Indeks dan titik jujukan selepas setiap penilaian fungsi memastikan objek itu diubah suai sekali sahaja antara titik jujukan berturut-turut.

Kesimpulan

Ringkasnya, ungkapan i = i; dan a[ i] = i; gunakan UB untuk jenis yang ditakrifkan pengguna, walaupun jika jenis tersebut menyediakan pengendali yang lebih muatan. Operasi kenaikan berbilang pada objek Indeks ditakrifkan dengan baik, menunjukkan bahawa titik jujukan dan bilangan pengubahsuaian pada objek antara titik jujukan adalah bebas daripada jenis operan yang terlibat.

Atas ialah kandungan terperinci Adakah `i = i;` Tingkah Laku Tidak Ditakrifkan Walaupun dengan Jenis Ditentukan Pengguna?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!