From Jason Turner

[cpp17.equalitycomparable]

C++20 → C++23 0.9 KB 5 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/tmpsw_t0722/{from.md → to.md} +1 -1
tmp/tmpsw_t0722/{from.md → to.md} RENAMED
@@ -1,6 +1,6 @@
1
  **Table: Cpp17EqualityComparable requirements** <a id="cpp17.equalitycomparable">[cpp17.equalitycomparable]</a>
2
 
3
  | Expression | Return type |
4
  | ---------- | ----------- |
5
- | `a == b` | convertible to `bool` | `==` is an equivalence relation, that is, it has the following properties: For all `a`, `a == a`.; If `a == b`, then `b == a`.; If `a == b` and `b == c`, then `a == c`. |
6
 
 
1
  **Table: Cpp17EqualityComparable requirements** <a id="cpp17.equalitycomparable">[cpp17.equalitycomparable]</a>
2
 
3
  | Expression | Return type |
4
  | ---------- | ----------- |
5
+ | `a == b` | `decltype(a == b)` models `boolean-testable` | `==` is an equivalence relation, that is, it has the following properties: For all `a`, `a == a`.; If `a == b`, then `b == a`.; If `a == b` and `b == c`, then `a == c`. |
6