X == (x = y) neden (x = y) == x ile aynı değil?

Aşağıdaki örneği düşünün:

class Quirky {
    public static void main(String[] args) {
        int x = 1;
        int y = 3;

        System.out.println(x == (x = y)); // false
        x = 1; // reset
        System.out.println((x = y) == x); // true
     }
}

Java Dil Spesifikasyonunda, x = yparantezler tarafından belirtilen sıraya göre ilk olarak hesaplanması gereken sağ tarafla ( ) karşılaştırmak için bir değişkenin önceki değerini yüklemeyi dikte eden bir öğe olup olmadığından emin değilim .

İlk ifade neden değerlendirilir false, ikincisi ise değerlendirir true? Ben umuyordum (x = y)ilk değerlendirilecek ve daha sonra karşılaştırmak istiyorsunuz xkendisi ile ( 3) ve karşılığında true.

Bu soru, bir Java ifadesindeki alt ifadelerin değerlendirme sırasından farklıdır, çünkü xburada kesinlikle bir 'alt ifade' değildir. Bu gereken yüklenen karşılaştırma için yerine 'değerlendirdi' edilecek. Soru Java'ya özgüdür ve ifade x == (x = y), zor röportaj soruları için yaygın olarak hazırlanmış pratik olmayan yapıların aksine, gerçek bir projeden geldi. Karşılaştırma ve değiştirme deyimi için tek satırlık bir yedek olması gerekiyordu

int oldX = x;
x = y;
return oldX == y;

x86 CMPXCHG komutundan bile daha basit olan Java'da daha kısa bir ifadeyi hak ediyordu.

köşeli parantezler tarafından ima edilen sıra ile önce hesaplanması gereken

Hayır. Parantezlerin hesaplama veya değerlendirme sırası üzerinde (genel) bir etkisi olduğu yaygın bir yanılgıdır. İfadenizin bölümlerini yalnızca belirli bir ağaca zorlarlar, doğru işlenenleri iş için doğru işlemlere bağlarlar.

(Ve bunları kullanmazsanız, bu bilgi operatörlerin "önceliğinden" ve ilişkilendirilebilirliğinden gelir; bu, dilin sözdizimi ağacının nasıl tanımlandığının bir sonucudur. parantez kullanın, ancak sadeleştiririz ve o zaman herhangi bir öncelik kuralına güvenmediğimizi söyleriz.)

Bu yapıldıktan sonra (yani, kodunuz bir programa ayrıştırıldıktan sonra) bu işlenenlerin hala değerlendirilmesi gerekir ve bunun nasıl yapıldığına dair ayrı kurallar vardır: söz konusu kurallar (Andrew'un bize gösterdiği gibi) her işlemin LHS'sini belirtir. önce Java ile değerlendirilir.

Bunun tüm dillerde geçerli olmadığını unutmayın; örneğin, C ++ ' &&da ||, veya gibi kısa devre operatörü kullanmadığınız sürece , işlenenlerin değerlendirme sırası genellikle belirtilmez ve her iki şekilde de ona güvenmemelisiniz.

Öğretmenler, "bu, eklemenin önce gerçekleşmesini sağlar" gibi yanıltıcı ifadeler kullanarak operatör önceliğini açıklamayı bırakmalıdır. Bir ifade verildiğinde x * y + z, uygun açıklama "operatör önceliği, eklemenin herhangi bir" düzen "den bahsetmeden, ve arasında değil x * yve arasında gerçekleşmesini sağlar .zyz

==ikili bir eşitlik operatörüdür .

İkili bir operatörün sol tarafındaki işlenen , sağ taraftaki işlenenin herhangi bir kısmı değerlendirilmeden önce tam olarak değerlendirilmiş gibi görünür .

^{Java 11 Teknik Özellikleri> Değerlendirme Sırası> Önce Soldaki İşleneni Değerlendirin}

LouisWasserman'ın dediği gibi, ifade soldan sağa değerlendirilir. Ve java aslında "değerlendirmenin" ne yaptığını umursamıyor, sadece çalışmak için (uçucu olmayan, nihai) bir değer üretmeyi önemsiyor.

//the example values
x = 1;
y = 3;

İlk çıktısını hesaplamak System.out.println()için aşağıdakiler yapılır:

x == (x = y)
1 == (x = y)
1 == (x = 3) //assign 3 to x, returns 3
1 == 3
false

ve ikincisini hesaplamak için:

(x = y) == x
(x = 3) == x //assign 3 to x, returns 3
3 == x
3 == 3
true

İkinci değer daima başlangıç değerlerinin ne olursa olsun, true değerlendirecek o Not xve y, etkili atandığı değişkene bir değerin atama karşılaştırarak çünkü ve a = bve bbu sırayla değerlendirilir olacak, hep aynı olması tanım olarak.

Java Dil Belirtimi'nde bir değişkenin önceki değerini yüklemeyi dikte eden bir öğe olup olmadığından emin değilim ...

Var. Eğer şartname ne diyor belirsiz dahaki sefere özellikleri okumak ve lütfen daha sonra hala belli olmadığını soru sormak.

... önce (x = y)köşeli parantezlerin ima ettiği sıra ile hesaplanması gereken sağ taraf .

Bu ifade yanlıştır. Parantezler bir değerlendirme sırası anlamına gelmez . Java'da değerlendirme sırası parantezden bağımsız olarak sağdan sola doğrudur. Parantezler, değerlendirme sırasını değil, alt ifade sınırlarının nerede olduğunu belirler.

İlk ifade neden yanlış olarak değerlendirilir, ancak ikinci ifade doğru olarak değerlendirilir?

==İşleç kuralı : bir değeri üretmek için sol tarafı değerlendirmek, bir değeri üretmek için sağ tarafı değerlendirmek, değerleri karşılaştırmak, karşılaştırma ifadenin değeridir.

Diğer bir deyişle, anlamı expr1 == expr2her zaman yazmış temp1 = expr1; temp2 = expr2;ve değerlendirmiş gibi aynıdır temp1 == temp2.

=Sol tarafta yerel bir değişkeni olan işleç için kural şudur: bir değişken üretmek için sol tarafı değerlendirin, bir değer üretmek için sağ tarafı değerlendirin, atamayı gerçekleştirin, sonuç atanan değerdir.

Öyleyse bir araya getirin:

x == (x = y)

Bir karşılaştırma operatörümüz var. Bir değeri üretmek için sol tarafı değerlendirin - şu anki değerini alırız x. Sağ tarafı değerlendirin: bu bir atamadır, böylece bir değişkeni üretmek için sol tarafı değerlendiririz - değişken x- sağ tarafı değerlendiririz - şu anki değerini y- atar xve sonuç atanan değerdir. Ardından, orijinal değerini xatanan değerle karşılaştırırız .

(x = y) == xBir egzersiz olarak yapabilirsiniz . Yine unutmayın, sol tarafı değerlendirmek için tüm kurallar, sağ tarafı değerlendirmek için tüm kurallardan önce gerçekleşir .

Önce (x = y) değerlendirilmesini beklerdim, sonra x'i kendisi (3) ile karşılaştırır ve true değerini döndürürdü.

Beklentiniz, Java kuralları hakkında bir dizi yanlış inanca dayanmaktadır. Umarım şimdi doğru inançlara sahipsiniz ve gelecekte gerçek şeyler bekleyeceksiniz.

Bu soru "Java ifadesinde alt ifadelerin değerlendirme sırası" ndan farklıdır.

Bu ifade yanlıştır. Bu soru tamamen almanca.

x kesinlikle burada bir 'alt ifade' değildir.

Bu ifade de yanlıştır. Her örnekte iki kez bir alt ifadedir .

Karşılaştırma için 'değerlendirilmek' yerine yüklenmesi gerekir.

Bunun ne anlama geldiğini bilmiyorum.

Görünüşe göre hala birçok yanlış inancınız var. Benim tavsiyem, yanlış inançlarınız yerine gerçek inançların yerini alana kadar spesifikasyonu okumanızdır.

Soru Java'ya özgüdür ve zor röportaj soruları için yaygın olarak hazırlanmış uzak getirilmiş pratik olmayan yapıların aksine x == (x = y) ifadesi gerçek bir projeden geldi.

İfadenin yaygınlığı soru ile ilgili değildir. Bu tür ifadelere ilişkin kurallar tarifnamede açıkça tanımlanmıştır; oku onu!

Karşılaştırma ve değiştirme deyimi için tek satırlık bir yedek olması gerekiyordu

Bu tek satırlık değiştirme, kodun okuyucusunda büyük bir karışıklığa neden olduğundan, bunun kötü bir seçim olduğunu öneririm. Kodu daha kısa ve anlaşılması zor hale getirmek bir kazanç değildir. Kodu daha hızlı hale getirme olasılığı düşüktür.

Bu arada, C # etti karşılaştırmak ve yerine bir kütüphane yöntemi olarak yapabilirsiniz bir makine talimat aşağı jitted edilecek. Java tür sisteminde temsil edilemediğinden Java'nın böyle bir yöntemi olmadığına inanıyorum.

Operatör önceliği ve operatörlerin nasıl değerlendirildiği ile ilgilidir.

Parantez '()' daha yüksek önceliğe sahiptir ve soldan sağa ilişkilendirilebilirliği vardır. Eşitlik '==' bu soruda bir sonraki adımdır ve ilişkilendirilebilirlik soldan sağa doğrudur. '=' Ödevi sonlanır ve sağdan sola ilişkilendirilebilirliği vardır.

Sistem ifadeyi değerlendirmek için yığın kullanır. İfade soldan sağa değerlendirilir.

Şimdi orijinal soru geliyor:

int x = 1;
int y = 3;
System.out.println(x == (x = y)); // false

İlk önce x (1) istiflenmeye itilir. daha sonra iç (x = y) değerlendirilir ve x (3) değerine sahip istiflemeye itilir. Şimdi x (1), x (3) ile karşılaştırılacağı için sonuç yanlıştır.

x = 1; // reset
System.out.println((x = y) == x); // true

Burada, (x = y) değerlendirilecektir, şimdi x değeri 3 olur ve x (3) istiflenmeye itilir. Şimdi eşitlikten sonra değişen değerde x (3) yığına itilecek. Şimdi ifade değerlendirilecek ve ikisi de aynı olacak ve sonuç doğrudur.

Aynı değil. Sol taraf her zaman sağ taraftan önce değerlendirilir ve köşeli ayraçlar bir yürütme sırası değil, bir komutlar grubu belirtir.

İle:

      x == (x = y)

Temelde aynı şeyi yapıyorsunuz:

      x == y

Ve x karşılaştırmadan sonra y değerini alacaktır .

Birlikte iken:

      (x = y) == x

Temelde aynı şeyi yapıyorsunuz:

      x == x

X sonra y değerini aldı . Ve hep dönecektir gerçek .

Kontrol ettiğiniz ilk testte 1 == 3 yapar.

İkinci testte kontrolünüz 3 == 3 yapar.

(x = y) değeri atar ve bu değer test edilir. Önceki örnekte önce x = 1 sonra x 3 atanır. 1 == 3 mü?

İkincisinde, x'e 3 atanır ve açıkçası hala 3'tür. 3 == 3 mü?

Diğer, belki daha basit bir örneği düşünün:

int x = 1;
System.out.println(x == ++x); // false
x = 1; // reset
System.out.println(++x == x); // true

Burada, içindeki artış öncesi operatörün karşılaştırma yapılmadan önce++x uygulanması gerekir - örneğin örneğinizde olduğu gibi karşılaştırma öncesi hesaplanması gerekir .(x = y)

Bununla birlikte, ekspresyon değerlendirmesi hala soldan sağa → sağda gerçekleşir , bu nedenle ilk karşılaştırma aslında 1 == 2ikincisidir 2 == 2.
Aynı şey örneğinizde de olur.

İfadeler soldan sağa doğru değerlendirilir. Bu durumda:

int x = 1;
int y = 3;

x == (x = y)) // false
x ==    t

- left x = 1
- let t = (x = y) => x = 3
- x == (x = y)
  x == t
  1 == 3 //false

(x = y) == x); // true
   t    == x

- left (x = y) => x = 3
           t    =      3 
-  (x = y) == x
-     t    == x
-     3    == 3 //true

Temelde x ilk ifadesi 1 değerine sahipti. Böylece Java 1 == ifadesini aynı olmayacak yeni x değişkeniyle karşılaştırır.

İkincisinde x = y dediniz, bu da x'in değerinin değiştiği anlamına gelir ve bu yüzden tekrar aradığınızda aynı değer olur, bu yüzden neden doğrudur ve x == x

== bir karşılaştırma eşitliği operatörüdür ve soldan sağa doğru çalışır.

x == (x = y);

burada x'in eski atanan değeri, yeni x'in yeni atama değeri ile karşılaştırılır, (1 == 3) // false

(x = y) == x;

Oysa burada x'in yeni atama değeri, karşılaştırmadan hemen önce kendisine atanan x'in yeni tutma değeri ile karşılaştırılır, (3 == 3) // true

Şimdi bunu düşünün

    System.out.println((8 + (5 * 6)) * 9);
    System.out.println(8 + (5 * 6) * 9);
    System.out.println((8 + 5) * 6 * 9);
    System.out.println((8 + (5) * 6) * 9);
    System.out.println(8 + 5 * 6 * 9);

Çıktı:

342

278

702

342

278

Bu nedenle, Parantezler en büyük rolünü sadece karşılaştırma ifadelerinde değil aritmetik ifadelerde oynar.

Burada bir şey iki operatör üzerinden arithmatic operatörler / ilişkisel operatörler önceliklerinin sırasıdır =vs ==baskın biridir ==o önce olduğu için (İlişkisel Operatörler ağırlıkta olmak) =atama operatörleri. Önceliğe rağmen, değerlendirme sırası LTR'dir (SAĞA SOL) öncelik, değerlendirme siparişinden sonra ortaya çıkar. Bu nedenle, herhangi bir kısıtlama değerlendirmesinden bağımsız olarak LTR'dir.

Soldaki ikinci karşılaştırmada y'ye x (solda) atandıktan sonra atama 3 == 3'ü karşılaştırmanız kolaydır. İlk örnekte x = 1'i yeni atama x = 3 ile karşılaştırıyorsunuz. x'in soldan sağa her zaman geçerli durum okuma ifadeleri alınır.

Bir Java derleyicisi yazmak veya bir Java derleyicisinin düzgün çalıştığını doğrulamak için programları test etmek istiyorsanız, sorduğunuz soru türü çok iyi bir sorudur. Java'da, bu iki ifadenin gördüğünüz sonuçları üretmesi gerekir. Örneğin, C ++ 'da bunu yapmak zorunda değiller - bu yüzden birisi Java derleyicisinde bir C ++ derleyicisinin parçalarını yeniden kullandıysa, teorik olarak derleyicinin olması gerektiği gibi davranmadığını görebilirsiniz.

Bir yazılım geliştiricisi olarak, okunabilir, anlaşılabilir ve bakımı kolay kod yazarken, kodunuzun her iki sürümü de kötü sayılır. Kodun ne yaptığını anlamak için Java dilinin tam olarak nasıl tanımlandığını bilmek gerekir . Hem Java hem de C ++ kodu yazan biri koda bakarak ürperir. Neden tek bir kod satırının ne yaptığını sormanız gerekiyorsa, o koddan kaçınmalısınız. (Sanırım "neden" sorunuzu doğru cevaplayan adamların kendilerinin de bu kod dizisinden kaçınmasını umuyoruz).