三項演算子

数学における三項演算子（さんこうえんざんし、）とは、3つの被演算子を持つ演算子のことである。

集合  上の三項演算は  の任意の元3つから  の元を1つ生成する。このような三項演算の例としてジョルダン三項積など三項系における三項積や、の積がある。

プログラミング言語 

プログラミング言語における三項演算子の例として、条件演算子が挙げられる。

条件演算子は、典型的には expr1 ? expr2 : expr3 という形式で記述され、ブール値に変換できる式  を評価し、結果が真なら , 偽なら  を評価し、その結果を値とする演算子である。

C言語など一部のプログラミング言語では条件演算子が唯一の組み込みの三項演算子であるため、非公式な文書において、条件演算子を三項演算子と呼称されることがある。

他の三項演算の例として、Pythonなどにおける配列のスライス演算がある（ただしスライス演算自体は必ずしも3項を必要としない）。

三項演算としてのスライス演算は典型的には expr1 [ expr2 : expr3 ] の形式で記述され、配列（あるいは順序を持ち添字によるデータアクセスが可能なデータ構造）に変換できる式  と整数に変換できる式 ,  をそれぞれ評価し、 の与える配列から ,  が与える範囲の部分配列を値とする演算である。

関連項目 
 三項系

代数的構造
プログラミング言語の演算子
数学に関する記事

de:Bedingte Anweisung und Verzweigung#Auswahloperator