（a == 1 && a == 2 && a == 3）はJavaでtrueと評価できますか？

私たちはそれが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を揮発性として宣言すると、複数のスレッドでこれを達成するのは非常に簡単です。

1つのスレッドは常に変数aを1から3に変更し、別のスレッドは常にそれをテストしa == 1 && a == 2 && a == 3ます。これは、コンソールに「成功」​​の継続的なストリームを印刷するのに十分な頻度で発生します。

（else {System.out.println("Failure");}句を追加すると、テストが成功するよりもはるかに頻繁に失敗することがわかります。）

実際には、a揮発性として宣言しなくても機能しますが、私のMacBookでは21回しか機能しません。なしvolatileでは、コンパイラーまたはHotSpotはステートメントをキャッシュaまたは置換できます。ほとんどの場合、HotSpotはしばらくしてから、の値をキャッシュするアセンブリ命令にコンパイルします。で、「成功」を永遠に印刷し続けます。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();
    }
}

素晴らしいコードゴルフの答えからの概念（およびコード）を使用して、Integer値をいじることができます。

この場合、通常intキャストされないsにキャストされたIntegersを等しくすることができます。

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（とアドバイスに対する）JavaクラスのCプリプロセッサを使用することを示唆しています。

それは非常に奇妙ですが、それが私の解決策です：

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

次のコマンドを使用して実行すると、正確に 1つが出力されますSuccess。

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

Erwin Bolwidtとphflackのすばらしい回答のおかげで、このコードをtrueに評価することが可能であることはすでに知っているので、提示されているような状態に対処するときは、高いレベルの注意を払う必要があることを示したいと思います。質問では、時々、あなたが見るものはあなたがそれがあなたが思っているものと正確には違うかもしれません。

これは、このコードSuccess!がコンソールに出力されることを示すための私の試みです。私は少し不正をしたことは知っていますが、それでもここに表示するには良い場所だと思います。

このようなコードを記述する目的が何であれ、次の状況に対処する方法と、見た目が間違っていないとチェックする方法を理解することをお勧めします。

ラテン語の「a」とは異なる文字であるキリル文字「a」を使用しました。ifステートメントで使用されている文字をここで検査できます。

これは、変数の名前が異なるアルファベットから取得されるため機能します。それらは異なる識別子であり、それぞれ異なる値を持つ2つの異なる変数を作成します。

このコードを適切に機能させるには、文字エンコーディングを両方の文字をサポートするものに変更する必要があることに注意してください。たとえば、すべてのUnicodeエンコーディング（UTF-8、UTF-16（BEまたはLE））、UTF-32、さらにはUTF-7 ）、またはWindows-1251、ISO 8859-5、KOI8-R（指摘してくれてありがとう-Thomas WellerとPaŭloEbermann-）：

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の答えは、Integer.valueOf(...)呼び出しを使用するJavaのオートボクシングプロセスの変更に依存しています。以下のアプローチは、Integer.intValue()呼び出しを変更して自動アンボックス化を変更することに依存しています。

以下のアプローチの利点は、問題のOPによって指定された元の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");
        }
    }
}

イデオネ

ただし、これはUnicodeで実行できる最悪のことではないことに注意してください。有効な識別子の部分である空白文字または制御文字を使用したり、同じように見える別の文字を使用したりしても、たとえばテキスト検索を行う場合など、異なる識別子が見つかる可能性があります。

しかし、このプログラム

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

少なくともUnicodeの観点からは、同じ2つの識別子を使用します。彼らはただ同じ文字をエンコードするためにさまざまな方法を使用してä使用して、U+00E4とU+0061 U+0308。

イデオネ

したがって、使用しているツールによっては、見た目が同じであるだけでなく、Unicode対応のテキストツールでも違いが報告されず、検索時に常に両方が見つかる場合があります。ソースコードを他の人にコピーするときにさまざまな表現が失われ、「奇妙な動作」のヘルプを取得しようとすると、ヘルパーが再現できないという問題が発生する場合もあります。

@Erwinのすばらしい答えに触発されて、私は同様の例を書きましたが、Java Stream 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ストリームは内部で使用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");
}