エルビス演算子とは？わかりやすく解説

エルビス演算子（エルビスえんざんし、英語: elvis operator）は、いくつかのプログラミング言語にある演算子で、字句構文は ?: である。三項条件演算子 (? :) と違い、この連続する2文字で1つの演算子であり、意味的には三項演算子の第二項 (A ? B : CのB) が無いもの、というような機能を持っている。

Null合体演算子に似た制御機能を持つが、第一項の扱いが異なる。ただし、エルビス演算子にNull合体演算子の意味と役割を持たせている言語もある。

例

エルビス演算子を用いて以下のように記述すると、xには左式exprLの評価結果が真^{[注釈 1]}と判定される場合にはその結果が、それ以外の場合には右式exprRの評価結果がセットされる。

x = exprL ?: exprR

これは三項演算子を使って以下のように書くこともできる。

x = exprL ? exprL : exprR

ただし、エルビス演算子ではexprLが真の場合でも、式が二度評価されることはない。すなわち、以下と同値である。

x = exprL
x = x ? x : exprR

名称

エルビス演算子はエルビス・プレスリーの顔文字 (emoticon) に形が似ていることからこう呼ばれる^[1]^[2]。

サポートする言語

GNU C/C++ (GCCによる拡張) では、三項演算子の第二項を省略することができる^[3]。GCC 2.95.3より使用可能^[4] (March 2001)。
PHPでは PHP 5.3より ? : の第二項を省略可能^[5] (June 2009)。
Apache Groovyではエルビス演算子?:は独立したオペレータとして文書化されている^[6]。この機能はGroovy 1.5より追加された^[7] (December 2007). GroovyはGNU GやPHPと異なり? :の第二項を省略することは許されておらず、?:の間にスペースを入れることはできない。
Fantomではエルビス演算子の第一項をnullと比較する。
Kotlinではエルビス演算子の第一項をnullと比較する。また、第二項に制御式を記述することもできる^[8]。よくあるパターンとしてthrow式やreturn式を記述する（val foo = bar() ?: return）。
Gosuではエルビス演算子の第一項をnullと比較する。
C#ではnull合体演算子がエルビス演算子と同一視されることがあるが^[9]^[10]、第一項をnullと比較するという点でエルビス演算子とは挙動が異なる。

短絡評価の論理和演算

「短絡評価」も参照

Perl、Python、JavaScriptなどでは論理和演算 (||またはor) が同様の働きをする。すなわち第1項が真値あるいは真値とみなされる値である場合は第2項を評価せずに第1項が論理和式の評価値となり（短絡評価）、第1項が偽値あるいは偽値とみなされる値である場合は第2項が論理和式の評価値となる。

Common Lisp、Scheme では、or特殊フォームがエルビス演算子に対応するが、エルビス演算子よりも汎用的であり、or特殊フォームは任意個数の項を受け入れる。第1項から順に真値が見つかるまで項を評価してゆき、真値が見つかったらそれ以降の項の評価せずに、見つかった真値をor特殊フォームの評価値として評価を終える。

脚注

[脚注の使い方]

注釈

^ 言語によっては「非null」。

出典

^ “coding style - ?: operator”. Stack Overflow. 2014年2月17日閲覧。
^ Joyce Farrell. Java Programming. p. 276. ISBN 978-1285081953. "The new operator is called Elvis operator because it uses a question mark and a colo together (?:)"
^ https://gcc.gnu.org/onlinedocs/gcc/Conditionals.html#Conditionals
^ https://gcc.gnu.org/onlinedocs/gcc-2.95.3/gcc_4.html#SEC70
^ “PHP: Comparison Operators - Manual”. PHP website. 2014年2月17日閲覧。
^ “Elvis Operator (?: )”. 2017年2月26日閲覧。
^ http://groovy-lang.org/releasenotes/groovy-1.5.html
^ https://kotlinlang.org/docs/reference/null-safety.html#elvis-operator
^ http://stackoverflow.com/questions/27493541/null-conditional-operator-and-string-interpolation-in-c-sharp-6
^ https://www.linqpad.net/download.aspx

[1] 言語によっては「非null」。

[2] “coding style - ?: operator”. Stack Overflow. 2014年2月17日閲覧。

[3] Joyce Farrell. Java Programming. p. 276. ISBN 978-1285081953. "The new operator is called Elvis operator because it uses a question mark and a colo together (?:)"

[4] ttps://gcc.gnu.org/onlinedocs/gcc/Conditionals.html#Conditionals

[gcc-conditionals-5] ttps://gcc.gnu.org/onlinedocs/gcc-2.95.3/gcc_4.html#SEC70

[6] “PHP: Comparison Operators - Manual”. PHP website. 2014年2月17日閲覧。

[groovyOperators-7] “Elvis Operator (?: )”. 2017年2月26日閲覧。

[8] ttp://groovy-lang.org/releasenotes/groovy-1.5.html

[9] ttps://kotlinlang.org/docs/reference/null-safety.html#elvis-operator

[10] ttp://stackoverflow.com/questions/27493541/null-conditional-operator-and-string-interpolation-in-c-sharp-6

[11] ttps://www.linqpad.net/download.aspx

[注釈 1]

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

エルビス演算子とは？わかりやすく解説