(a == 1 && a == 2 && a == 3) สามารถประเมินเป็นจริงใน Java ได้หรือไม่

เรารู้ว่ามันสามารถใน JavaScript

แต่เป็นไปได้ไหมที่จะพิมพ์ข้อความ "Success" ตามเงื่อนไขที่ระบุด้านล่างใน Java?

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

มีคนแนะนำ:

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

แต่ด้วยการทำเช่นนี้เรากำลังเปลี่ยนตัวแปรจริง มีวิธีอื่น ๆ ?

ใช่มันค่อนข้างง่ายที่จะทำสิ่งนี้ด้วยหลาย ๆ เธรดถ้าคุณประกาศว่าตัวแปรเปลี่ยนแปลงได้aง่าย

ด้ายหนึ่งเปลี่ยนแปลงอย่างต่อเนื่องตัวแปร 1-3 a == 1 && a == 2 && a == 3และหัวข้ออื่นอย่างต่อเนื่องทดสอบว่า มันเกิดขึ้นบ่อยครั้งพอที่จะพิมพ์ "ความสำเร็จ" ต่อเนื่องบนคอนโซล

(หมายเหตุหากคุณเพิ่มส่วนelse {System.out.println("Failure");}คำสั่งคุณจะเห็นว่าการทดสอบล้มเหลวบ่อยกว่าที่ทำสำเร็จ)

ในทางปฏิบัติมันยังทำงานได้โดยไม่ต้องประกาศaว่ามีความผันผวน แต่มีเพียง 21 ครั้งใน MacBook ของฉัน โดยไม่ต้องvolatileคอมไพเลอร์หรือ HotSpot ได้รับอนุญาตให้แคชaหรือเปลี่ยนคำสั่งด้วยif if (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();
    }
}

ใช้แนวความคิด (และรหัส) จากรหัสคำตอบกอล์ฟยอดเยี่ยม , Integerค่าสามารถสับสนกับ

ในกรณีนี้มันสามารถทำให้ints casted Integerเท่ากับเมื่อพวกเขาไม่ปกติ:

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");
    }
}

น่าเสียดายที่มันไม่ได้สวยหรูเท่าคำตอบแบบมัลติเธรดของ Erwin Bolwidt (เหมือนกับอันนี้ต้องใช้Integerการคัดเลือก)แต่ก็ยังมีบางคนที่สนุกเสฉวนเกิดขึ้น

ในคำถามนี้ @aioobe แนะนำ (และแนะนำต่อต้าน) การใช้ตัวประมวลผลล่วงหน้า C สำหรับคลาส Java

แม้ว่าจะมีการโกงอย่างมากแต่นั่นก็เป็นทางออกของฉัน:

#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");
    }
}

หากดำเนินการโดยใช้คำสั่งต่อไปนี้มันจะออกตรงหนึ่งSuccess :

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

เนื่องจากเรารู้แล้วว่าเป็นไปได้ที่จะทำให้โค้ดนี้ประเมินเป็นจริงขอบคุณคำตอบที่ยอดเยี่ยมของErwin Bolwidtและphflackฉันต้องการแสดงให้เห็นว่าคุณต้องให้ความสนใจในระดับสูงเมื่อจัดการกับเงื่อนไขที่ดูเหมือนว่านำเสนอ ในคำถามบางครั้งสิ่งที่คุณเห็นอาจไม่ตรงกับที่คุณคิด

นี่คือความพยายามของฉันเพื่อแสดงว่ารหัสนี้พิมพ์Success!ไปที่คอนโซล ฉันรู้ว่าฉันโกงนิดหน่อยแต่ฉันก็ยังคิดว่านี่เป็นสถานที่ที่ดีในการนำเสนอที่นี่

ไม่ว่าจุดประสงค์ในการเขียนโค้ดเช่นนี้จะเป็นอย่างไร - ดีกว่าที่จะทราบวิธีจัดการกับสถานการณ์ต่อไปนี้และวิธีการตรวจสอบว่าคุณไม่ผิดกับสิ่งที่คุณคิดว่าคุณเห็น

ฉันใช้ Cyrillic 'a' ซึ่งเป็นตัวละครที่แตกต่างจากละติน 'a' คุณสามารถตรวจสอบตัวอักษรที่ใช้ในงบถ้าที่นี่

สิ่งนี้ใช้งานได้เพราะชื่อของตัวแปรนั้นมาจากตัวอักษรที่แตกต่างกัน พวกมันคือตัวบ่งชี้ที่แตกต่างสร้างตัวแปรที่แตกต่างกันสองตัวที่มีค่าต่างกันในแต่ละตัว

โปรดทราบว่าหากคุณต้องการให้รหัสนี้ทำงานอย่างถูกต้องการเข้ารหัสอักขระจะต้องเปลี่ยนเป็นหนึ่งที่รองรับอักขระทั้งสองตัวเช่นการเข้ารหัส Unicode ทั้งหมด (UTF-8, UTF-16 (ใน BE หรือ LE), UTF-32, แม้แต่ UTF-7 ) หรือ Windows-1251, ISO 8859-5, KOI8-R (ขอบคุณ - Thomas Wellerและ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!");
        }
    }
}

(ฉันหวังว่าคุณจะไม่ต้องจัดการกับปัญหาแบบนั้นตลอดเวลาในอนาคต)

มีอีกวิธีหนึ่งในการเข้าถึงสิ่งนี้ (เพิ่มเติมจากแนวทางการแข่งขันข้อมูลที่ฉันโพสต์ไว้ก่อนหน้านี้) โดยใช้พลังของ PowerMock PowerMock ช่วยให้วิธีการที่จะถูกแทนที่ด้วยการใช้งานอื่น ๆ เมื่อรวมกับการแกะกล่องอัตโนมัตินิพจน์ต้นฉบับ(a == 1 && a == 2 && a == 3)ไม่มีการดัดแปลงสามารถทำให้เป็นจริงได้

คำตอบของ @ phflack ขึ้นอยู่กับการปรับเปลี่ยนกระบวนการมวยอัตโนมัติใน Java ที่ใช้การInteger.valueOf(...)โทร วิธีการด้านล่างนี้อาศัยการปรับแก้การแกะกล่องอัตโนมัติโดยเปลี่ยนการInteger.intValue()โทร

ข้อดีของวิธีการด้านล่างนี้คือการใช้คำสั่ง if ที่ได้รับจาก OP ในคำถามนั้นไม่มีการเปลี่ยนแปลงซึ่งฉันคิดว่าดีที่สุด

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());
        }
    }

}

เนื่องจากสิ่งนี้ดูเหมือนว่าจะเป็นการติดตามคำถาม JavaScript นี้จึงเป็นเรื่องที่น่าสังเกตว่าเคล็ดลับนี้และงานที่คล้ายกันใน Java เช่นกัน:

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

แต่โปรดทราบว่านี่ไม่ใช่สิ่งที่แย่ที่สุดที่คุณสามารถทำได้กับ Unicode การใช้ white-space หรืออักขระควบคุมที่เป็นส่วนของตัวระบุที่ถูกต้องหรือใช้ตัวอักษรต่าง ๆ ที่มีลักษณะเหมือนเดิมยังคงสร้างตัวระบุที่แตกต่างและสามารถเห็นได้เช่นเมื่อทำการค้นหาข้อความ

แต่โปรแกรมนี้

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

ใช้ตัวระบุสองตัวที่เหมือนกันอย่างน้อยจากมุมมอง Unicode พวกเขาเพียงแค่ใช้วิธีการที่แตกต่างกันในการเข้ารหัสตัวอักษรเดียวกันäโดยใช้และU+00E4U+0061 U+0308

บน Ideone

เครื่องมือเหล่านี้อาจไม่เหมือนกันเครื่องมือข้อความที่เปิดใช้งาน Unicode อาจไม่ได้รายงานความแตกต่างใด ๆ ขึ้นอยู่กับเครื่องมือที่คุณใช้ คุณอาจมีปัญหาที่การรับรองที่แตกต่างกันหายไปเมื่อคัดลอกซอร์สโค้ดไปยังบุคคลอื่นบางทีพยายามขอความช่วยเหลือสำหรับ“ พฤติกรรมแปลก ๆ ” ทำให้ไม่สามารถทำซ้ำได้สำหรับผู้ช่วย

แรงบันดาลใจจาก @ ยอดเยี่ยมของเออร์วินคำตอบที่ผมเขียนเป็นตัวอย่างที่คล้ายกัน แต่ใช้ Java กระแส API

และสิ่งที่น่าสนใจคือโซลูชันของฉันใช้งานได้ แต่ในบางกรณีที่หายากมาก (เพราะ   just-in-timeคอมไพเลอร์ปรับรหัสให้เหมาะสม)

เคล็ดลับคือการปิดใช้งานJITการเพิ่มประสิทธิภาพโดยใช้VMตัวเลือกต่อไปนี้:

-Djava.compiler=NONE

ในสถานการณ์นี้จำนวนกรณีความสำเร็จเพิ่มขึ้นอย่างมีนัยสำคัญ นี่คือรหัส:

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 Parallel stream ใช้ForkJoinPoolภายใต้ประทุนและตัวแปรaถูกแชร์ระหว่างหลายเธรดโดยไม่มีการซิงโครไนซ์ใด ๆ นั่นเป็นสาเหตุที่ผลลัพธ์ไม่ได้กำหนดไว้

ตามเส้นที่คล้ายกันโดยบังคับให้มีการลอย (หรือสองครั้ง) เพื่อ underflow (หรือล้น) ผ่านการหาร (หรือการคูณ) ด้วยจำนวนมาก:

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");
}