(A == 1 && a == 2 && a == 3) có thể đánh giá là đúng trong Java không?

Chúng tôi biết nó có thể trong JavaScript .

Nhưng có thể in thông báo "Thành công" với điều kiện được đưa ra dưới đây trong Java không?

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

Có người đề nghị:

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

Nhưng bằng cách này, chúng tôi đang thay đổi các biến thực tế. Còn cách nào khác không?

Có, khá dễ dàng để đạt được điều này với nhiều luồng, nếu bạn khai báo biến alà biến động.

Một luồng liên tục thay đổi biến a từ 1 đến 3 và một luồng khác liên tục kiểm tra điều đó a == 1 && a == 2 && a == 3. Nó thường xảy ra đủ để có một dòng "Thành công" liên tục được in trên bảng điều khiển.

(Lưu ý nếu bạn thêm một else {System.out.println("Failure");}mệnh đề, bạn sẽ thấy thử nghiệm thất bại thường xuyên hơn nhiều so với thành công.)

Trong thực tế, nó cũng hoạt động mà không cần khai báo alà không ổn định, nhưng chỉ 21 lần trên MacBook của tôi. Nếu không volatile, trình biên dịch hoặc HotSpot được phép lưu trữ ahoặc thay thế ifcâu lệnh bằng if (false). Rất có thể, HotSpot sẽ khởi động sau một lúc và biên dịch nó thành các hướng dẫn lắp ráp làm bộ đệm giá trị của a. Với volatile , nó tiếp tục in "Thành công" mãi mãi.

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

Sử dụng các khái niệm (và mã) từ một câu trả lời golf mã xuất sắc , Integercác giá trị có thể bị rối tung.

Trong trường hợp này, nó có thể làm cho intcác cast thành Integers bằng nhau khi chúng thường không:

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

Thật không may, nó không hoàn toàn thanh lịch như câu trả lời đa luồng của Erwin Bolwidt (vì Integercâu hỏi này đòi hỏi phải đúc) , nhưng vẫn có một số shenanigans vui vẻ diễn ra.

Trong câu hỏi này @aioobe gợi ý (và khuyên chống lại) việc sử dụng bộ tiền xử lý C cho các lớp Java.

Mặc dù nó cực kỳ gian lận, đó là giải pháp của tôi:

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

Nếu được thực hiện bằng các lệnh sau, nó sẽ xuất ra chính xác một Success:

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

Như chúng ta đã biết rằng có thể đánh giá mã này thành đúng nhờ các câu trả lời tuyệt vời của Erwin Bolwidt và phflack , tôi muốn chứng minh rằng bạn cần giữ sự chú ý cao khi xử lý một điều kiện giống như điều kiện được trình bày trong câu hỏi, vì đôi khi những gì bạn nhìn thấy có thể không chính xác như những gì bạn nghĩ.

Đây là nỗ lực của tôi để chỉ ra rằng mã này in Success!ra bàn điều khiển. Tôi biết tôi đã lừa dối một chút , nhưng tôi vẫn nghĩ rằng đây là một nơi tốt để trình bày nó ngay tại đây.

Bất kể mục đích của việc viết mã như thế này là gì - tốt hơn để biết cách xử lý tình huống sau đây và cách kiểm tra nếu bạn không sai với những gì bạn nghĩ bạn thấy.

Tôi đã sử dụng Cyrillic 'a', một ký tự riêng biệt với tiếng Latin 'a'. Bạn có thể kiểm tra các ký tự được sử dụng trong câu lệnh if ở đây .

Điều này hoạt động vì tên của các biến được lấy từ các bảng chữ cái khác nhau. Chúng là các định danh riêng biệt, tạo ra hai biến riêng biệt với mỗi giá trị khác nhau.

Lưu ý rằng nếu bạn muốn mã này hoạt động chính xác, mã hóa ký tự cần được thay đổi thành một ký tự hỗ trợ cả hai ký tự, ví dụ: tất cả các mã hóa Unicode (UTF-8, UTF-16 (trong BE hoặc LE), UTF-32, thậm chí UTF-7 ), hoặc Windows-1251, ISO 8859-5, KOI8-R (cảm ơn bạn - Thomas Weller và Paŭlo Ebermann - vì đã chỉ ra):

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

(Tôi hy vọng bạn sẽ không bao giờ phải đối phó với vấn đề đó bất cứ lúc nào trong tương lai.)

Có một cách khác để tiếp cận điều này (bổ sung cho phương pháp đua dữ liệu dễ bay hơi mà tôi đã đăng trước đó), sử dụng sức mạnh của PowerMock. PowerMock cho phép các phương thức được thay thế bằng các triển khai khác. Khi điều đó được kết hợp với tự động hủy hộp, biểu thức ban đầu (a == 1 && a == 2 && a == 3), mà không sửa đổi, có thể được thực hiện đúng.

Câu trả lời của @ phflack dựa vào việc sửa đổi quy trình tự động đấm bốc trong Java sử dụng lệnh Integer.valueOf(...)gọi. Cách tiếp cận dưới đây dựa vào sửa đổi tự động hủy hộp bằng cách thay đổi Integer.intValue()cuộc gọi.

Ưu điểm của cách tiếp cận dưới đây là câu lệnh if gốc do OP đưa ra trong câu hỏi được sử dụng không thay đổi, mà tôi nghĩ là thanh lịch nhất.

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

}

Vì đây có vẻ là phần tiếp theo của câu hỏi JavaScript này , điều đáng chú ý là thủ thuật này và các công việc tương tự cũng có trong 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");
        }
    }
}

Trên Ideone

Nhưng lưu ý rằng đây không phải là điều tồi tệ nhất bạn có thể làm với Unicode. Sử dụng các ký tự khoảng trắng hoặc các ký tự điều khiển là các phần định danh hợp lệ hoặc sử dụng các chữ cái khác nhau trông giống nhau vẫn tạo ra các mã định danh khác nhau và có thể được phát hiện, ví dụ như khi thực hiện tìm kiếm văn bản.

Nhưng chương trình này

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

sử dụng hai mã định danh giống nhau, ít nhất là theo quan điểm Unicode. Họ chỉ sử dụng các cách khác nhau để mã hóa cùng một ký tự ä, sử dụng U+00E4và U+0061 U+0308.

Trên Ideone

Vì vậy, tùy thuộc vào công cụ bạn đang sử dụng, chúng có thể không chỉ trông giống nhau, các công cụ văn bản hỗ trợ Unicode thậm chí có thể không báo cáo bất kỳ sự khác biệt nào, luôn luôn tìm thấy cả khi tìm kiếm. Bạn thậm chí có thể gặp vấn đề khi các biểu diễn khác nhau bị mất khi sao chép mã nguồn cho người khác, có lẽ đang cố gắng giúp đỡ cho hành vi kỳ lạ của Hồi, làm cho nó không thể tái tạo được cho người trợ giúp.

Lấy cảm hứng từ câu trả lời tuyệt vời của @ Erwin , tôi đã viết một ví dụ tương tự, nhưng sử dụng API Java Stream .

Và một điều thú vị là giải pháp của tôi hoạt động, nhưng trong những trường hợp rất hiếm (vì   just-in-timetrình biên dịch tối ưu hóa mã như vậy).

Mẹo nhỏ là vô hiệu hóa mọi JITtối ưu hóa bằng VMtùy chọn sau :

-Djava.compiler=NONE

Trong tình huống này, số trường hợp thành công tăng đáng kể. Đây là mã:

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

Các luồng song song PS sử dụng ForkJoinPooldưới mui xe và biến a được chia sẻ giữa nhiều luồng mà không có bất kỳ sự đồng bộ hóa nào, đó là lý do tại sao kết quả không mang tính quyết định.

Dọc theo các dòng tương tự , bằng cách buộc một float (hoặc double) tràn xuống (hoặc tràn) thông qua phép chia (hoặc nhân) với một số lượng lớn:

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