条件演算子とは (ジョウケンエンザンシとは) [単語記事]

条件演算子(conditonal opeator)又は三項演算子とは、条件によって違う値を返すための演算子である。

概要

演算子とは"1 + 2"における"+"のことである。この場合、オペランド(: operand. 非演算数。左記の"1", "2"のこと)が2つなので二項演算子に分類される。

条件演算子は、「条件」「真式(条件が真の時の値)」「偽式(条件が偽の時の値)」をオペランドにとり、条件(の計算結果)が真の時は、真式を評価(計算)した結果を返し、条件が偽の時は、偽式を評価した結果を返す演算子である。

オペランドが3つなので三項演算子に分類される。ちなみに、"i++"のようにして使うインクリメント"++"や、"-a"のように数値の正負を反転させる"-"はオペランドが1つなので単行演算子と呼ばれる。

C言語、Javaなどでの表記法では、

 条件 ? 真式 : 偽式

という形をとる。

条件演算子を最初に普及させたC言語において、条件演算子は唯一の三項演算子であったため、条件演算子のことを三項演算子と呼ぶことも多い。その後の歴史のおいても条件演算子以上に汎用性の高い三項演算子が普及することはなかったため、三項演算子と言えば条件演算子を指す状況は継続している。

この条件演算子に限った話ではないが、こうした簡略表記の類には、濫用するとソースコードの可読性を低下させるという問題を孕んでいる。可読性とは「読み易さ」のことで、可読性が低いとは「読み難い」ということである。ソースコードの可読性が低いと、デバッグや保守の際に大変面倒なことになる。

プログラミング言語に於いて、条件分岐を実現するには基本的にif文を用いる。しかし、C言語、Java、Python3等の幾つかのプログラミング言語には、if文を簡略化した条件演算子（三項演算子）を使用できる。

良い子は真似をしてはいけない。ワンライナーとかを目指しているのでなければ条件分岐には素直にif分を使おう。

こういった可読性の問題を意識してか、同様のことを実現するのに演算子ではなく式(expression)という形式を取る言語もある。たとえばPython3では「条件式 (Conditional Expressions)」と称する。

実際にPython3で記述したコードを次に示す。

print("1...Aレース / 2...Bレース")
n = int(input())

if n == 1:
    print("Aレース選択")
else:
    print("Bレース選択")

上記と等価なソースコードを、if文の部分を条件演算子に置き換えた形で次に示す。

print("1...Aレース / 2...Bレース")
n = int(input())

print("Aレース選択" if n == 1 else "Bレース選択")

この様に、たった1行で記述できる。

ソースコードの可読性の高さを売りにしているプログラミング言語の一つであるPythonでは、条件演算子の導入が長い間見送られ、バージョン2.5からようやく導入された。

ちなみに、ScalaやKotlinも条件演算子の機能はif式で実現している。