From Jason Turner

[concept.totallyordered]

C++20 → C++23 2.0 KB 27 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/tmpm1doy8wx/{from.md → to.md} +13 -11
tmp/tmpm1doy8wx/{from.md → to.md} RENAMED
@@ -25,24 +25,26 @@ template<class T, class U>
25
  const remove_reference_t<T>&,
26
  const remove_reference_t<U>&>> &&
27
  partially-ordered-with<T, U>;
28
  ```
29
 
30
- Given types `T` and `U`, let `t` be an lvalue of type
31
- `const remove_reference_t<T>`, `u` be an lvalue of type
32
- `const remove_reference_t<U>`, and `C` be:
 
 
33
 
34
  ``` cpp
35
  common_reference_t<const remove_reference_t<T>&, const remove_reference_t<U>&>
36
  ```
37
 
38
  `T` and `U` model `totally_ordered_with<T, U>` only if
39
 
40
- - `bool(t < u) == bool(C(t) < C(u)).`
41
- - `bool(t > u) == bool(C(t) > C(u)).`
42
- - `bool(t <= u) == bool(C(t) <= C(u)).`
43
- - `bool(t >= u) == bool(C(t) >= C(u)).`
44
- - `bool(u < t) == bool(C(u) < C(t)).`
45
- - `bool(u > t) == bool(C(u) > C(t)).`
46
- - `bool(u <= t) == bool(C(u) <= C(t)).`
47
- - `bool(u >= t) == bool(C(u) >= C(t)).`
48
 
 
25
  const remove_reference_t<T>&,
26
  const remove_reference_t<U>&>> &&
27
  partially-ordered-with<T, U>;
28
  ```
29
 
30
+ Given types `T` and `U`, let `t` and `t2` be lvalues denoting distinct
31
+ equal objects of types `const remove_reference_t<T>` and
32
+ `remove_cvref_t<T>`, respectively, let `u` and `u2` be lvalues denoting
33
+ distinct equal objects of types `const remove_reference_t<U>` and
34
+ `remove_cvref_t<U>`, respectively, and let `C` be:
35
 
36
  ``` cpp
37
  common_reference_t<const remove_reference_t<T>&, const remove_reference_t<U>&>
38
  ```
39
 
40
  `T` and `U` model `totally_ordered_with<T, U>` only if
41
 
42
+ - `bool(t < u) == bool(`*`CONVERT_TO_LVALUE`*`<C>(t2) < `*`CONVERT_TO_LVALUE`*`<C>(u2))`.
43
+ - `bool(t > u) == bool(`*`CONVERT_TO_LVALUE`*`<C>(t2) > `*`CONVERT_TO_LVALUE`*`<C>(u2))`.
44
+ - `bool(t <= u) == bool(`*`CONVERT_TO_LVALUE`*`<C>(t2) <= `*`CONVERT_TO_LVALUE`*`<C>(u2))`.
45
+ - `bool(t >= u) == bool(`*`CONVERT_TO_LVALUE`*`<C>(t2) >= `*`CONVERT_TO_LVALUE`*`<C>(u2))`.
46
+ - `bool(u < t) == bool(`*`CONVERT_TO_LVALUE`*`<C>(u2) < `*`CONVERT_TO_LVALUE`*`<C>(t2))`.
47
+ - `bool(u > t) == bool(`*`CONVERT_TO_LVALUE`*`<C>(u2) > `*`CONVERT_TO_LVALUE`*`<C>(t2))`.
48
+ - `bool(u <= t) == bool(`*`CONVERT_TO_LVALUE`*`<C>(u2) <= `*`CONVERT_TO_LVALUE`*`<C>(t2))`.
49
+ - `bool(u >= t) == bool(`*`CONVERT_TO_LVALUE`*`<C>(u2) >= `*`CONVERT_TO_LVALUE`*`<C>(t2))`.
50