≪ほかの言語もどうぞ≫ a = b? b: c; の冗長性を排除するには?

Question

JSer、PHPerです。

初期値を整理するときなどに、

// bが存在しないならcを初期値にする
a = b? b: c;

というコードを使うと思うのですが、bが二回出てくるのを何とかして、スキっとさせることは可能でしょうか？

bが長ったらしい名前だったりすると結構悲惨です。

もしかすると基本かもしれませんが、よろしくお願いします。

また、Javascript、php以外の言語で、こんなのもあるよ、というのがあれば、そちらも参考のためにお願いします。

Answer 1

$a = $b ?: $c;

a = b || c

a = b || c

a = b or c

Comments

[Takahashi-Ei]

$a = $b ?: $c;
↑こんなのがあるんですね！知りませんでした…
これでスッキリ書け、ぐっすり寝られます。
ありがとうございました！

[miyabi-sun]

これはPHP7で出てきた書き方ですね。

PHP5.6以前は配列のキーが存在するか否かを確認する際は、
下記のように書く必要が有るためめんどくせーって言われてました。

$a = isset($b['hoge']) ? $b['hoge'] : $c;

PHP7では上記の書き方が出来るようになり、こう！

$a = $b['hoge'] ?: $c;

[ngyuki]

いえ、`?:` は PHP 5.3 からの機能で、

https://3v4l.org/RpX8u

おっしゃられているのは `??` だと思います。

https://3v4l.org/dT5RV

[miyabi-sun]

あ、すみません、すっかり勘違いしてしまいました。

[ef3]

b = nil のケースの a は nil であるべき？

例えば Ruby なら
a = defined?(b) ? b : c
とすべきなのかも。

```python
a = b if 'b' in locals() or 'b' in globals() else c
```

[ngyuki]

「変数が存在するかどうか」ならそうですね

[ef3]

「初期値を整理するときなど」というテーゼで従った解です。

[ef3]

質問の解釈に誤謬がある

Answer 2

質問文にあるとおり，「変数が存在するかどうか」 の確認ならisset相当のチェックを行うべきですよね．

$a = isset($b) ? $b : $c;

こんなときは，PHP7から実装されたコイツの出番です．

$a = $b ?? $c;

PHP5では，$_GET $_POST $_COOKIE に対しては一応 filter_input という救済手段があります．
(PHP7でもfilter_varは普通に使うかも)

• $_GET, $_POSTなどを受け取る際の処理
• PHP7で流行って欲しいリクエストパラメータの受け取り方

なお，PHP以外の他の言語においては，issetのようなエラー発生を回避するための仕組みが必要なことは稀です．

JavaScript (strictモード)

• 変数が同じ関数スコープにおいて条件分岐や書かれた場所に関わらず var 宣言されている場合，
  代入されていなくても undefined としてエラー無しに参照できる
  (現在より下の行に書かれていてもOKになることは「巻き上げ」と呼ばれる)
• 変数が同じブロックスコープ内の現在より上の行で let 宣言されている場合，
  代入されていなくても undefined としてエラー無しに参照できる
  (letではvarと違って巻き上げは起こらない)
• プロパティが代入されていない場合，undefinedとしてエラー無しに参照できる

上記に該当しない場合は Reference Error が発生します．
JavaScriptには変数が参照可能かどうかをエラーの発生なしに確認する手段はありません．
(グローバル変数を除く)

Ruby

• 変数が同じ関数スコープにおいて条件分岐に関わらず現在より上の行で代入する記述がある場合，
  代入されていなくても nil としてエラー無しに参照できる
  (RubyではJavaScriptのvarのように巻き上げは起こらない)

上記に該当しない場合は Name Error が発生します．
Rubyでは変数が参照可能かどうかを defined? で確認出来ます．
（PHPのissetのように頻繁に使われることはありません）

Pythonはちょっとわかりません，すいません

Comments

[Takahashi-Ei]

ちょっと調べてみましたが、$bがnullでもエラーが出ないんですね。
これは助かります。重宝しそうです！
ありがとうございました！

[mpyw]

あ，PHPにおいてnullと未定義は異なるのでその点だけご注意を．

isset, empty, is_null の動作まとめ
http://qiita.com/mpyw/items/51bf42fe1ad8a7e535aa

[mpyw]

回答に補足を追記しました．

[think49]

> JavaScript (strictモード)
> - 変数が同じブロックスコープにおいて let 宣言されている場合， 代入されていなくても undefined としてエラー無しに参照できる
ReferenceError になる仕様だったと思います(Google Chrome 49.0.2623.87 m で再現しました)が、そうではない実装があるのでしょうか。
https://jsbin.com/gubaforopa/edit?html,output

[kagi_shippo]

CertaiNさん先ほどは補足ありがとうございます。

＞ ・変数が同じ関数スコープにおいて条件分岐に関わらず var 宣言されている場合，代入されていなくても undefined としてエラー無しに参照できる

素敵。
そこでJavaScriptでは、それを undefined 判定に利用してスッキリ。

var undef, a, b = null;
console.log(a === undef, b === undef);

[mpyw]

think49さん，ご指摘ありがとうございます．私が想定していたのはあらかじめ

let a;
console.log(a);

のように頭で宣言しておく場合で，これが逆転する「巻き上げ」については意識してませんでした．せっかく var についても触れているので，さらに編集しておきます．

[mpyw]

kagi_shippoさん

undefined判定ですが，最近のJavaScriptの仕様(ES5以降)では，グローバルなundefinedという変数は上書き不可になっており，これをそのまま使ってしまって構いません．関数スコープにおいて

var undefined = 1;
console.log(undefined);

とした場合は 1 になってしまいますが，これはそういう変数名を作るほうが悪いということで…ｗ

巻き上げは結構気持ち悪くて，「書かれた場所に関わらず」と書いたとおり

var a = 1;
(function () {
console.log(a);
var a = 2;
})();

これ undefined になっちゃいますし，「条件分岐に関わらず」と書いたとおり

var a = 1;
(function () {
if (false) {
var a = 2;
}
console.log(a);
})();

こっちもundefinedになっちゃいます．

[kagi_shippo]

CertaiNさん

そこで

function something() {
　　var undef, a, b = null;
　　console.log(a === undef, b === undef);
}

です。

undefined を使って undefined判定を行うと指摘されたような懸念があるので、undefined判定を行いたいブロック内で、var undef; などと自分で

「undefined としてエラー無しに参照できる変数」（素敵）

を宣言します。（同じブロック内で何か代入しない限り、undefは、undefined値。）

何も代入しないブロックスコープの変数(undef等)を var宣言しておくと、undefined判定がスッキリ書けて便利です。

[mpyw]

あ，変数名が短いことによる恩恵という意味ですね（納得

[kagi_shippo]

というより、ステートメントが短いことによる恩恵ですね

var undef;

typeof a === 'undefined'　本来
a === undefined　　　　　どこかでundefinedに何か代入されていると×
a === undef　　　　　　　typeof を使わないぶん短い

[think49]

> a === undefined　　　　　どこかでundefinedに何か代入されていると×
> a === undef　　　　　　　typeof を使わないぶん短い
undef も別の値が代入されるとNGなので書き換えたい策としては undefined よりも状況は悪くなっているような…。
undefined のローカル変数化は ES3 の頃に存在したテクニックですが、ES5 のグローバル変数 undefined と違ってローカル変数は書き換え可能です。
スコープチェーン上の書き換えを懸念するならば typeof 演算子か void 演算子を活用するのがベターだと思います。

[kagi_shippo]

なるほど

Answer 3

明示しない限り、原則ショートサーキット(1番目を返す場合は、2番目は評価されない)です。

"0"の扱いがPerl 5とPrel 6で異なります。

# $b が 偽 なら
#   Perl 5 では 0, "0", "", (), undef の五つのみ
#   "0" が Perl 5 では偽になるが、Perl 6 では真になる。
#   Perl 6 では Bool 型への変換で False になるオブジェクト
#   False, 0, "", [], {}, Any, Nil, etc..
#   任意の型で何が偽であるかを定義できるため、無数に存在し得る。
$a = $b || $c;
# $b が 未定義なら
#   defined($b) が偽かどうかで判断する。
#   Perl 5 では undef かどうかになる。
#   Perl 6 では Any や Int などになり、Mu や Nil 等も未定義の一つに含まれる。
#   Perl 5 + use strict や Perl の場合、未宣言はエラーになる。
$a = $b // $c;

未定義かどうかを判断することはできないようです。

# b が 偽 なら
#    __bool__() が False になるオブジェクト
#    False, 0, "", (), [], {}, None, etc...
#    任意の型で何が偽であるかを定義できるため、無数に存在し得る。
#    未定義はエラーになる。
a = b or c

PHP 7から??が追加されました。

// $b が 偽 なら
//   boolean への変換で FALSE になるオブジェクト
//   0, 0.0, "", "0", [], NULL, 空のSimpleXMLElement
$a = $b ?: $c;
// $b が 未定義 なら
//   PHP 7 からの機能
//   未定義な変数は NULL であり、NULL かどうかの判断になる。
$a = $b ?? $c;

変数の種類によって未定義の変数がどうなるかが異なります。

# b が 偽 なら
#   偽は nil, false の二つのみ
#   グローバル変数、インスタンス変数、クラス変数が未定義の場合、
#   nil が定義されたものと見なされるため、未定義の場合という条件に使用できる。
#   ローカル変数や定数が未定義の場合は、エラーになる。
a = b || c
# しかし、||= の場合は、前段階の処理で定義済みとされるため、エラーにならない。
a || = b
# 上は下の糖衣構文
a = a || b
# 処理として、a が未定義の場合、始めに a が定義されたものと見なされ、
# a には nil が入っているとし、偽であるから、b が a に代入される。

NaNも偽になります。

// b が 偽 なら
//   偽は undefined, null, false, +0, -0, NaN, ''
//   未定義は undefined が入るが、未宣言はエラーになる。
a = b || c;

JavaScriptと違って未定義(未宣言)の場合も簡単に確認できるようになります。

# b が 偽 なら
#   JavaScript の || と同じになるし、|| と書くこともできる。
a = b or c
# b が 未定義 または null または undefined なら
#   typeof を使用するため、エラーにならずに未定義か判断できる。
a = b ? c

int?などNullable型にすればプリミティブ型にも使えます。

// Nullable型: b が null なら
a = b ?? c;

関数型言語はMabye型のようなものであれば、同じようにできます。<|>は構文ではなく、中置演算子という関数の一種ですが、Haskellは遅延評価であるため、ショートサーキットになります。

--- Maybe型: b が Nothing なら
a = b <|> c

もうひとつ関数型の例。Noneはnullとは異なる概念です。構文ではなく関数で構成されており、Scalaは正格評価であるため、ショートサーキットではありません。

// b が null なら
a = Option(b).getOrElse(c);
// Option型: b が None なら
a = b.orElse(c)

Java 8にはOptionalというのがあるらしいです。構文ではなく関数で構成されており、Javaは正格評価であるため、ショートサーキットではありません。

// b が null なら ※ Java 8 から
a = java.util.Optinoal.ofNullable(b).orElse(c);

Answer 4

JavaScript なら || を使う方法がありますね。

var a = b || c;

Re: Takahashi-Ei さん

Comments

[Takahashi-Ei]

PHPの場合と違う結果になるんですね！
勉強になりました。ありがとうございます！

[mpyw]

PHPの || は強制的に論理値にしちゃう残念実装です…ｗ

Answer 5

縮めてスッキリさせる方法が出尽くした感じなので、あえて便乗させてください。

逆説的ですが
やはり初期値を整理するときなどに、判定しまくりなら三項演算子をつなぎまくると、逆にスッキリって場合もありです。

a = b > 100  ? c   :
    b > 10   ? d   :
    b > 1    ? e   :
    b        ? f   :
    a;

インデント頼りで芸がないですが、ifや、Switchより見やすく短いんで。

Comments

[mpyw]

これね！PHPでは絶対にやっちゃいけないんですよね！他の言語だったらいいんですけど，PHPだけはダメなんです．結合優先順位の設計ミスを歴史上ずっと引きずってるんです．クソ言語なので．

http://www.php.net/manual/ja/language.operators.comparison.php#language.operators.comparison.ternary

但し，

$a = $b ?: $c ?: $d;
$a = $b ?? $c ?? $d;

に関しては問題なく使えます．

[Takahashi-Ei]

はーー、こんな方法があったんですね！
いやほんと、ifや、Switchより見やすく短いです。
機会があったらぜひ使ってみます。ありがとうございます！

[kagi_shippo]

あーー！　最大級にありがとうございます！！！！
人のスレに便乗しておきながら、ほんとすんません！
php無知でした

つまりphpでそのまんまやろうとすると、こういうキモいことになるわけですね・・・

$a = $b > 100　　? $c　　:(
　　　$b > 10 　　? $d　　:(
　　　$b > 1　　　? $e　　:(
　　　$b　　　　　? $f　　:
　　　$a )));

この可読性じゃインデントしても使えませんね・・・