From Jason Turner

[cpp17.nullablepointer]

C++20 → C++23 2.1 KB 11 lines
Current Draft | LaTeX Source
Archived: C++20 | C++23
Markdown: C++20 | C++23
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpnfxqsrt1/{from.md → to.md} +4 -4
tmp/tmpnfxqsrt1/{from.md → to.md} RENAMED
@@ -1,14 +1,14 @@
1
  **Table: Cpp17NullablePointer requirements** <a id="cpp17.nullablepointer">[cpp17.nullablepointer]</a>
2
 
3
  | Expression | Return type | Operational semantics |
4
- | -------------- | ---------------------------------- | --------------------------- |
5
  | `P u(np);`<br> | | Ensures: `u == nullptr` |
6
  | `P u = np;` | | |
7
  | `P(np)` | | Ensures: `P(np) == nullptr` |
8
  | `t = np` | `P&` | Ensures: `t == nullptr` |
9
- | `a != b` | contextually convertible to `bool` | `!(a == b)` |
10
- | `a == np` | contextually convertible to `bool` | `a == P()` |
11
  | `np == a` | | |
12
- | `a != np` | contextually convertible to `bool` | `!(a == np)` |
13
  | `np != a` | | |
14
 
 
1
  **Table: Cpp17NullablePointer requirements** <a id="cpp17.nullablepointer">[cpp17.nullablepointer]</a>
2
 
3
  | Expression | Return type | Operational semantics |
4
+ | -------------- | ------------------------------------------------------------------------- | --------------------------- |
5
  | `P u(np);`<br> | | Ensures: `u == nullptr` |
6
  | `P u = np;` | | |
7
  | `P(np)` | | Ensures: `P(np) == nullptr` |
8
  | `t = np` | `P&` | Ensures: `t == nullptr` |
9
+ | `a != b` | `decltype(a != b)` models `boolean-testable` | `!(a == b)` |
10
+ | `a == np` | `decltype(a == np)` and `decltype(np == a)` each model `boolean-testable` | `a == P()` |
11
  | `np == a` | | |
12
+ | `a != np` | `decltype(a != np)` and `decltype(np != a)` each model `boolean-testable` | `!(a == np)` |
13
  | `np != a` | | |
14