Чи можете (a == 1 && a == 2 && a == 3) оцінити справжнє в Java?

Ми знаємо, що це може в JavaScript .

Але чи можна надрукувати повідомлення "Успіх" за умови, наведеної нижче на 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як мінливу .

Один потік постійно змінює змінну a від 1 до 3, а інший потік постійно тестує це a == 1 && a == 2 && a == 3. Буває досить часто, щоб на консолі був надрукований безперервний потік "Успіх".

(Зверніть увагу, якщо ви додасте else {System.out.println("Failure");}пропозицію, ви побачите, що тест виходить з ладу набагато частіше, ніж це вдається.)

На практиці він також працює, не оголошуючи aпро непостійний, але лише 21 раз на моєму MacBook. Без volatileцього компілятор або HotSpot дозволено кешувати aабо замінювати ifоператор if (false). Швидше за все, HotSpot запускається через деякий час і компілює його до інструкцій по збірці, які кешують значення 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значення можна зіпсувати.

У цьому випадку це може призвести intдо того, що s кастинг 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");
    }
}

На жаль, це не настільки витончено, як багатопотокова відповідь Ервіна Болвідта (оскільки цей вимагає 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

Оскільки ми вже знаємо, що можна змусити цей код оцінити справжній завдяки чудовим відповідям Ервіна Болвідта та phflack , я хотів показати, що вам потрібно підтримувати високий рівень уваги, коли маєте справу зі станом, схожим на представлений у питанні, як іноді те, що ви бачите, може бути не таким, яким ви вважаєте, що це таке.

Це моя спроба показати, що цей код друкується Success!на консолі. Я знаю, що трохи обдурив , але все ще думаю, що це гарне місце, щоб представити його тут.

Незалежно від того, якими є цілі написання коду - краще знати, як впоратися з наступною ситуацією та як перевірити, чи не помиляєтесь ви з тим, що ви думаєте, що бачите.

Я використав кирилицю "a", що є відмінним символом від латинського "a". Ви можете перевірити символи, використані в операторі if тут .

Це працює, тому що назви змінних взяті з різних алфавітів. Вони є різними ідентифікаторами, створюючи дві різні змінні з різним значенням у кожній.

Зауважте, що якщо ви хочете, щоб цей код працював належним чином, кодування символів потрібно змінити на один, що підтримує обидва символи, наприклад, всі кодування Unicode (UTF-8, UTF-16 (в BE або LE), UTF-32, навіть UTF-7 ) або Windows-1251, ISO 8859-5, KOI8-R (спасибі - Томасу Веллеру та Паєлу Еберману - за те, що вони це вказали ):

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, яке дається ОП у запитанні, використовується незмінним, що, на мою думку, є найбільш елегантним.

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. Використання символів пробілу або керуючих символів, які є дійсними частинами ідентифікаторів, або використання різних букв, однакових, все ще створює різні ідентифікатори, які можна помітити, наприклад, під час пошуку тексту.

Але ця програма

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

використовує два ідентифікатори, однакові, принаймні з точки зору Unicode. Вони просто використовують різні способи кодування одного і того ж символу ä, використовуючи U+00E4і U+0061 U+0308.

На Ideone

Отже, залежно від інструменту, який ви використовуєте, вони можуть виглядати не однаково, текстові інструменти, що підтримуються Unicode, можуть навіть не повідомляти про різницю, завжди знаходячи обидва при пошуку. Можливо, у вас навіть є проблема, що різні уявлення втрачаються під час копіювання вихідного коду на когось іншого, можливо, намагаючись отримати допомогу щодо «дивної поведінки», що робить його невідтворюваним для помічника.

Надихнувшись чудовою відповіддю @ Ервіна , я написав подібний приклад, але використовуючи API Java Stream .

І цікаво, що моє рішення працює, але в дуже рідкісних випадках (адже   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 Паралельні потоки використовуються ForkJoinPoolпід кришкою, а змінна a поділяється між декількома потоками без будь-якої синхронізації, тому результат є недетермінованим.

За аналогічними лініями , змушуючи поплавок (або подвійний) перетікати (або переповнювати) шляхом ділення (або множення) на велику кількість:

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