Java'da (a == 1 && a == 2 && a == 3) doğru olarak değerlendirilebilir mi?

JavaScript ile yapabileceğini biliyoruz .

Ancak, Java'da aşağıda verilen koşula "Başarılı" mesajını yazdırmak mümkün müdür?

if (a==1 && a==2 && a==3) {
    System.out.println("Success");
}

Birisi önerdi:

int _a = 1;
int a  = 2;
int a_ = 3;
if (_a == 1 && a == 2 && a_ == 3) {
    System.out.println("Success");
}

Ancak bunu yaparak gerçek değişkeni değiştiriyoruz. Başka yolu var mı?

Evet, değişkeni ageçici olarak bildirirseniz , bunu birden çok iş parçacığıyla başarmak oldukça kolaydır .

Bir iş parçacığı sürekli olarak a değişkenini 1'den 3'e değiştirir ve başka bir iş parçacığı bunu sürekli olarak test eder a == 1 && a == 2 && a == 3. Konsolda sürekli bir "Başarı" akışı basılması yeterli olur.

(Bir else {System.out.println("Failure");}cümle eklerseniz , testin başarılı olduğundan çok daha sık başarısız olduğunu göreceksiniz.)

Pratikte, auçucu olarak bildirmeden de çalışır , ancak MacBook'umda sadece 21 kez. Olmadan volatile, derleyicinin veya HotSpot'un ifadeyi önbelleğe almasına aveya değiştirmesine izin verilir . Büyük olasılıkla, HotSpot bir süre sonra devreye girer ve değerini önbelleğe alan montaj talimatlarına derler . İle , "Başarı" sonsuza kadar yazdırmaya devam ediyor.ifif (false)a volatile

public class VolatileRace {
    private volatile int a;

    public void start() {
        new Thread(this::test).start();
        new Thread(this::change).start();
    }

    public void test() {
        while (true) {
            if (a == 1 && a == 2 && a == 3) {
                System.out.println("Success");
            }
        }
    }

    public void change() {
        while (true) {
            for (int i = 1; i < 4; i++) {
                a = i;
            }
        }
    }

    public static void main(String[] args) {
        new VolatileRace().start();
    }
}

Parlak bir kod golf cevap kavramları (ve kodu) kullanarak , Integerdeğerler berbat edilebilir.

Bu durumda, yapabilir intler Dökümdür için Integernormalde olmaz ne zaman s eşit:

import java.lang.reflect.Field;

public class Test
{
    public static void main(String[] args) throws Exception
    {
        Class cache = Integer.class.getDeclaredClasses()[0];
        Field c = cache.getDeclaredField("cache");
        c.setAccessible(true);
        Integer[] array = (Integer[]) c.get(cache);
        // array[129] is 1
        array[130] = array[129]; // Set 2 to be 1
        array[131] = array[129]; // Set 3 to be 1

        Integer a = 1;
        if(a == (Integer)1 && a == (Integer)2 && a == (Integer)3)
            System.out.println("Success");
    }
}

Ne yazık ki, Erwin Bolwidt'ün çok iş parçacıklı yanıtı (bu, Integerdöküm gerektirdiği için ) kadar zarif değil , ama yine de bazı eğlenceli maskaralıklar gerçekleşiyor.

Gelen bu soru @aioobe (karşı ve tavsiye) Java sınıfları için C önişlemcisine kullanılmasını önermektedir.

Son derece ucuz olmasına rağmen , bu benim çözümüm:

#define a evil++

public class Main {
    public static void main(String[] args) {
        int evil = 1;
        if (a==1 && a==2 && a==3)
            System.out.println("Success");
    }
}

Aşağıdaki komutlar kullanılarak yürütülürse, tam olarak bir komut verilir Success:

cpp -P src/Main.java Main.java && javac Main.java && java Main

Bunu zaten bildiği gibi mümkün büyük cevaplara gerçek sayesinde değerlendirmek bu kodu yapmak için Erwin Bolwidt ve phflack gibi görünüyor sunulan, ben bir koşulu ile uğraşırken sen dikkat yüksek düzeyde tutmak gerektiğini göstermek istedik soruda, bazen gördüğünüz şey tam olarak düşündüğünüz şey olmayabilir.

Bu, bu kodun Success!konsola yazdırıldığını gösterme girişimim . Biraz hile yaptığımı biliyorum , ama hala burada sunmak için iyi bir yer olduğunu düşünüyorum.

Bunun gibi kod yazmanın amaçları ne olursa olsun - aşağıdaki durumla nasıl başa çıkılacağını ve gördüğünüzü düşündüğünüzde yanlış olup olmadığınızı nasıl kontrol edeceğinizi bilmek daha iyi.

Latince 'a' dan farklı bir karakter olan Kiril 'a' kullandım. Burada if ifadesinde kullanılan karakterleri inceleyebilirsiniz .

Bu, değişkenlerin isimleri farklı alfabelerden alındığı için çalışır. Her biri farklı bir değere sahip iki farklı değişken yaratan farklı tanımlayıcılardır.

Bu kodun düzgün çalışmasını istiyorsanız, karakter kodlamanın her iki karakteri de destekleyen bir karakterle değiştirilmesi gerekir, örneğin tüm Unicode kodlamaları (UTF-8, UTF-16 (BE veya LE'de), UTF-32, hatta UTF-7 ) veya Windows-1251, ISO 8859-5, KOI8-R ( işaret ettiğiniz için teşekkür ederiz - Thomas Weller ve Paŭlo Ebermann ):

public class A {
    public static void main(String[] args) {
        int а = 0;
        int a = 1;
        if(а == 0 && a == 1) {
            System.out.println("Success!");
        }
    }
}

(Umarım gelecekte bu tür bir sorunla asla uğraşmak zorunda kalmazsınız.)

PowerMock'un gücünü kullanarak (daha önce yayınladığım değişken veri yarışları yaklaşımına ek olarak) buna yaklaşmanın başka bir yolu var. PowerMock, yöntemlerin diğer uygulamalarla değiştirilmesine izin verir. Bu, otomatik (a == 1 && a == 2 && a == 3)kutu açma ile birleştirildiğinde, orijinal ifade , değişiklik yapılmadan gerçekleştirilebilir.

@ phflack'ın yanıtı, Java'da Integer.valueOf(...)çağrıyı kullanan otomatik boks işlemini değiştirmeye dayanır . Aşağıdaki yaklaşım, Integer.intValue()çağrıyı değiştirerek otomatik kutulamayı değiştirmeye dayanmaktadır .

Aşağıdaki yaklaşımın avantajı, OP tarafından soruda verilen orijinal if ifadesinin değişmeden kullanılmasıdır ki bence en zarif olanıdır.

import static org.powermock.api.support.membermodification.MemberMatcher.method;
import static org.powermock.api.support.membermodification.MemberModifier.replace;

import java.util.concurrent.atomic.AtomicInteger;

import org.junit.Assert;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.powermock.core.classloader.annotations.PrepareForTest;
import org.powermock.modules.junit4.PowerMockRunner;

@PrepareForTest(Integer.class)
@RunWith(PowerMockRunner.class)
public class Ais123 {
    @Before
    public void before() {
        // "value" is just a place to store an incrementing integer
        AtomicInteger value = new AtomicInteger(1);
        replace(method(Integer.class, "intValue"))
            .with((proxy, method, args) -> value.getAndIncrement());
    }

    @Test
    public void test() {
        Integer a = 1;

        if (a == 1 && a == 2 && a == 3) {
            System.out.println("Success");
        } else {
            Assert.fail("(a == 1 && a == 2 && a == 3) != true, a = " + a.intValue());
        }
    }

}

Bu, bu JavaScript sorununun bir takibi gibi göründüğünden , bu hile ve benzerlerinin Java'da da çalıştığını belirtmek gerekir :

public class Q48383521 {
    public static void main(String[] args) {
        int aﾠ = 1;
        int ﾠ2 = 3;
        int a = 3;
        if(aﾠ==1 && a==ﾠ2 && a==3) {
            System.out.println("success");
        }
    }
}

Ideone'da

Ancak bunun Unicode ile yapabileceğiniz en kötü şey olmadığını unutmayın. Geçerli tanımlayıcı parçalar olan boşluk veya kontrol karakterleri kullanma veya kullanmak aynı görünen farklı harfler kullanmak, yine de farklı ve örneğin metin araması yaparken tespit edilebilen tanımlayıcılar oluşturur.

Ama bu program

public class Q48383521 {
    public static void main(String[] args) {
        int ä = 1;
        int ä = 2;
        if(ä == 1 && ä == 2) {
            System.out.println("success");
        }
    }
}

en azından Unicode bakış açısından aynı olan iki tanımlayıcı kullanır. Sadece aynı karakteri kodlamak için farklı yollar äkullanırlar.U+00E4 ve U+0061 U+0308.

Ideone'da

Bu nedenle, kullandığınız araca bağlı olarak, yalnızca aynı görünmeyebilirler, Unicode özellikli metin araçları herhangi bir fark bildirmeyebilir, her zaman arama yaparken her ikisini de bulur. Kaynak kodu bir başkasına kopyalarken farklı temsillerin kaybolması, belki de “garip davranış” için yardım almaya çalışılması ve hatta yardımcı için tekrarlanamaz hale getirilmesi sorunu bile yaşayabilirsiniz.

@ Erwin'in mükemmel cevabından esinlenerek benzer bir örnek yazdım, ancak Java Stream API kullanarak .

Ve ilginç bir şey, çözümümün çalışması, ancak çok nadir durumlarda (   just-in-timederleyici böyle bir kodu optimize ettiği için).

İşin püf noktası JIT, aşağıdaki VMseçeneği kullanarak tüm optimizasyonları devre dışı bırakmaktır :

-Djava.compiler=NONE

Bu durumda, başarı vakalarının sayısı önemli ölçüde artar. İşte kod:

class Race {
    private static int a;

    public static void main(String[] args) {
        IntStream.range(0, 100_000).parallel().forEach(i -> {
            a = 1;
            a = 2;
            a = 3;
            testValue();
        });
    }

    private static void testValue() {
        if (a == 1 && a == 2 && a == 3) {
            System.out.println("Success");
        }
    }
}

PS Paralel akışlar ForkJoinPoolkaputun altında kullanılır ve değişken a , herhangi bir senkronizasyon olmadan birden çok iş parçacığı arasında paylaşılır, bu nedenle sonuç deterministik değildir.

Benzer hatlar boyunca , bir şamandırayı (veya çiftli) bölünme (veya çarpma) yoluyla çok sayıda sayı ile alt-akışa (veya taşmaya) zorlayarak:

int a = 1;
if (a / Float.POSITIVE_INFINITY == 1 / Float.POSITIVE_INFINITY
        && a / Float.POSITIVE_INFINITY == 2 / Float.POSITIVE_INFINITY
        && a / Float.POSITIVE_INFINITY == 3 / Float.POSITIVE_INFINITY) {
    System.out.println("Success");
}