等価演算子

• 等価演算子
  • (曖昧)等価演算子 ‐ 例えば==
  • 厳密等価演算子(同値演算子) ‐ 例えば===

C/C++やその派生(Javaなど)では型を厳密に扱うため、比較演算子として曖昧・厳密の区別はない。

但し、こういった言語は異なる識別子(変数)で同じオブジェクトを参照することが可能となっているため、「値が同じ」「参照するオブジェクトが同じ」の区別が必要となることもある。

C/C++では特に言語的なサポートはないが、ポインターを比較して同じ場所を指しているかどうかで区別は可能である。

Javaの場合は==は「参照するオブジェクトが同じ」かを見るもので、一致するかどうかは.equals()メソッドを使う仕様になっていて、C/C++系言語ではあるがC/C++とは仕様が異なる。対してBetter Java(より良いJava)として開発されたKotlinでは、「値が同じ」かは==、「参照するオブジェクトが同じ」かは===で比較するように別々の等価演算子が用意され、==についてはC/C++と仕様が一致しており違和感がない。

= 記号は代入にも使うため、それとどのように区別するかによって言語ごとの設計思想に違いが出ている。

• BASICとその派生 ‐ =
• Pascalとその派生 ‐ =
• Cとその派生 ‐ ==

参考までに、代入は次の通りである。

• BASICとその派生 ‐ =
• Pascalとその派生 ‐ :=
• Cとその派生 ‐ =

BASICの場合、比較できる場所と代入できる場所は明確に区別されているため、双方=でも問題が出ることはない。

Pascalでは代入を:=とし比較を=とした。対しCは代入を=とし比較を==とした。この二系統はいずれも理系的な言語ではあるが、どちらを=単体で使うか、判断が分かれた興味深い結果となっている。