tmp/tmpro8rjjpd/{from.md → to.md}
RENAMED
|
@@ -87,14 +87,14 @@ int l = f<>(1); // uses #1
|
|
| 87 |
```
|
| 88 |
|
| 89 |
— *end note*]
|
| 90 |
|
| 91 |
Template arguments that are present shall be specified in the
|
| 92 |
-
declaration order of their corresponding
|
| 93 |
template argument list shall not specify more *template-argument*s than
|
| 94 |
there are corresponding *template-parameter*s unless one of the
|
| 95 |
-
*template-parameter*s
|
| 96 |
|
| 97 |
[*Example 3*:
|
| 98 |
|
| 99 |
``` cpp
|
| 100 |
template<class X, class Y, class Z> X f(Y,Z);
|
|
@@ -110,11 +110,11 @@ void g() {
|
|
| 110 |
|
| 111 |
— *end example*]
|
| 112 |
|
| 113 |
Implicit conversions [[conv]] will be performed on a function argument
|
| 114 |
to convert it to the type of the corresponding function parameter if the
|
| 115 |
-
parameter type contains no
|
| 116 |
template argument deduction.
|
| 117 |
|
| 118 |
[*Note 3*:
|
| 119 |
|
| 120 |
Template parameters do not participate in template argument deduction if
|
|
|
|
| 87 |
```
|
| 88 |
|
| 89 |
— *end note*]
|
| 90 |
|
| 91 |
Template arguments that are present shall be specified in the
|
| 92 |
+
declaration order of their corresponding template parameters. The
|
| 93 |
template argument list shall not specify more *template-argument*s than
|
| 94 |
there are corresponding *template-parameter*s unless one of the
|
| 95 |
+
*template-parameter*s declares a template parameter pack.
|
| 96 |
|
| 97 |
[*Example 3*:
|
| 98 |
|
| 99 |
``` cpp
|
| 100 |
template<class X, class Y, class Z> X f(Y,Z);
|
|
|
|
| 110 |
|
| 111 |
— *end example*]
|
| 112 |
|
| 113 |
Implicit conversions [[conv]] will be performed on a function argument
|
| 114 |
to convert it to the type of the corresponding function parameter if the
|
| 115 |
+
parameter type contains no template parameters that participate in
|
| 116 |
template argument deduction.
|
| 117 |
|
| 118 |
[*Note 3*:
|
| 119 |
|
| 120 |
Template parameters do not participate in template argument deduction if
|