From Jason Turner

[expr.log.and]

C++17 → C++20 1.4 KB 20 lines
Current Draft | LaTeX Source
Archived: C++17 | C++20
Markdown: C++17 | C++20
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpgsosc4kc/{from.md → to.md} +8 -9
tmp/tmpgsosc4kc/{from.md → to.md} RENAMED
@@ -1,19 +1,18 @@
1
- ## Logical AND operator <a id="expr.log.and">[[expr.log.and]]</a>
2
 
3
  ``` bnf
4
  logical-and-expression:
5
  inclusive-or-expression
6
  logical-and-expression '&&' inclusive-or-expression
7
  ```
8
 
9
  The `&&` operator groups left-to-right. The operands are both
10
- contextually converted to `bool` (Clause  [[conv]]). The result is
11
- `true` if both operands are `true` and `false` otherwise. Unlike `&`,
12
- `&&` guarantees left-to-right evaluation: the second operand is not
13
- evaluated if the first operand is `false`.
14
 
15
- The result is a `bool`. If the second expression is evaluated, every
16
- value computation and side effect associated with the first expression
17
- is sequenced before every value computation and side effect associated
18
- with the second expression.
19
 
 
1
+ ### Logical AND operator <a id="expr.log.and">[[expr.log.and]]</a>
2
 
3
  ``` bnf
4
  logical-and-expression:
5
  inclusive-or-expression
6
  logical-and-expression '&&' inclusive-or-expression
7
  ```
8
 
9
  The `&&` operator groups left-to-right. The operands are both
10
+ contextually converted to `bool` [[conv]]. The result is `true` if both
11
+ operands are `true` and `false` otherwise. Unlike `&`, `&&` guarantees
12
+ left-to-right evaluation: the second operand is not evaluated if the
13
+ first operand is `false`.
14
 
15
+ The result is a `bool`. If the second expression is evaluated, the first
16
+ expression is sequenced before the second expression
17
+ [[intro.execution]].
 
18