Apa yang saya = (i, ++ i, 1) + 1; melakukan?

Setelah membaca jawaban ini tentang perilaku dan urutan poin yang tidak ditentukan, saya menulis sebuah program kecil:

#include <stdio.h>

int main(void) {
  int i = 5;
  i = (i, ++i, 1) + 1;
  printf("%d\n", i);
  return 0;
}

Outputnya adalah 2. Ya Tuhan, aku tidak melihat penurunan itu datang! Apa yang terjadi disini?

Juga, saat mengkompilasi kode di atas, saya mendapat peringatan yang mengatakan:

px.c: 5: 8: peringatan: operan kiri dari ekspresi koma tidak berpengaruh

  [-Wunused-value]   i = (i, ++i, 1) + 1;
                        ^

Mengapa? Tetapi mungkin itu akan secara otomatis dijawab dengan jawaban dari pertanyaan pertama saya.

Dalam ekspresi (i, ++i, 1), koma yang digunakan adalah operator koma

operator koma (diwakili oleh token ,) adalah operator biner yang mengevaluasi operan pertamanya dan membuang hasilnya, dan kemudian mengevaluasi operan kedua dan mengembalikan nilai ini (dan tipe).

Karena membuang operan pertamanya, umumnya hanya berguna jika operan pertama memiliki efek samping yang diinginkan . Jika efek samping ke operan pertama tidak terjadi, maka kompiler dapat menghasilkan peringatan tentang ekspresi tanpa efek.

Jadi, dalam ungkapan di atas, yang paling kiri iakan dievaluasi dan nilainya akan dibuang. Kemudian ++iakan dievaluasi dan akan bertambah i1 dan lagi nilai ekspresi ++iakan dibuang, tetapi efek sampingnya ipermanen . Kemudian 1akan dievaluasi dan nilai ekspresi akan 1.

Ini setara dengan

i;          // Evaluate i and discard its value. This has no effect.
++i;        // Evaluate i and increment it by 1 and discard the value of expression ++i
i = 1 + 1;  

Perhatikan bahwa ungkapan di atas adalah benar-benar valid dan tidak memunculkan perilaku tidak terdefinisi karena ada titik sekuen antara evaluasi operan kiri dan kanan operator koma.

Mengutip dari C11, bab 6.5.17, operator Koma

Operan kiri dari operator koma dievaluasi sebagai ekspresi batal; ada titik urutan antara evaluasinya dan operan yang tepat. Kemudian operan yang tepat dievaluasi; hasilnya memiliki jenis dan nilai.

Jadi, dalam kasus Anda,

(i, ++i, 1)

dievaluasi sebagai

1. i, akan dievaluasi sebagai ekspresi batal, nilai dibuang
2. ++i, akan dievaluasi sebagai ekspresi batal, nilai dibuang
3. Akhirnya,, 1nilai kembali.

Jadi, pernyataan terakhirnya seperti

i = 1 + 1;

dan isampai 2. Saya kira ini menjawab kedua pertanyaan Anda,

• Bagaimana imendapat nilai 2?
• Mengapa ada pesan peringatan?

Catatan: FWIW, karena ada titik sekuens yang hadir setelah evaluasi operan kiri, ungkapan seperti (i, ++i, 1)tidak akan memanggil UB, karena orang mungkin berpikir secara tidak sengaja.

i = (i, ++i, 1) + 1;

Mari kita menganalisa langkah demi langkah.

(i,   // is evaluated but ignored, there are other expressions after comma
++i,  // i is updated but the resulting value is ignored too
1)    // this value is finally used
+ 1   // 1 is added to the previous value 1

Jadi kita memperoleh 2. Dan tugas terakhir sekarang:

i = 2;

Apa pun yang ada di saya sebelum ditimpa sekarang.

Hasil dari

(i, ++i, 1)

adalah

1

Untuk

(i,++i,1) 

evaluasi terjadi sedemikian rupa sehingga ,operator membuang nilai yang dievaluasi dan akan mempertahankan nilai yang paling tepat1

Begitu

i = 1 + 1 = 2

Anda akan menemukan bacaan yang bagus di halaman wiki untuk operator Comma .

Pada dasarnya itu

... mengevaluasi operan pertamanya dan membuang hasilnya, lalu mengevaluasi operan kedua dan mengembalikan nilai ini (dan jenis).

Ini artinya

(i, i++, 1)

pada gilirannya akan mengevaluasi i, membuang hasil, mengevaluasi i++, membuang hasil, dan kemudian mengevaluasi dan kembali 1.

Anda perlu tahu apa yang dilakukan operator koma di sini:

Ekspresi Anda:

(i, ++i, 1)

Ekspresi pertama,, idievaluasi, ekspresi kedua ++i,, dievaluasi, dan ekspresi ketiga 1, dikembalikan untuk seluruh ekspresi.

Jadi hasilnya adalah: i = 1 + 1.

Untuk pertanyaan bonus Anda, seperti yang Anda lihat, ekspresi pertama itidak berpengaruh sama sekali, jadi kompiler mengeluh.

Koma memiliki prioritas 'terbalik'. Ini adalah apa yang akan Anda dapatkan dari buku-buku lama dan manual C dari IBM (70-an / 80-an). Jadi 'perintah' terakhir adalah apa yang digunakan dalam ekspresi orangtua.

Di C modern penggunaannya aneh tapi sangat menarik di C lama (ANSI):

do { 
    /* bla bla bla, consider conditional flow with several continue's */
} while ( prepAnything(), doSomethingElse(), logic_operation);

Sementara semua operasi (fungsi) dipanggil dari kiri ke kanan, hanya ekspresi terakhir yang akan digunakan sebagai hasil untuk 'sementara' bersyarat. Ini mencegah penanganan 'goto's untuk menjaga blok unik dari perintah untuk dijalankan sebelum memeriksa kondisi.

EDIT: Ini menghindari juga panggilan ke fungsi penanganan yang bisa menangani semua logika di operan kiri dan mengembalikan hasil logis. Ingat bahwa, kami tidak memiliki fungsi sebaris di masa lalu C. Jadi, ini bisa menghindari panggilan overhead.