jsにおける「 || 」論理和演算子について簡単にどういうものなのか、教えてください

Question

###　演算子について、

演算子とは　）個人的な解釈↓
簡単に言えば「記号を使った演算を求める方法」って考えてもいいのでしょうか。。。

また、とあるソースコードをネットで見つけて独学していくうちに、
「　｜｜　」という論理和演算子にたどり着きました。

そもそも演算子と一言で言ってもその演算子には大きく分けて５つもの種類があるそうです

１：算術演算子
２：ビット演算子
３：論理演算子
４：比較演算子
５：代入演算子

その中でも特に　１算術、４比較、５代入、はベースみたいなもので、
主に結構な頻度で利用されていることがわかりました。

しかし２のビット演算子や３の論理演算子に関しては
基礎知識で独学していって今初めて目にした物で驚きと好奇心を隠せません。

本題に入ります。

　||　論理和　とは

論理演算子に依存する「　||　論理和」は、
＝**「 二つの値の論理和を求める（ 一方または両方がtrueならtrue ）」**
とのこと、
ではここで言われる「二つの値」とは一体どこのことなんでしょうか。
また
論理和を簡単にいい表すならどういう意味なのでしょうか。
ウィキペディア）

以下のコードではどんな動作をしているのでしょうか。
どこと関連しているのか、

var daaf = daaf || {};

//　「　||　」 は演算子の一つで、「論理演算子」として使われる。
// || = 論理和　＝　２つの値の論理和を求める（一方、または両方がtrueならtrue)。


/*「二つの値の論理和を求める」、　この　「二つの値」　とはどこのことでしょうか。。*/


daaf.cbit = {

init:function(){
				this.setP();
				this.Event();
		},

//  ・・・処理・・・

}


$(function(){
		daaf.cbit.init();
});

僭越ながら教えていただけませんでしょうか

Answer 1

||

|| は「左項」「右項」のいずれかを返す二項演算子です。

console.log( A || B );

• 「左項(A)」が truthy -> 「左項(A)」を返す
• 「左項(A)」が falsy ->　「右項(B)」を返す

truthy, falsy

• truthy -> Boolean形に変換して true に変換される値の性質
• falsy -> Boolean形に変換して false に変換される値の性質

Boolean形への変換は ToBoolean で行われますが、コードで試す上では Boolean() と同等です。

• 7.1.2 ToBoolean - ECMAScript® 2019 Language Specification
• Boolean - JavaScript | MDN

Re: o_0　さん

Answer 2

演算子は数学の記号と同じものと思って頂いてよいと思います。（+とか-とか）

挙げられているサンプルがちょっと特殊な使い方で、数学とは違ってプログラミング言語で昔から書かれている作法みたいなものです。

|| 演算子の左側がTrueだと右側の値にTrue,Falseどちらが来ても||演算子が生成する値はTrueとなるので左側がTrueの時は右側は見なくてよい（右側の値は計算しなくてよい）という性質を利用して
処理をショートカットする時にこのような書き方をします。

var daaf = daaf || {};

これを評価（計算）すると
daafに何か値が入っている場合(nullでない場合）はその値を返し、daafに代入
値が入っていない場合(nullの時)は{}（中身が空っぽのオブジェクト）が生成されdaafに代入
という動作になります。

プログラミング言語の制御構造で同じことが書けますが、
var tmp;
if(daaf == null)
tmp = {};
else
tmp = daaf;

daaf = tmp;

みたいに書くと長くなるので、1行で書きたい時に使う書き方です。

数学の論理演算の話と計算機が現実に行う計算の話がごっちゃになっているので
これ何？という印象になるのかと思います。

Comments

[o_0]

ほぁあ、なるほどです。
||　は、
左側が真の時
右側の値に真,偽どちらが来ても"論理和演算子が生成する値は(真)となる"ので！
右側は見なくてよい。

どちらにしろ真じゃん！でも
左が偽なら、
右側の空っぽの値を？daafに返す。でいいのでしょうか

daaf || {};　

この場合は、

daafに値やデータが入っているから、その値を返し、daaf（変数？）に代入！で

daafに値が入っていない場合は{}（中身が空っぽのオブジェクト）が生成されdaafに代入！

daafにデータが入っているか入っていないか（処理が出来てるか出来てないか）は、
次の行の　daaf.cbit = {・・・処理内容・・・}でわかる、ってことでいいのでしょうか。

わかりやすい解説と、
＞if文みたいに書くと長くなるので、1行で書きたい時に使う
という理由、そして
＞数学の論理演算の話と計算機が現実に行う計算の話がごっちゃになっているので
これ何？という印象になるのかと思います。
など
質問主がなぜ疑問に思ったのか
その理由までも把握配慮してくれたあなたに深く感謝します。

ベストアンサーです

[退会済みユーザー]

完全に理解されているかと思います。
現実のプログラムとして
関数A：処理結果としてTrueもしくはFalseを返す。但し処理に5秒かかるとする
関数B：処理結果としてTrueもしくはFalseを返す。但し処理に10秒かかるとする

関数Aと関数Bの処理結果を||した結果（||した値がTrue or False)を求めたい時に
関数A || 関数B
と書いて正直に計算すると15秒かかるのを5秒で済ませられるようにプログラミング言語が作ってある、と思うと理由がイメージしやすいかもしれません。

分かりにくくしている要因がもうひとつあって、他の方々が詳しく書いて下さっている通りですがJavaScriptはTrue,Falseとみなす範囲が広くて例えば変数の場合ですと、条件式に変数だけ書くとその変数が差している値が
nullの場合: Falseとみなす。但しみなすだけで、値自体はnull
null以外:の場合Trueとみなす。但しみなすだけで、値はその変数の値
となるので

var a = 1;
var b = 2;
var result = a || b;
→resultには1が入っている

var a = null;
var b = 2;
var result = a || b;
→resultには2が入っている
となります。数字の箇所をdaaf と {} に置き換えてもらえばご理解頂けるかと思います。

[o_0]

そうですよね！

daaf.cbit = {
・・・処理・・・
};
var a = daaf; 　//daafは変数Aにとっての中身のある”値”である）
var b = {}; 　 // {} は変数BにとってのFalseで”null値”である）値自体はnull

var result = a || b;

//{ A or B }（ 仮にBにデータがあった場合でもAが偽でない限りA参照 ）
result = a

論理和 || がここでどれだけ重要な役割をはたしているか
実感することができました！

お陰さまでまた一歩前進です。

[退会済みユーザー]

もしかして誤解されているかもと思ったのでちょっとだけ・・(誤解されてなかったらすみません）

var b = {}; 　 // {} は変数BにとってのFalseで”null値”である）値自体はnull

JavaScript固有の話になるんですが、"null" と "{} "(空っぽのオブジェクト）は別物です。
・nullは変数を宣言したのだけど、「この変数はどこも指してないよ」という状態を表したい時に使います。
・{}は実際のオブジェクトを生成するよ、という意味です。中身は空っぽなんですけど実際のJavaScriptオブジェクトは見た目空っぽでもかなりの量の情報を保持していてます。誰も住んでいない家（見た目空っぽ）でも家自体にはかなり大きな物体といえばいいでしょうか・・。
ですので、
var b = {}; ←この1行を実行すると、オブジェクトがメモリに確保されて使える状態になります。

また、条件式の中では
null:Falseとみなされる
{}:Trueとみなされます。（ここ誤解されているのではないかなと危惧しています）

まとめですが、
var daaf = daaf || {};
この1行がやりたいことは、これ以降daafという変数を使って何かやるけどdaaf変数がメモリに確保されているオブジェクトを指していない状態(nullの場合)に処理を行うと困ったことになるので(例外が発生してプログラムが止まる）、
nullであるならば{}というオブジェクトを生成して以降、そのオブジェクトを使って処理をするということです。

[think49]

@Genon さん
> null以外:の場合Trueとみなす。但しみなすだけで、値はその変数の値

これは誤りです。
+0.-0,NaN,'' 等、falsy な値は他にもあります。
詳細は私の回答のリンク先を参照下さい。

@o_0 さん
ベストアンサーに選んだ @Genon さんの回答のみを参考にして理解に努めようとしているように見受けられますが、頂いた回答全てに目を通して、総合的に判断する方が得るものが大きいのではないかと思います。

[退会済みユーザー]

think49さん、ご指摘ありがとうございます。
他にもあることは承知しているのですが、網羅すると話が発散しそうだったので、今回のケースに絞って書いた次第です。
失礼しました。

[think49]

@Genon さん
そういうことでしたか。
横から拝見する限りでは「中身のある値」と「null値」の2つの性質しかない、と解釈されているように読めてしまいましたので、横入りしていました。
「全てのObject型」が truthy であるという認識も持っていないのではと…。
(個人的には、「型」の違いが認識できていない気がします)

[think49]

@Genon さんが退会しているのは、私が原因なのでしょうか…。

[o_0]

think49さんが原因で大会したわけではないと思いますよｗ
原因として挙げるなら、誤解をしている私でしょうしｗ

私の誤解にGenonさんは指摘してくれていますし、
ここだけに限って大会したわけではないと思いますよｗ
なのでthink49さんは気にしなくても。。。

すくなくても「誰が悪い！」ということではないかと。

Genonさん！ありがとうございました。

[think49]

@o_0 さん
フォローありがとうございます。
しかし、私のアドバイスは耳に届かなかったようですね。
露骨な差別は(私だけでなく)回答者の心象を悪くするでしょう。

Answer 3

論理演算子に依存する「　||　論理和」は、

＝「 二つの値の論理和を求める（ 一方または両方がtrueならtrue ）」
とのこと、
ではここで言われる「二つの値」とは一体どこのことなんでしょうか。

数値演算の+は、「二つの値の算術和を求める」ですが、これはわかりますよね？
その「二つの値」と同じことです。

var daaf = daaf || {};

daafと{}の論理和です。
daafが「真の値」なら、演算結果はdaafの値。
daafが「偽の値」なら、演算結果は{}となります。

これをifで書き直すと、

var daaf;
if(daaf) {
  daaf = daaf;
} else {
  daaf = {};
}

です。
JavaScriptにおいて、「真の値」とはなにか、「偽の値」とは何かについては、別途学んでください。

論理演算は、中学校で学びますので、全く覚えていなければ、「中学数学を学びなおす」的な書籍が確か出てたので、そういう本で復習するとよいかと思います。

Answer 4

「||」論理演算子は、TrueかFalseだけを返すわけではありません。（Javascriptの場合で、言語によって異なる場合があります。）

var daaf = daaf || {};

の場合は、daaf || {}において、
左側「daaf」がTRUE（真）の場合は（値が入っている場合など）、daafがそのまま変数に代入されそこで処理が終わります。
左側「daaf」がFALSE（偽）の場合は、右側の{}が返り値となり、daafに{}が代入されます。