From Jason Turner

[concept.convertible]

C++20 → C++23 1.0 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/tmpq4q9amue/{from.md → to.md} +4 -4
tmp/tmpq4q9amue/{from.md → to.md} RENAMED
@@ -1,19 +1,19 @@
1
  ### Concept <a id="concept.convertible">[[concept.convertible]]</a>
2
 
3
- Given types `From` and `To` and an expression `E` such that
4
- `decltype((E))` is `add_rvalue_reference_t<From>`,
5
  `convertible_to<From, To>` requires `E` to be both implicitly and
6
  explicitly convertible to type `To`. The implicit and explicit
7
  conversions are required to produce equal results.
8
 
9
  ``` cpp
10
  template<class From, class To>
11
  concept convertible_to =
12
  is_convertible_v<From, To> &&
13
- requires(add_rvalue_reference_t<From> (&f)()) {
14
- static_cast<To>(f());
15
  };
16
  ```
17
 
18
  Let `FromR` be `add_rvalue_reference_t<From>` and `test` be the invented
19
  function:
 
1
  ### Concept <a id="concept.convertible">[[concept.convertible]]</a>
2
 
3
+ Given types `From` and `To` and an expression `E` whose type and value
4
+ category are the same as those of `declval<From>()`,
5
  `convertible_to<From, To>` requires `E` to be both implicitly and
6
  explicitly convertible to type `To`. The implicit and explicit
7
  conversions are required to produce equal results.
8
 
9
  ``` cpp
10
  template<class From, class To>
11
  concept convertible_to =
12
  is_convertible_v<From, To> &&
13
+ requires {
14
+ static_cast<To>(declval<From>());
15
  };
16
  ```
17
 
18
  Let `FromR` be `add_rvalue_reference_t<From>` and `test` be the invented
19
  function: