blob: b9cf3af544d51b4d48f2d16634544bb33654d2bb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
|
---
title: 論理積 (&&)
slug: Web/JavaScript/Reference/Operators/Logical_AND
tags:
- JavaScript
- 言語機能
- 論理演算子
- 演算子
- リファレンス
browser-compat: javascript.operators.logical_and
translation_of: Web/JavaScript/Reference/Operators/Logical_AND
---
{{jsSidebar("Operators")}}
論理積 (`&&`) 演算子 (論理結合) を一組の論理型のオペランドに対して使用すると、すべてのオペランドが `true` である場合にのみ `true` になります。それ以外の場合は `false` になります。
一般的には、この演算子は左から右に向けて評価した際に最初の{{Glossary("falsy", "偽値")}}のオペランドに遭遇したときにはその値を、またはすべてが{{Glossary("truthy", "真値")}}であった場合は最後のオペランドの値を返します。
{{EmbedInteractiveExample("pages/js/expressions-logical-and.html", "shorter")}}
## 構文
```js
expr1 && expr2
```
## 解説
論理積 (`&&`) はオペランドを左から右に向けて評価し、遭遇した最初の{{Glossary("falsy", "偽値")}}のオペランドを直ちに返します。すべての値が{{Glossary("truthy", "真値")}}であった場合、最後のオペランドの値が返されます。
ある値が `true` に変換できる場合、その値は真値 ({{Glossary("truthy")}}) と呼ばれます。ある値が `false` に変換できる場合、その値は偽値 ({{Glossary("falsy")}}) と呼ばれます。
false に変換することができる式の例を示します。
- `false`
- `null`
- `NaN`
- `0`
- 空文字列 (`""` または `''` または ` `` `)
- `undefined`
論理積演算子は次のように、論理型でない値はそのまま温存して返します。
```js
result = '' && 'foo'; // result には "" (空文字列) が代入される
result = 2 && 0; // result には 0 が代入される
result = 'foo' && 4; // result には 4 が代入される
```
`&&` 演算子では論理値以外のオペランドを使用することができますが、返値が常に[論理型プリミティブ](/ja/docs/Web/JavaScript/Data_structures#論理型_boolean)に変換することが可能であるため、論理演算子と見なすことができます。
返値（または一般的な式）を対応する論理値に明示的に変換するには、二重の[否定演算子](/ja/docs/Web/JavaScript/Reference/Operators/Logical_NOT)または {{jsxref("Global_Objects/Boolean/Boolean", "Boolean")}} コンストラクターを使用してください。
### 短絡評価
論理積の式は短絡演算子です。
各オペランドが論理値に変換されるとき、ある変換結果が `false` であった場合、論理積演算子は停止してその偽値のオペランドの元の値を返します。残りのオペランドは評価**されません**。
以下の擬似コードを考えてみてください。
```
(some falsy expression) && expr
```
`expr` の部分は**評価されません**。最初のオペランドである `(some falsy expression)` が{{Glossary("falsy", "偽値")}}と評価されるからです。
`expr` が関数であった場合、その関数は呼び出されません。
以下の例を参照してください。
```js
function A() { console.log('called A'); return false; }
function B() { console.log('called B'); return true; }
console.log( A() && B() );
// 関数 A の呼び出しによって "called A" をログ出力し、
// && が false に評価され（関数 A が false を返し）、それから false をコンソールに出力します。
// 論理積演算子はここで短絡となり、関数 B は無視されます。
```
### 演算子の優先順位
以下の式は同じであるように見えるかもしれませんが、異なります。 `&&` 演算子は `||` 演算子よりも先に実行されるからです（[演算子の優先順位](/ja/docs/Web/JavaScript/Reference/Operators/Operator_Precedence)を参照）。
```js
false || true && true // true を返す
true && (false || false) // false を返す
(2 == 3) || (4 < 0) && (1 == 1) // false を返す
```
## 例
### 論理積の使用
以下のコードは `&&` (論理積) 演算子の例を示しています。
```js
a1 = true && true // t && t は true を返す
a2 = true && false // t && f は false を返す
a3 = false && true // f && t は false を返す
a4 = false && (3 == 4) // f && f は false を返す
a5 = 'Cat' && 'Dog' // t && t は "Dog" を返す
a6 = false && 'Cat' // f && t は false を返す
a7 = 'Cat' && false // t && f は false を返す
a8 = '' && false // f && f は "" を返す
a9 = false && '' // f && f は false を返す
```
### 論理型の変換規則
#### AND から OR への変換
**論理型**に関する以下の操作は、
```js
bCondition1 && bCondition2
```
常に以下のものと等しくなります。
```js
!(!bCondition1 || !bCondition2)
```
#### OR から AND への変換
**論理型**に関する以下の操作は、
```js
bCondition1 || bCondition2
```
常に以下のものと等しくなります。
```js
!(!bCondition1 && !bCondition2)
```
### 入れ子になった括弧の除去
論理式は左から右に評価されるので、いくつかのルールに従って複雑な式から括弧を削除することは常に可能です。
以下の**論理型**に関する複合操作は、
```js
bCondition1 || (bCondition2 && bCondition3)
```
常に以下のものと等しくなります。
```js
bCondition1 || bCondition2 && bCondition3
```
## 仕様書
{{Specifications}}
## ブラウザーの互換性
{{Compat}}
## 関連情報
- {{jsxref("Boolean")}}
- {{Glossary("Truthy")}}
- {{Glossary("Falsy")}}
|
