tmp/tmpt1pladd3/{from.md → to.md}
RENAMED
|
@@ -1,16 +1,18 @@
|
|
| 1 |
#### Dependent template arguments <a id="temp.dep.temp">[[temp.dep.temp]]</a>
|
| 2 |
|
| 3 |
A type *template-argument* is dependent if the type it specifies is
|
| 4 |
dependent.
|
| 5 |
|
| 6 |
-
A
|
| 7 |
the constant expression it specifies is value-dependent.
|
| 8 |
|
| 9 |
-
Furthermore, a
|
| 10 |
-
corresponding
|
| 11 |
type and the *template-argument* designates or points to a member of the
|
| 12 |
current instantiation or a member of a dependent type.
|
| 13 |
|
| 14 |
-
A template
|
| 15 |
-
|
|
|
|
|
|
|
| 16 |
|
|
|
|
| 1 |
#### Dependent template arguments <a id="temp.dep.temp">[[temp.dep.temp]]</a>
|
| 2 |
|
| 3 |
A type *template-argument* is dependent if the type it specifies is
|
| 4 |
dependent.
|
| 5 |
|
| 6 |
+
A constant *template-argument* is dependent if its type is dependent or
|
| 7 |
the constant expression it specifies is value-dependent.
|
| 8 |
|
| 9 |
+
Furthermore, a constant *template-argument* is dependent if the
|
| 10 |
+
corresponding constant template parameter is of reference or pointer
|
| 11 |
type and the *template-argument* designates or points to a member of the
|
| 12 |
current instantiation or a member of a dependent type.
|
| 13 |
|
| 14 |
+
A template argument is also dependent if it is a pack expansion.
|
| 15 |
+
|
| 16 |
+
A template template parameter is dependent if it names a template
|
| 17 |
+
parameter or its terminal name is dependent.
|
| 18 |
|