課題：x式(x == x+2)が真と評価されるような方法で定義します。

質問にCのタグを付けましたが、創造的であるか、言語の興味深い側面を強調している限り、他の言語での回答も歓迎します。

Cのソリューションを受け入れるつもりですが、他の言語でも投票できます。

1. 正しい-標準に準拠した実装で動作します。例外-基本型の実装を想定し、それが一般的な実装である場合（たとえば、int32ビット2の補数であると想定する）は問題ありません。
2. シンプル-小さく、基本的な言語機能を使用する必要があります。
3. 興味深い-主観的だと認めます。私が面白いと思うもののいくつかの例がありますが、私はヒントを与えたくありません。更新：プリプロセッサを避けることは興味深いです。
4. クイック-最初の良い回答が受け入れられます。

60の回答を得た後（そのような参加を期待していませんでした）、それらを要約するのは良いかもしれません。

60の回答は7つのグループに分けられ、そのうち3つはCで実装でき、残りは他の言語で実装できます。

1. Cプリプロセッサ。#define x 2|0提案されましたが、他の多くの可能性があります。
2. 浮動小数点。大きな数、無限大またはNaNはすべて機能します。

3. ポインター演算。巨大な構造体へのポインタにより、2を追加してラップアラウンドします。

   残りはCでは機能しません。

4. 演算子のオーバーロード- +追加しない、または==常にtrueを返す A。
5. 作成x（一部の言語はせずに、それを許可する関数呼び出しをx()構文）。その後、毎回何か他のものを返すことができます。
6. 1ビットのデータ型。その後x == x+2 (mod 2)。
7. 変更2-一部の言語では、それに割り当てること0ができます。

main()
{
double x=1.0/0.0;
printf("%d",x==x+2);
}

出力1。

リンク：http : //ideone.com/dL6A5

Fortran IV：

2=0

この後、プログラムのすべての定数2はゼロです。私を信じて、私はこれをやった（OK、25年前）

これはうまくいくようです：

#define x 2|0

基本的に、式はに展開され(2|0 == 2|(0+2))ます。マクロを定義するときに括弧を使用する必要がある理由の良い例です。

ブレインファック

x

もちろん、Brainfuckでは実際に何も評価されないため、テープを操作するだけなので、これはもちろん「真に評価」されます。しかし、今あなたの表現を追加する場合

x
(x == x+2)

プログラムは次と同等です

+

（すべてが<>+-[],.コメントであるため）。これは、現在の値を増やすこと以外は何もしません。テープはすべてゼロで初期化されているため、カーソル位置で1になります。これは、「true」を意味し[]ます。

F＃

let (==) _ _ = true
let x = 0
x == (x + 2) //true

C

int main() { float x = 1e10; printf("%d\n", x == x + 2); }

注：次の場合は機能しない可能性がありFLT_EVAL_METHOD != 0ます（以下のコメントを参照）。

C＃

class T {
  static int _x;
  static int X { get { return _x -= 2; } }

  static void Main() { Console.WriteLine(X == X + 2); }
}

ショーティーではありませんが、ややエレガントです。

http://ideone.com/x56Ul

Scala： { val x = Set(2); (x == x + 2) }

Haskell： eansでℤ/2ℤをBool定義：

instance Num Bool where
    (+) = (/=)
    (-) = (+)
    (*) = (&&)
    negate = id
    abs    = id
    signum = id
    fromInteger = odd

その後、x :: Bool私たちは持っているでしょうx == x + 2。

更新：コメントのアイデアをありがとう、それに応じてインスタンスを更新しました。

Python

class X(int):__add__=lambda*y:0
x=X()

# Then (x == x+2) == True

GNU Cは、メンバーがなくサイズ0の構造をサポートします。

struct {} *x = 0;

PHP：

$x = true;
var_dump($x == $x+2);

または：

var_dump(!($x==$x+2));

出力：

bool（true）

Cでは、空白は問題にならないというのはよくある誤解です。GNU Cで誰かがこれを思いついていないとは想像できません：

#include <stdio.h>
#define CAT_IMPL(c, d) (c ## d)
#define CAT(c, d) CAT_IMPL(c, d)
#define x CAT(a, __LINE__)

int main()
{
    int a9 = 2, a10 = 0;
    printf("%d\n", x ==
        x + 2);
    return 0;
}

印刷し1ます。

C

マクロを使用せず、無限を乱用することなく、より興味深いです。

/////////////////////////////////////
// At the beginning                 /
// We assume truth!                 /

int truth = 1;
int x = 42;

/////////////////////////////////////
// Can the truth really be changed??/
truth = (x == x + 2);

/////////////////////////////////////
// The truth cannot be changed!     /
printf("%d",truth);

信じられないなら試してみてください！

Mathematica：

x /: x + 2 := x
x == x + 2

このソリューションはMathematicaの Up Values の概念を使用しているため、斬新だと思います。

編集：

Mathematicaで Up Valuesの意味を説明するために、答えを広げています。

最初の行は、シンボルの追加を本質的に再定義しますx。+シンボルに関連付けられているグローバル関数にそのような定義を直接保存することもできますが、そのような再定義はMathematicaの組み込みアルゴリズムを介して予期せず伝播する可能性があるため危険です。

代わりに、タグを使用してx/:、定義をシンボルに関連付けましたx。Mathematicaはシンボルを見るたびに、シンボルが他のシンボルの可能なヌルシーケンスを意味する形式のパターンでx加算演算子によって操作されているかどうかをチェックします。+x + 2 + ______

この再定義は非常に具体的であり、Mathematicaの広範なパターンマッチング機能を利用しています。たとえば、式x+y+2はを返しますx+yが、式x+3はx+3;を返します。前者の場合、パターンは一致する可能性がありますが、後者の場合、追加の簡略化なしではパターンを一致させることができないためです。

Javascript：

var x = 99999999999999999;
alert(x == x+2);​

テストフィドル

スキーム

(define == =)
(define (x a b c d) #t)
(x == x + 2)
;=> #t

明らかな答え：

これが終了すると：

while (x != x+2) { }
printf("Now");

ここで利用しないJavaScriptのためのソリューションであるInfinityと-Infinity浮動小数点加算のエッジケースは。これは、Internet Explorer 8以下でも、オプトインES5厳格モードでも機能しません。私はwith声明とゲッターを特に「高度な」機能とは呼びません。

with ({ $: 0, get x() {return 2 * this.$--;} }) {
    console.log(x == x+2);
}

：追加するには、編集上のトリックは使用しないでも可能であるwithとgetによって示されるように、アンディEにJavaScriptでのゴルフのためのヒントともでjncratonこのページ：

var x = { $: 0, valueOf: function(){return 2 * x.$++;} };
console.log(x == x+2);

以下は標準に準拠したCではありませんが、ほぼすべての64ビットプラットフォームで動作します。

int (*x)[0x2000000000000000];

セージ：

x=Mod(0,2)
x==x+2

Trueを返します

一般に、GF（2 ** n）の場合、任意のxに対してx = x + 2が常に真です

これはバグやオーバーフローや無限大の問題ではなく、実際には正しいです

Common Lisp

* (defmacro x (&rest r) t)
X
* (x == x+2)
T

x実際の値である必要がない場合は、非常に簡単です。

APL（ダイアログ）

X←1e15
X=X+2

APLも、それがフロートの間の違いを伝えるには十分正確ではないだけということですが、無限大を持っていない1.000.000.000.000.000と1.000.000.000.000.002。私の知る限り、これがAPLでこれを行う唯一の方法です。

Perl 6

以前にこの解決策を見なかったことに驚いています。とにかく、解決策がある-どのような場合xである0と2同時に？my \xこの例ではsigilless変数を宣言しています-この質問はx、Perlスタイルではなく質問$xです。?? !!三項演算子です。

$ perl6 -e 'my \x = 0|2; say x == x + 2 ?? "YES" !! "NO"'
YES

しかし...

$ perl6 -e 'my \x = 0|2; say x == x + 3 ?? "YES" !! "NO"'
NO

x一度に複数の値です。xに等しい0と2すぐに。x + 2に等しい2と4すぐに。したがって、論理的には同等です。

Python 2.X（（キャッシュされた）整数の再定義を使用）

私はすべてのPythonの答えが+演算子を再定義するクラスを定義していることに気付きました。pythonの柔軟性のさらに低レベルのデモンストレーションで答えます。（これはpython2固有のスニペットです）

Pythonでは、整数はCで多かれ少なかれこの方法で保存されます：

typedef struct {            // NOTE: Macros have been expanded
    Py_ssize_t ob_refcnt;
    PyTypeObject *ob_type;
    long ob_ival;
} PyIntObject;

それは、持つ構造体であるsize_t、void *とlongその順序で、オブジェクト。
我々が使用するので、整数をキャッシュしたら、私たちは、Pythonの使用できるctypesようにするだけでなく、その整数を再定義するモジュールをx == x+2、しかし、2 == 0

import ctypes
two = 2 # This will help us access the address of "2" so that we may change the value

# Recall that the object value is the third variable in the struct. Therefore,
# to change the value, we must offset the address we use by the "sizeof" a 
# size_t and a void pointer
offset = ctypes.sizeof(ctypes.c_size_t) + ctypes.sizeof(ctypes.c_voidp)

# Now we access the ob_ival by creating a C-int from the address of 
# our "two" variable, offset by our offset value.
# Note that id(variable) returns the address of the variable.
ob_ival = ctypes.c_int.from_address(id(two)+offset)

#Now we change the value at that address by changing the value of our int.
ob_ival.value = 0

# Now for the output
x = 1
print x == x+2
print 2 == 0

プリント

True
True

Perl

パッケージ変数に副作用のあるサブルーチンを使用する：

sub x () { $v -= 2 }
print "true!\n" if x == x + 2;

出力： true!

Python

浮動小数点の精度を活用すると、これが非常に簡単になります。

>>> x = 100000000000000000.0
>>> (x == x+2)
True

システム固有性を低くするには、追加のインポートが必要です

>>> import sys
>>> x = float(sys.maxint + 1)
>>> (x == x+2)
True

これは他の言語でも機能するはずです。100000000000000000.0と100000000000000002.0の表現がマシン内でまったく同じであるため、これは機能します。これは、マシン内での浮動小数点の表現方法のためです。詳細については、http：//en.wikipedia.org/wiki/IEEE_floating_pointを参照してください。

したがって、これは基本的に、整数を浮動小数点数に追加し、その結果を浮動小数点数にすることができる任意の言語で機能します。

以下は、演算子のオーバーロードに基づいたC ++のソリューションです。それはからの暗黙的な変換に依存しているenumとint。

#include <iostream>

enum X {};
bool operator==(X x, int y)
{
    return true;
}

int main()
{
    X x;
    std::cout << std::boolalpha << (x == x+2) << std::endl;
    return 0;
}

私はそれがコードの挑戦であることを知っています...しかし、私はそれをゴルフしました。ごめんなさい。

Ruby-13文字-Infinityソリューション

x=1e17;x==x+2

trueを返します

Ruby-41文字-Opオーバーロードソリューション

class Fixnum;def + y;0 end end;x=0;x==x+2

または

class A;def self.+ y;A end end;x=A;x==x+2

質問を少し悪用しても問題ない場合は、新しいJavaを追加します。トリックは確かに新しいものではありませんが、おそらくJavaでこれが可能であることは興味深いでしょう。

static void pleaseDoNotDoThis() throws Exception {
    Field field = Boolean.class.getField("FALSE");
    field.setAccessible(true);
    Field modifiersField = Field.class.getDeclaredField("modifiers");
    modifiersField.setAccessible(true);
    modifiersField.setInt(field, field.getModifiers() & ~Modifier.FINAL);
    field.set(null, true);
}

public static void main(String args[]) throws Exception {
    pleaseDoNotDoThis();
    doit(1);
    doit("NO");
    doit(null);
    doit(Math.PI);
}

static void doit(long x) {
    System.out.format("(x == x + 2) = (%d == %d) = %s\n", x, x+2, (x == x + 2));
}

static void doit(String x) {
    System.out.format("(x == x + 2) = (%s == %s) = %s\n", x, x+2, (x == x + 2));
}

static void doit(double x) {
    System.out.format("(x == x + 2) = (%f == %f) = %s\n", x, x+2, (x == x + 2));
}

そして結果：

(x == x + 2) = (1 == 3) = true
(x == x + 2) = (NO == NO2) = true
(x == x + 2) = (null == null2) = true
(x == x + 2) = (3,141593 == 5,141593) = true
(x == x + 2) = (Infinity == Infinity) = true

このVBScriptソリューションは、私のJavaScriptソリューションと同様に機能します。私はプリプロセッサを使用しませんでしたが、解決策は簡単なようです。

y = 0
Function x
x = y
y = -2
End Function

If x = x + 2 Then
    WScript.Echo "True"
Else
    WScript.Echo "False"
End If