Kısa devre mantıksal operatörler zorunlu mu? Ve değerlendirme sırası?

ANSI standart mu görev mantıksal operatörler ya da C ya da C ++ 'de, kısa devre olduğu?

K & R kitabını kodunuzun bu işlemlerin kısa devre yapılmasına bağlı olmaması gerektiğini söyleyerek hatırlıyorum, çünkü olmayabilir. Birisi lütfen mantık operasyonlarının her zaman kısa devre yaptığını söylediği standartta işaret edebilir mi? Ben çoğunlukla C ++ ile ilgileniyorum, C için de bir cevap harika olurdu.

Ayrıca değerlendirme sırasının kesinlikle tanımlanmadığını okuduğumu hatırlıyorum (bu yüzden hatırlamıyorum), bu nedenle kodunuzun bir ifadedeki işlevlerin belirli bir sırayla yürütüleceğini varsaymamalıyız: bir ifadenin sonunda tüm başvurulan işlevler ancak derleyicinin en verimli düzeni seçme özgürlüğü vardır.

Standart bu ifadenin değerlendirme sırasını gösteriyor mu?

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

Evet, operatörler için ||ve &&hem C hem de C ++ standartlarında kısa devre ve değerlendirme sırası gereklidir .

C ++ standardı diyor (C standardında eşdeğer bir madde olmalıdır):

1.9.18

Aşağıdaki ifadelerin değerlendirilmesinde

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

bu ifadelerde operatörlerin yerleşik anlamını kullanarak, ilk ifadenin değerlendirilmesinden sonra bir sıralama noktası vardır (12).

C ++ ekstra tuzak vardır: kısa devre yok DEĞİL türleri olduğu aşırı yük operatörleri için geçerli ||ve &&.

Dipnot 12: Bu paragrafta belirtilen işleçler, 5. maddede açıklandığı gibi yerleşik işleçlerdir. Bu işleçlerden biri geçerli bir bağlamda aşırı yüklendiğinde (madde 13), böylece kullanıcı tanımlı bir işleç işlevi belirlendiğinde, ifade bir işlev çağırma ve işlenenler, aralarında ima edilen bir sıra noktası olmadan bir bağımsız değişken listesi oluşturur .

Çok özel bir gereksiniminiz yoksa genellikle bu işleçlerin C ++ 'da aşırı yüklenmesi önerilmez. Bunu yapabilirsiniz, ancak diğer kişilerin kodlarında beklenen davranışı bozabilir, özellikle de bu operatörler dolaylı olarak bu operatörleri aşırı yükleyen şablonlarla örnekleme yoluyla kullanılırsa.

Kısa devre değerlendirmesi ve değerlendirme sırası, hem C hem de C ++ için zorunlu bir anlamsal standarttır.

Değilse, böyle bir kod ortak bir deyim olmazdı

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

   }

Bölüm 6.5.13 C99 teknik özelliklerinin mantıksal VE operatörü (PDF bağlantısı) diyor

(4). Bitsel ikili ve operatörün aksine, && operatörü soldan sağa değerlendirmeyi garanti eder; birinci işlenenin değerlendirilmesinden sonra bir sıralama noktası vardır. İlk işlenen 0 ile karşılaştırılırsa, ikinci işlenen değerlendirilmez.

Benzer şekilde, bölüm Mantıksal VEYA operatörü 6.5.14 diyor

(4) Bitselin aksine | operatörü, || operatör soldan sağa değerlendirmeyi garanti eder; birinci işlenenin değerlendirilmesinden sonra bir sıralama noktası vardır. İlk işlenen 0 ile eşit değilse, ikinci işlenen değerlendirilmez.

Benzer ifadeler C ++ standartlarında bulunabilir, bu taslak metindeki bölüm 5.14'e bakın . Damaların başka bir cevapta not ettiği gibi, && veya || 'yı geçersiz kılarsanız, her iki işlenen de normal bir işlev çağrısı haline geldiğinden değerlendirilmelidir.

Evet, zorunlu kılar (hem değerlendirme sırası hem de kısa devre). Örneğinizde, tüm işlevler true değerini döndürürse, çağrıların sırası kesinlikle functionA, sonra functionB ve sonra functionC'den gelir. Bunun için kullanılır

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

Virgül operatörü için aynı:

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

Bir sol ve sağ işlenen arasında söyler &&, ||, ,ve birinci ve ikinci / üçüncü işlenen arasında ?:(şartlı operatör) bir "sekans noktası" dır. Herhangi bir yan etki bu noktadan önce tamamen değerlendirilir. Yani, bu güvenli:

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

Virgül operatörünün, şeyleri ayırmak için kullanılan sözdizimsel virgülüyle karıştırılmaması gerektiğini unutmayın:

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

C ++ Standardı şöyle diyor 5.14/1:

&& operatör grupları soldan sağa. İşlenenler her ikisi de dolaylı olarak bool türüne dönüştürülür (madde 4). Her iki işlenen de doğru ve yanlışsa sonuç doğrudur. &, &&, soldan sağa değerlendirmenin aksine: ilk işlenen yanlışsa ikinci işlenen değerlendirilmez.

Ve içinde 5.15/1:

|| operatör grupları soldan sağa. Her iki işlenen de dolaylı olarak boole dönüştürülür (madde 4). İşlenenlerinden herhangi biri doğruysa true değerini, aksi halde false değerini döndürür. Aksine |, || soldan sağa değerlendirmeyi garanti eder; ayrıca, ilk işlenen doğru olarak değerlendirilirse ikinci işlenen değerlendirilmez.

Her ikisinin de yanında şunları söylüyor:

Sonuç bir bool. Geçici ifadelerin (12.2) imha edilmesi dışında ilk ifadenin tüm yan etkileri ikinci ifadenin değerlendirilmesinden önce meydana gelir.

Buna ek olarak, 1.9/18diyor

İfadelerin her birinin değerlendirilmesinde

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

bu ifadelerde (5.14, 5.15, 5.16, 5.18) operatörlerin yerleşik anlamını kullanarak, ilk ifadenin değerlendirilmesinden sonra bir sıralama noktası vardır.

İyi eski K&R'den:

C garanti eder &&ve ||soldan sağa değerlendirilir - yakında bunun önemli olduğu durumları göreceğiz.

Çok dikkatli olun.

Temel tipler için bunlar kısayol operatörleridir.

Ancak bu işleçleri kendi sınıfınız veya numaralandırma türleriniz için tanımlarsanız kısayol değildir. Bu farklı koşullar altında kullanımlarındaki bu anlamsal farklılık nedeniyle, bu operatörleri tanımlamamanız önerilir.

İçin operator &&ve operator ||değerlendirme sırası zor olurdu sağ (Aksi kısa kesim bırakılır temel türleri için :-) Ama tanımladığınız aşırı operatörler için bu nedenle temelde sözdizimsel bir yöntem tanımlamaya şeker ve parametrelerin değerlendirilmesi olduğu sırası vardır Tanımsız.

Sorunuz C ++ operatör önceliğine gelir ve ilişkilendirilebilirliği ile ilgilidir. Temel olarak, birden çok işleç içeren ve parantez içermeyen ifadelerde, derleyici bu kuralları izleyerek ifade ağacını oluşturur.

Öncelik için, benzer bir şeye sahip olduğunuzda A op1 B op2 C, şeyleri ya (A op1 B) op2 Cya olarak gruplayabilirsiniz A op1 (B op2 C). Eğer op1önceliği daha yüksekse op2, ilk ifadeyi alırsınız. Aksi takdirde, ikincisini alırsınız.

İlişkilendirilebilirlik için, benzer bir şeye sahip A op B op Colduğunuzda, tekrar incileri (A op B) op Cveya olarak gruplayabilirsiniz A op (B op C). Eğerop sol birleşim vardır, biz ilk ifadesi ile bitirmek. Eğer doğru ilişki varsa, ikincisiyle sonuçlanırız. Bu aynı öncelik seviyesindeki operatörler için de geçerlidir.

Bu özel durumda, &&önceliğe göre daha yüksek önceliğe sahiptir ||, bu nedenle ifade şu şekilde değerlendirilecektir:(a != "" && it == seqMap.end()) || isEven .

Düzenin kendisi, ifade ağacı formunda "soldan sağa" şeklindedir. Bu yüzden önce değerlendireceğiz a != "" && it == seqMap.end(). Eğer doğruysa, tüm ifade doğrudur, aksi takdirde biz gideriz isEven. Prosedür elbette sol alt ifade içinde kendini tekrar tekrar tekrarlar.

İlginç tidbitler, ancak öncelik kavramının kökeni matematik notasyonundadır. Aynı şey a*b + c, *önceliğe göre daha yüksek önceliğe sahiptir +.

Daha da ilginç / anlaşılmaz, A1 op1 A2 op2 ... opn-1 Antüm operatörlerin aynı önceliğe sahip olduğu belirsiz bir ifade için , oluşturabileceğimiz ikili ifade ağaçlarının sayısı Katalan sayıları tarafından verilir . Büyük için n, bunlar son derece hızlı büyür. d

Wikipedia'ya güveniyorsanız:

[ &&ve ||] anlam bakımından bit-bilge operatörlerinden farklıdır & ve | çünkü sonuç yalnızca soldan belirlenebiliyorsa asla doğru işleneni değerlendirmeyeceklerdir

C (programlama dili)