tmp/tmphgp4xv_f/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,10 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#### Indirect callable traits <a id="indirectcallable.traits">[[indirectcallable.traits]]</a>
|
| 2 |
+
|
| 3 |
+
To implement algorithms taking projections, it is necessary to determine
|
| 4 |
+
the projected type of an iterator’s value type. For the exposition-only
|
| 5 |
+
alias template *`indirect-value-t`*, `indirect-value-t<T>` denotes
|
| 6 |
+
|
| 7 |
+
- `invoke_result_t<Proj&, indirect-value-t<I>>` if `T` names
|
| 8 |
+
`projected<I, Proj>`, and
|
| 9 |
+
- `iter_value_t<T>&` otherwise.
|
| 10 |
+
|