tmp/tmpzropeq2c/{from.md → to.md}
RENAMED
|
@@ -0,0 +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 |
+
|