Null合体演算子

null合体演算子はC#やバージョン5.10以降のPerl、Swiftなど、いくつかのプログラミング言語に存在する、ある種の条件演算子で、PerlではDefined-or 演算子と呼ばれる。エルビス演算子も参照。C言語の3項演算子 ? : で表現すると  ? a : b ) というような意味のコードをより単純に書ける、一種の糖衣構文と見ることもできる。

1. 例
----

1.1. C#
-------

C#ではnull合体演算子は??である。次のように用いる。

possiblyNullValue ?? valueIfNull

例えば、ページのタイトルが存在しない場合に既定値として"Default Title"を設定したい場合には、以下の文を用いることができる。

string pageTitle = suppliedTitle ?? "Default Title";

これは次のようなより冗長な表現の代わりとして用いることができる。 string pageTitle =  ? "Default Title" : suppliedTitle; あるいは string pageTitle;

if  pageTitle = "Default Title"; else pageTitle = suppliedTitle;<WtXmlEndTag /> これら3つの表現は等価である。

この演算子は同じ式の中で複数回用いることができる。 return some_Value ?? some_Value2 ?? some_Value3; 一度、非nullな値が設定されるか、最終値にたどり着くと完了する。

1.2. CFML
---------

ColdFusion 11もしくはRailo 4.1ではCFMLはnull合体演算子を三項演算子?:の一種としてサポートする。上述のC#の同様のものと機能的にも文法的にも等価である。以下がそのコード例である。 possiblyNullValue ?: valueIfNull

1.3. Perl
---------

Perlにおいてnull合体演算子は//であり、以下のようなPerlのコードで用いることができる。

$possibly_null_value // $value_if_null

//possibly_null_value//は//null//か//非null//か評価される。評価に基づき、//possibly_null_value//がnullの場合には//value_if_null//が返され、そうでない場合は//possibly_null_value//が返される。三項演算子  がサポートされる言語における三項演算子と同様に動作する。上述のPerlのコードは三項演算子の以下の用法と等価である。 defined ? $possibly_null_value : $value_if_null この演算子の最も一般的に利用法は単なるnullチェックのためのコードを最小限にするためである。

ある種の非nullの値を偽として取り扱う他の言語と同様に、論理和演算子"||"はnull合体演算子ではない。

DB<1> print 0 // 1 # null合体演算子 0 DB<2> print 0 || 1 # null合体演算子ではない 1

Perlはさらに//=代入演算子を有し、a //= bはa = a // bとおおむね等価である。

1.4. Swift
----------

Swiftではnil合体演算子は??である。Optional型のアンラップの際のデフォルトを提供するために用いられている。

optionalValue ?? valueIfNil

例えば、ページのタイトルが存在しない場合にデフォルトとして"Default Title"を設定するSwiftのコードを実装したい場合には、以下の文を用いることができる。

var suppliedTitle: String? = ... var pageTitle: String = suppliedTitle ?? "Default Title"

これは以下の冗長な文の代わりとなる。 var pageTitle: String =  ? suppliedTitle! : "Default Title";

1.5. SQL
--------

OracleのPL/SQLではNVL関数が同じ役割を提供する。 NVL;

SQL Server/Transact-SQLでは同じパターンのISNULL関数が存在する。 ISNULL;//ISNULL//と//IS NULL//を混同しないように注意が必要である。後者は何かが//NULL//として宣言されているか否かを評価するために存在する。

ANSI SQL-92標準規格はOracle、SQL Server、PostgreSQL、SQLite、そしてMySQLに実装されているCOALESCE関数を含む。COALESCE関数はnullでない最初の引数を返し、すべての引数がnullの場合はnullを返す。 COALESCE;

1.6. PHP
--------

PHPではPHP 7以降でnull合体演算子??を利用できる。

$var = $foo ?? $bar ?? $foobar; // これは以下と等価である。 $var =  ? $foo :  ? $bar : $foobar));

PHP 7でnull合体演算子??が追加される以前から、三項演算子として用いられる?:条件演算子の真ん中の部分を二項演算子を作るために除外することができた。最初は関連した言語に登場したので、顔文字と似ていることからエルビス演算子としても知られている。 $foo = $foo ? $foo : $bar;

$foo = $foo ?: $bar;<WtXmlEndTag />

return $foo ?: $bar;

しかし、PHPの文法上の不幸なエラーにより、三項の条件演算子はPHPにおいては期待される動作と違い左結合性であるため、 複数の条件演算子を組み合わせると極めて直感的でない結果となる。エルビス演算子はチェーン表記した際にこの文法上の制約にさらされる。

// 以下は等価である。 $var = $foo ? $bar : $bar ?: $baz; $var =  ?: $baz; $var = $bar ?: $baz;

// 期待される動作は括弧を用いることによって得られる。 $var = $foo ? $bar : ;<WtXmlEndTag />

?:演算子は、最初の項がTRUEと評価されるときに最初の項を返す。また、最初の項に未定義の変数が与えられた場合にNOTICEレベルの警告を発生する。

一方、??演算子は未定義の変数を与えることができ、また、最初の項がNULLまたは未定義の変数でなければ、整数0や空の配列などFALSEと評価される値であっても最初の項を返す。この点において、演算子はPHPのisset疑似関数と同様に振る舞う。

これらの演算子は、PHPにおける三項演算子の用法と同様に、結果を変数に代入する代わりにechoやreturnにも用いることができる。

echo $foo ?? $bar;

echo $foo ?: $bar;

return $foo ?? $bar;

return $foo ?: $bar;<WtXmlEndTag />

1.7. JavaScript
---------------

ECMAScript 2020でNull合体演算子がサポートされた。

const a = b ?? 3;

2. 他の演算子を使用しての再現
----------------

条件演算子やOR演算子などを用いることでnull合体演算子と同様の働きを再現させることができる言語も多い。

エルビス演算子: エルビス演算子は本来はnullではなくfalseのチェックを行うものだが、nullをfalseとみなす言語が存在する。
OR演算子: エルビス演算子と同様nullをfalseとみなす場合に、短絡評価の仕様を利用することで実現する
カスタム演算子の定義

2.1. Python
-----------

Pythonのor演算子は以下に示されるようにnull合体演算子ではない。 >>> 0 or 1 1 もしもorがnull合体演算子であれば、最初のnullでない値である0を返すはずである。しかしながら、実際には、or演算子は左項が0やFalseや空文字列でないことを保証するために用いられることがある。

2.2. Scheme
-----------

Schemeでは"偽"と"null"は#fと表記される同じ値で代表される。その上、0や空文字列や空リストが偽として振る舞う他の一部の言語と異なり、#fはSchemeの論理演算子で偽として評価される唯一の値である。と表記される論理or演算子は、xが偽でない場合にはxを返し、そうでない場合にはyを返す。これにより、Schemeでは独立した「null合体演算子」を設ける必要性がなく、orがその目的を達成する。

2.3. JavaScript
---------------

ECMAScript 2019以前では、null合体演算子の役割は論理or演算子を用いることで達成されていた。 function setTitle { this.title = suppliedTitle || "Default title"; }

これはJavaScriptの真偽判定のコンセプト上の問題により、null合体の正しい例ではないことに注意が必要である。このため、JavaScriptが偽であると評価する値も同様に文の評価において合体され、望ましくない結果をもたらす可能性がある。

2.4. Kotlin
-----------

Kotlinはエルビス演算子?:を用いる。

val title = suppliedTitle ?: "Default title"

2.5. Groovy
-----------

GroovyでもKotlinと同様にエルビス演算子を使用することができる。 エルビス演算子は本来はnullではなくfalseのチェックを行うものだが、これらの言語ではnullはfalseとみなされる。

2.6. Objective-C
----------------

Objective-Cにおいてはnull合体演算子の役割は?:演算子における?の後の重複した値を単純に省略することによって達成される。

id valueOrNil = ...; id nonNilValue = valueOrNil ?: @"Some Default Value";

注意：JavaScriptやPythonの場合と同様に、intやBOOLのようなプリミティブと用いた場合には偽として評価され、続く値が返されるため、これは「真の」null合体演算子ではない。さらに、この表記はLLVMコンパイラに追加されたCのGNU拡張であることにも注意が必要である。

2.7. F#
-------

nullはF#においては値や変数として通常用いられない。しかしながら、例えばF#のコードがC#から呼ばれるような場合にnullが登場する。

F#は組み込みのnull合体演算子を持っていないが、必要に応じてカスタムの演算子として定義することができる。

let  lhs rhs = 

このカスタムの演算子はC#の組み込みのnull合体演算子と同様に用いることができる。

let pageTitle = suppliedTitle |? "Default Title"

2.8. Smalltalk
--------------

Smalltalkには演算子は存在せず専用の構文も存在しないが、関数呼び出しに相当するメッセージ式と無名関数に相当するブロックの組み合わせで同等の機能を実現している。 value := value ifNil: [ 0 ].なお、逆の式も存在する。 value := value ifNotNil: [ 0 ].ブロックと式の組み合わせであるため下記のように分離することもできる。

これは、ブロックを上位のメソッドから引数として受とる場合に役に立つ。 block := [ :argument | 1 + argument ]. value := value ifNotNil: block.

<WtXmlEndTag />

3. 関連項目
-------

演算子
条件演算子: ? :
Null条件演算子: ?. など
エルビス演算子: ?:

4. 参考文献
-------