tmp/tmp7h8m8vxn/{from.md → to.md}
RENAMED
|
@@ -1,12 +1,12 @@
|
|
| 1 |
#### Deducing conversion function template arguments <a id="temp.deduct.conv">[[temp.deduct.conv]]</a>
|
| 2 |
|
| 3 |
Template argument deduction is done by comparing the return type of the
|
| 4 |
-
conversion function template (call it `P`
|
| 5 |
-
|
| 6 |
-
|
| 7 |
-
|
| 8 |
|
| 9 |
If `P` is a reference type, the type referred to by `P` is used in place
|
| 10 |
of `P` for type deduction and for any further references to or
|
| 11 |
transformations of `P` in the remainder of this section.
|
| 12 |
|
|
|
|
| 1 |
#### Deducing conversion function template arguments <a id="temp.deduct.conv">[[temp.deduct.conv]]</a>
|
| 2 |
|
| 3 |
Template argument deduction is done by comparing the return type of the
|
| 4 |
+
conversion function template (call it `P`) with the type that is
|
| 5 |
+
required as the result of the conversion (call it `A`; see
|
| 6 |
+
[[dcl.init]], [[over.match.conv]], and [[over.match.ref]] for the
|
| 7 |
+
determination of that type) as described in [[temp.deduct.type]].
|
| 8 |
|
| 9 |
If `P` is a reference type, the type referred to by `P` is used in place
|
| 10 |
of `P` for type deduction and for any further references to or
|
| 11 |
transformations of `P` in the remainder of this section.
|
| 12 |
|