Apakah operator logis hubungan pendek diamanatkan? Dan urutan evaluasi?

Apakah standar ANSI mengamanatkan operator logis untuk dihubung pendek, baik dalam C atau C ++?

Saya bingung karena saya ingat buku K&R yang mengatakan kode Anda tidak boleh bergantung pada operasi yang dihubung pendek ini, karena mungkin saja tidak. Bisakah seseorang tolong tunjukkan di mana dalam standar dikatakan ops logika selalu mengalami hubungan pendek? Saya sebagian besar tertarik pada C ++, jawaban juga untuk C akan lebih bagus.

Saya juga ingat membaca (tidak ingat di mana) bahwa urutan evaluasi tidak ditentukan secara ketat, jadi kode Anda tidak boleh bergantung atau menganggap fungsi dalam ekspresi akan dieksekusi dalam urutan tertentu: pada akhir pernyataan semua fungsi yang direferensikan akan dipanggil, tetapi kompiler memiliki kebebasan dalam memilih urutan yang paling efisien.

Apakah standar menunjukkan urutan evaluasi ungkapan ini?

if( functionA() && functionB() && functionC() ) cout<<"Hello world";

Ya, hubungan arus pendek dan urutan evaluasi diperlukan untuk operator ||dan &&dalam standar C dan C ++.

Standar C ++ mengatakan (harus ada klausa yang setara dalam standar C):

1.9.18

Dalam evaluasi ekspresi berikut

a && b
a || b
a ? b : c
a , b

menggunakan makna bawaan operator dalam ekspresi ini, ada titik urutan setelah evaluasi ekspresi pertama (12).

Di C ++ ada jebakan tambahan: korsleting TIDAK berlaku untuk tipe yang membebani operator ||dan &&.

Catatan Kaki 12: Operator yang ditunjukkan dalam paragraf ini adalah operator bawaan, seperti yang dijelaskan dalam klausa 5. Ketika salah satu dari operator ini kelebihan beban (klausa 13) dalam konteks yang valid, dengan demikian menunjuk fungsi operator yang ditentukan pengguna, ekspresi menunjuk doa fungsi, dan operan membentuk daftar argumen, tanpa titik urutan tersirat di antara mereka.

Biasanya tidak disarankan untuk membebani operator ini dalam C ++ kecuali Anda memiliki persyaratan yang sangat spesifik. Anda dapat melakukannya, tetapi itu mungkin melanggar perilaku yang diharapkan dalam kode orang lain, terutama jika operator ini digunakan secara tidak langsung melalui instantiating templat dengan tipe overload operator ini.

Evaluasi hubung singkat, dan urutan evaluasi, adalah standar semantik yang diamanatkan dalam C dan C ++.

Jika tidak, kode seperti ini tidak akan menjadi ungkapan yang umum

   char* pChar = 0;
   // some actions which may or may not set pChar to something
   if ((pChar != 0) && (*pChar != '\0')) {
      // do something useful

   }

Bagian 6.5.13 Logical operator AND dari spesifikasi C99 (PDF link) mengatakan

(4) Tidak seperti biner & operator bitwise, operator && menjamin evaluasi kiri-ke-kanan; ada titik urutan setelah evaluasi operan pertama. Jika operan pertama sebanding dengan 0, operan kedua tidak dievaluasi.

Demikian pula, bagian 6.5.14 Logika ATAU operator kata

(4) Berbeda dengan bitwise | operator, || operator menjamin evaluasi kiri-ke-kanan; ada titik urutan setelah evaluasi operan pertama. Jika operan pertama membandingkan tidak sama dengan 0, operan kedua tidak dievaluasi.

Kata-kata yang mirip dapat ditemukan dalam standar C ++, periksa bagian 5.14 dalam draft draft ini . Seperti yang dicatat oleh catur dalam jawaban lain, jika Anda mengabaikan && atau ||, maka kedua operan harus dievaluasi karena menjadi panggilan fungsi biasa.

Ya, itu mengamanatkan (urutan evaluasi dan hubungan pendek). Dalam contoh Anda jika semua fungsi mengembalikan true, urutan panggilan secara ketat dari functionA lalu functionB dan kemudian functionC. Digunakan untuk seperti ini

if(ptr && ptr->value) { 
    ...
}

Sama untuk operator koma:

// calls a, then b and evaluates to the value returned by b
// which is used to initialize c
int c = (a(), b()); 

Salah satu kata antara kiri dan operan kanan &&, ||, ,dan antara pertama dan kedua / operan ketiga ?:(operator kondisional) adalah "titik urutan". Setiap efek samping dievaluasi sepenuhnya sebelum titik itu. Jadi, ini aman:

int a = 0;
int b = (a++, a); // b initialized with 1, and a is 1

Perhatikan bahwa operator koma tidak perlu bingung dengan koma sintaksis yang digunakan untuk memisahkan hal-hal:

// order of calls to a and b is unspecified!
function(a(), b());

Standar C ++ mengatakan 5.14/1:

Grup && operator kiri-ke-kanan. Operan keduanya secara implisit dikonversi menjadi tipe bool (klausa 4). Hasilnya benar jika kedua operan benar dan salah jika tidak. Tidak seperti &, && menjamin evaluasi dari kiri ke kanan: operan kedua tidak dievaluasi jika operan pertama salah.

Dan di 5.15/1:

The || grup operator kiri-ke-kanan. Operan keduanya secara implisit dikonversi menjadi bool (klausa 4). Ini mengembalikan true jika salah satu operan-nya benar, dan salah sebaliknya. Berbeda dengan |, || menjamin evaluasi kiri-ke-kanan; selain itu, operan kedua tidak dievaluasi jika operan pertama bernilai true.

Dikatakan untuk keduanya di sebelah:

Hasilnya adalah bool. Semua efek samping dari ekspresi pertama kecuali untuk penghancuran sementara (12.2) terjadi sebelum ekspresi kedua dievaluasi.

Selain itu, 1.9/18kata

Dalam evaluasi masing-masing ungkapan

• a && b
• a || b
• a ? b : C
• a , b

menggunakan makna bawaan dari operator dalam ekspresi ini (5.14, 5.15, 5.16, 5.18), ada titik urutan setelah evaluasi ekspresi pertama.

Langsung dari K&R tua yang baik:

C menjamin bahwa &&dan ||dievaluasi dari kiri ke kanan - kami akan segera melihat kasus-kasus di mana hal ini penting.

Berhati-hatilah.

Untuk tipe fundamental, ini adalah operator pintasan.

Tetapi jika Anda mendefinisikan operator ini untuk kelas Anda sendiri atau tipe enumerasi mereka bukan jalan pintas. Karena perbedaan semantik ini dalam penggunaannya dalam keadaan yang berbeda ini, disarankan agar Anda tidak mendefinisikan operator ini.

Untuk operator &&dan operator ||untuk tipe dasar urutan evaluasi dibiarkan dari kanan (jika tidak, pemotongan pendek akan sulit :-) Tetapi untuk operator kelebihan beban yang Anda tetapkan, ini pada dasarnya adalah sintaksis gula untuk mendefinisikan metode dan dengan demikian urutan evaluasi parameter adalah tidak terdefinisi.

Pertanyaan Anda sampai pada prioritas operator C ++ dan asosiasi. Pada dasarnya, dalam ekspresi dengan beberapa operator dan tanpa tanda kurung, kompiler membangun pohon ekspresi dengan mengikuti aturan-aturan ini.

Untuk didahulukan, ketika Anda memiliki sesuatu seperti A op1 B op2 C, Anda dapat mengelompokkan hal-hal sebagai (A op1 B) op2 Catau A op1 (B op2 C). Jika op1memiliki prioritas lebih tinggi daripada op2, Anda akan mendapatkan ekspresi pertama. Kalau tidak, Anda akan mendapatkan yang kedua.

Untuk asosiatif, ketika Anda memiliki sesuatu seperti A op B op C, Anda dapat mengelompokkan kembali sebagai (A op B) op Catau A op (B op C). Jika optelah meninggalkan asosiasi, kita berakhir dengan ekspresi pertama. Jika asosiasi itu benar, kita berakhir dengan asosiasi kedua. Ini juga berfungsi untuk operator pada tingkat prioritas yang sama.

Dalam kasus khusus ini, &&memiliki prioritas lebih tinggi daripada ||, sehingga ekspresi akan dievaluasi sebagai (a != "" && it == seqMap.end()) || isEven.

Urutan itu sendiri adalah "kiri-ke-kanan" pada bentuk pohon ekspresi. Jadi pertama-tama kita akan mengevaluasi a != "" && it == seqMap.end(). Jika itu benar seluruh ekspresi itu benar, kalau tidak kita pergi ke isEven. Prosedur ini berulang dengan sendirinya di dalam sub-ekspresi kiri saja.

Berita menarik, tetapi konsep diutamakan berakar pada notasi matematika. Hal yang sama terjadi di a*b + c, di mana *memiliki prioritas lebih tinggi daripada +.

Bahkan lebih menarik / tidak jelas, untuk ekspresi yang tidak dipalsukan A1 op1 A2 op2 ... opn-1 An, di mana semua operator memiliki prioritas yang sama, jumlah pohon ekspresi biner yang dapat kita bentuk diberikan oleh apa yang disebut angka Catalan . Untuk yang besar n, ini tumbuh sangat cepat. d

Jika Anda mempercayai Wikipedia:

[ &&dan ||] secara semantik berbeda dari operator bit-wise & dan | karena mereka tidak akan pernah mengevaluasi operan yang tepat jika hasilnya dapat ditentukan dari kiri saja

C (bahasa pemrograman)