関係演算子

計算機科学において、関係演算子または比較演算子とは、プログラミング言語の演算子で、2つの対象の関係を調べるものをいう。たとえば、同値関係を調べる等号や、順序関係を調べる不等号などが含まれる。

JavaやC#など、独立したブーリアン型を型システムに持つ言語では、関係演算子は2つのオペランドの間に演算子が表す関係が成り立つかどうかによって真  または偽  を返す。一方で、C言語などのブーリアン型を持たない初期の言語では、関係演算子は整数 0または 1を返す。

関係演算子を含む式は、関係式  または条件  と呼ばれる。また、技術的な文献において、関係を言葉で説明する代わりに関係演算子が用いられることもある。多くのプログラミング言語では、関係演算子は中置記法で記述される。たとえば、以下のC言語のコードは、//x// が //y// より小さい場合にメッセージを表示するものである。

if  { printf; }

他方で前置記法を採用している言語もある。たとえば、Lispでは以下のように書く。しかしこれは演算子というよりも、Lispでは識別子に使える文字の範囲が緩くて、単に >= という名前の関数であるというだけである。

 )

1. 標準的な関係演算子
------------

多くのプログラミング言語で使用されている標準的な数値比較演算子を以下に示す。



2. 等号
-----

2.1. 代入演算子との混乱
--------------

C言語から直接または間接的に派生したプログラミング言語では、同値関係の関係演算子として、直感的な = ではなく == を用いる。一方、= を用いる言語としては Pascal、BASIC、Ada、Standard ML、Objective Caml、SQL、VHDL などがある。

C言語は広範囲に普及したため、後発のプログラミング言語における構文や仕様はC言語のそれを参考に定義されたものも多いが、そのうちの一つがこの == 演算子である。この独特の構文は、B言語開発の初期の段階で = を別の意味に割り当てたことに端を発する。ALGOLとFORTRANの流れを汲むB言語の設計者は、タイピングを減らしたいという要望から、頻繁に記述される更新・代入操作のためのコピー演算子として = を代用することを決定した。代わりに、= が本来担う役割である等号として == が使われることとなった。C言語はこれらの演算子をそのまま引き継ぎ、以後JavaやC#をはじめとする多くの言語がこの構文を採用したのである。

これらのC言語ファミリーにおける = の用法はバグの温床になりうる。C言語にはブーリアン型がなく、if文やwhile文の条件式には真偽値に評価されうる任意の数値型の式を受け付ける。またC言語における代入は文ではなく式であり値を持つ。そのため、プログラマーが if  の代わりに、if  とミスタイプしても構文的には合法となってしまうのである。C言語において、if  は大雑把に言えば「//x// と //y// が等しければ後続の文を実行せよ」を意味する。しかし、if  とミスタイプすると「//x// に //y// の値を割り当て、もし //x// の新しい値が0でなければ、後続の文を実行せよ」という意味になってしまう。たとえば、下記の例で if  と書いてしまうと、//y// が //x// に代入され両方とも2になり、更に //x// の値2は0ではないので、常に if 文のブロックが実行される。したがって、以下のコードは "x is 2 and y is 2" を出力する。

int x = 1; int y = 2; if  { /* yが0でなければ以下のコードは常に実行される */ printf; }

他の言語やコンパイラの中には、このようなミスを事前に防ぐように工夫されているものもある。

同じ演算子を持つJavaやC#も同様の問題を孕んでいるが、これらの言語ではこの種の誤りは、ほとんどの場合コンパイルエラーとして検出できる。if文やwhile文などの条件式はブーリアン型に制約され、また他の型からブーリアン型に暗黙的に変換されることもほとんどないからであるただしJavaのJavadoc:SE。
GCC/ClangやMicrosoft Visual C++などのいくつかのコンパイラでは、if や while の条件式中に代入演算子を含んでいるコードをコンパイルするときに警告を出す。
PascalやAdaなどでは、Cと違い代入演算子は:=、等値比較演算子は=であり、また式の途中に代入演算子は登場できないので、この種の誤りは排除できる。
Pythonにおいては、C同様に代入演算子は=、等値比較演算子は==であるものの、代入は式ではなく文であり、この種の誤りは排除できる。Python 3.8では値を返す代入式が導入されたが、Pascalと類似の代入演算子:=が使われるため、通常は比較演算子の==と混同するようなことはない。
BASICなどのいくつかの言語では、文脈に応じて構文的に弁別できることから、代入演算子と等値比較演算子の両方に = 記号を使用する。BASIC系では代入は式ではなく文であり、代入演算子としての=のほうは式中に出現することがない。また、プログラマーの中には予防策として、定数に対する比較を記述するとき、以下のように直感とは逆の順でオペランドを記述する者もいる。定数は左辺値ではないので、このように比較演算子の左側に記述するスタイルにしておけば、たとえ誤って = と書いてしまったとしても、そのコードは不適格となる。コンパイラは不適格コードに対してエラーメッセージを出力し、コンパイルを中断するので、記述ミスに気づくことができ、結果、適切な演算子に修正できるのである。このコーディングスタイルはヨーダ記法や left-hand comparison として知られている。ただしこの記法には、比較対象の少なくとも片方が左辺値を持たないような場合にしか使えない、多くの場合は重要な側の式が後から現れることになる、といった欠点がある。コーディング規約として推奨しているプロジェクトもあれば、推奨していないプロジェクトもある。

if  { /* 仮に = と == を誤用した場合はコンパイルエラーを引き起こす */ /* ... */ }

なお、C/C++では、以下のように意図的に条件式中に代入式が書かれることもある。ただし前述のように、コンパイラは通例このようなコードに対しても警告を出す。 FILE* fp = NULL; if ) { /* 指定したファイルを開くことができ、fp が non-null となった場合の処理 */ fclose; fp = NULL; }

2.1.1. PHP での拡張
---------------

PHPでは、== 演算子をさらに拡張し、型が異なっても値が等しければ真を返す == 演算子と、値が等しくかつ同じ型を持っている場合に真を返す === 演算子の2種類の演算子を持っている。x == 0 は //x// が 0、"0"または falseのときに真を返す。これは、変数に 0 の値が割り当てられているかを確認するのに便利であるが、必ずしも期待される動作とは限らない。一方で、x === 0 は //x// が 0 のときのみ真を返す。

2.2. オブジェクトの同一性と内容の等価性
----------------------

多くの現代的なプログラミング言語において、オブジェクトやデータ構造は参照を通じてアクセスされる。そのような言語では、2種類の異なる等価性を判定する必要性が生じる:

物理的な等価 - 2つの参照が同じオブジェクトを参照しているかどうか
構造的な等価 - 2つの参照が参照するオブジェクトがある意味において等しいかどうか
浅い等価判定
深い等価判定通常、前者の等価性は後者の等価性を含意しているが、逆は必ずしも真ではない。たとえば、2つの文字列オブジェクトは別個のオブジェクトであるかもしれないが、同じ文字の並びを持ちうる。

次の表では、これらの2種類の等価性を判定するための異なる方法を、様々な言語において一覧できるようにしてある。

 1 C# では、参照型に対する == 演算子は既定で ReferenceEquals メソッドの呼び出しと等価になるが、代わりに Equals メソッドを実行するように演算子オーバーロードをすることができる。このことによって、構造的な等価性の方がより直感的と思われる型において、== で構造的な等価性を判定するようにできる。特に文字列比較において、このことが効果的である。ただし、変更可能  な参照型の場合は、==演算子をオーバーロードすべきではないとされている。多くの.NET言語では、参照型における組み込みの比較演算子は参照の等価性を判定するために用意されているものであり、驚き最小の原則の観点からも、一般的にオーバーロードは避けるべきとされている。

3. 論理的同値性
---------

一見して自明ではないが、比較演算子は、互いにほかの比較演算子を用いて論理的に同値な命題を構成できる。これは、ちょうどブール論理の論理演算子 XOR、AND、OR、NOT の間で見られる関係に似ている。以下の4つの条件式は互いに論理的同値である。

さらに、等号も不等号を用いて表現することができる。

この性質をプログラミングに応用して、不等号 ≥ だけを真面目に実装し、ほかの比較演算子を ≥を用いて定義することも行われる。

4. 脚注
-----

4.1. 注釈
-------

4.2. 出典
-------

5. 関連項目
-------

演算子
二項演算
二項関係
等号
不等号
等価性