Bunu çok net bir şekilde söyleyeyim, çünkü insanlar bunu her zaman yanlış anlıyor:
Alt ifadelerin değerlendirme sırası, hem ilişkilendirilebilirlik hem de öncelikten bağımsızdır . Birleşim ve öncelik hangi sırayla belirlemek operatörleri yürütür ama yok hangi sırayla belirlemek alt ifadelere değerlendirilir. Sorunuz, alt ifadelerin değerlendirildiği sırayla ilgilidir .
Düşünün A() + B() + C() * D(). Çarpma, toplamadan daha yüksek önceliğe sahiptir ve toplama, sola ilişkiseldir, bu nedenle bu, (A() + B()) + (C() * D()) Butun size yalnızca ilk toplamanın ikinci toplamadan önce olacağını ve çarpmanın ikinci toplamadan önce olacağını söyleyen Bilmek ile eşdeğerdir . A (), B (), C () ve D () 'nin hangi sırayla çağrılacağını size söylemez! (Ayrıca çarpmanın ilk toplamadan önce mi sonra mı olduğunu da söylemez.) Öncelik ve çağrışım kurallarına uymak şu şekilde derleyerek mükemmel bir şekilde mümkündür :
d = D()
b = B()
c = C()
a = A()
sum = a + b
product = c * d
result = sum + product
Tüm öncelik ve ilişkisellik kuralları orada takip edilir - ilk toplama ikinci toplamadan önce olur ve çarpma ikinci toplamadan önce gerçekleşir. Açıkçası, A (), B (), C () ve D () çağrılarını herhangi bir sırayla yapabiliriz ve yine de öncelik ve çağrışım kurallarına uyabiliriz!
Alt ifadelerin değerlendirilme sırasını açıklamak için öncelik ve ilişkilendirilebilirlik kurallarıyla ilgisi olmayan bir kurala ihtiyacımız var . Java'da (ve C #) ilgili kural "alt ifadeler soldan sağa değerlendirilir" dir. A (), C () 'nin solunda göründüğünden, C () bir çarpmaya ve A () yalnızca bir toplamaya dahil olmasına bakılmaksızın, önce A () değerlendirilir .
Artık sorunuzu cevaplamak için yeterli bilgiye sahipsiniz. Gelen a[b] = b = 0çağrışımsallık söz sahibi kurallarına bu olduğunu a[b] = (b = 0);ama bu demek değildir b=0ilk çalışır! Öncelik kuralları, indekslemenin atamadan daha yüksek önceliğe sahip olduğunu söyler, ancak bu, indeksleyicinin en sağdaki atamadan önce çalıştığı anlamına gelmez .
(GÜNCELLEME: Bu cevabın önceki bir sürümünde, aşağıdaki bölümde düzelttiğim bazı küçük ve pratik olarak önemsiz eksiklikler vardı. Ayrıca bu kuralların Java ve C # 'da neden mantıklı olduğunu açıklayan bir blog makalesi de burada yazdım: https: // ericlippert.com/2019/01/18/indexer-error-cases/ )
O Öncelik ve birleşme sadece bize sıfır atama için bgerçekleşmesi gerekir önce için atama a[b], çünkü sıfır Hesaplamalar indeksleme operasyonda atanan değer atama. Öncelik ve konusunda çağrışımsallık yalnız diyelim hiçbir şey a[b]değerlendirilir önce veya sonrab=0 .
Yine, bu şununla aynıdır: A()[B()] = C()- Tek bildiğimiz, indekslemenin atamadan önce yapılması gerektiğidir. A (), B () veya C () 'nin öncelik ve ilişkiselliğe göre mi çalıştığını bilmiyoruz . Bunu bize söylemek için başka bir kurala ihtiyacımız var.
Kural yine, "ilk olarak ne yapacağına dair bir seçim yaptığında, her zaman soldan sağa git" dir. Ancak, bu özel senaryoda ilginç bir kırışıklık var. Boş bir koleksiyon veya aralık dışı dizinin neden olduğu bir istisnanın yan etkisi, atamanın sol tarafının hesaplanmasının bir parçası mı yoksa atamanın kendisinin hesaplanmasının bir parçası mı? Java ikincisini seçer. (Elbette, bu, yalnızca kod zaten yanlışsa önemli olan bir ayrımdır , çünkü doğru kod ilk etapta boş referansta bulunmaz veya kötü bir dizini geçmez.)
Peki ne olur?
a[b]Solunda b=0yüzden, a[b]ishal ilk , neden a[1]. Ancak, bu indeksleme işleminin geçerliliğinin kontrol edilmesi gecikir.- Sonra
b=0olur.
- Ardından
ageçerli ve a[1]aralık dahilinde olan doğrulama gerçekleşir
- Değerin atanması en
a[1]son gerçekleşir.
Dolayısıyla, bu özel durumda, ilk başta doğru kodda meydana gelmemesi gereken nadir hata durumları için dikkate alınması gereken bazı incelikler olsa da , genel olarak şu sonuca varabilirsiniz: soldaki şeyler sağdaki şeylerden önce gerçekleşir . Aradığınız kural bu. Öncelik ve çağrışımdan bahsetmek hem kafa karıştırıcı hem de alakasızdır.
İnsanlar bu şeyleri her zaman yanlış anlar , daha iyi bilmesi gerekenler bile. Kuralları yanlış ifade eden çok fazla programlama kitabını düzenledim , bu nedenle pek çok insanın öncelik / ilişkilendirilebilirlik ve değerlendirme sıralaması arasındaki ilişki hakkında tamamen yanlış inançlara sahip olması şaşırtıcı değil - yani, gerçekte böyle bir ilişki yok ; bağımsızdırlar.
Bu konu ilginizi çekiyorsa, daha fazla okumak için konuyla ilgili makalelerime bakın:
http://blogs.msdn.com/b/ericlippert/archive/tags/precedence/
Bunlar C # hakkındadır, ancak bunların çoğu Java için de aynı derecede geçerlidir.