From Jason Turner

[concept.commonref]

C++20 → C++23 0.8 KB 7 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/tmpu873ke9x/{from.md → to.md} +2 -2
tmp/tmpu873ke9x/{from.md → to.md} RENAMED
@@ -3,12 +3,12 @@
3
  For two types `T` and `U`, if `common_reference_t<T, U>` is well-formed
4
  and denotes a type `C` such that both `convertible_to<T, C>` and
5
  `convertible_to<U, C>` are modeled, then `T` and `U` share a *common
6
  reference type*, `C`.
7
 
8
- [*Note 1*: `C` could be the same as `T`, or `U`, or it could be a
9
- different type. `C` may be a reference type. — *end note*]
10
 
11
  ``` cpp
12
  template<class T, class U>
13
  concept common_reference_with =
14
  same_as<common_reference_t<T, U>, common_reference_t<U, T>> &&
 
3
  For two types `T` and `U`, if `common_reference_t<T, U>` is well-formed
4
  and denotes a type `C` such that both `convertible_to<T, C>` and
5
  `convertible_to<U, C>` are modeled, then `T` and `U` share a *common
6
  reference type*, `C`.
7
 
8
+ [*Note 1*: `C` can be the same as `T` or `U`, or can be a different
9
+ type. `C` can be a reference type. — *end note*]
10
 
11
  ``` cpp
12
  template<class T, class U>
13
  concept common_reference_with =
14
  same_as<common_reference_t<T, U>, common_reference_t<U, T>> &&