tmp/tmpub_12yaz/{from.md → to.md}
RENAMED
|
@@ -113,10 +113,12 @@ following restrictions apply:
|
|
| 113 |
int array[5];
|
| 114 |
template< int X > class A<X,&array> { }; // error
|
| 115 |
```
|
| 116 |
- The argument list of the specialization shall not be identical to the
|
| 117 |
implicit argument list of the primary template.
|
|
|
|
|
|
|
| 118 |
- The template parameter list of a specialization shall not contain
|
| 119 |
default template argument values.[^4]
|
| 120 |
- An argument shall not contain an unexpanded parameter pack. If an
|
| 121 |
argument is a pack expansion ([[temp.variadic]]), it shall be the
|
| 122 |
last argument in the template argument list.
|
|
|
|
| 113 |
int array[5];
|
| 114 |
template< int X > class A<X,&array> { }; // error
|
| 115 |
```
|
| 116 |
- The argument list of the specialization shall not be identical to the
|
| 117 |
implicit argument list of the primary template.
|
| 118 |
+
- The specialization shall be more specialized than the primary
|
| 119 |
+
template ([[temp.class.order]]).
|
| 120 |
- The template parameter list of a specialization shall not contain
|
| 121 |
default template argument values.[^4]
|
| 122 |
- An argument shall not contain an unexpanded parameter pack. If an
|
| 123 |
argument is a pack expansion ([[temp.variadic]]), it shall be the
|
| 124 |
last argument in the template argument list.
|