|
318 | 318 | called \tcode{T}, rather than an unnamed non-type |
319 | 319 | template parameter of class \tcode{T}. |
320 | 320 | \end{example} |
321 | | -A template parameter declaration shall not |
322 | | -have a \grammarterm{storage-class-specifier}. |
| 321 | +A \grammarterm{parameter-declaration} of a \grammarterm{template-parameter} |
| 322 | +shall not have a \grammarterm{storage-class-specifier}. |
323 | 323 | Types shall not be defined in a template parameter |
324 | 324 | declaration. |
325 | 325 |
|
|
560 | 560 | \indextext{\idxcode{<}!template and}% |
561 | 561 | \pnum |
562 | 562 | When parsing a default template argument |
563 | | -for a non-type template-parameter, |
| 563 | +for a non-type template parameter, |
564 | 564 | the first non-nested \tcode{>} is taken as |
565 | 565 | the end of the \grammarterm{template-parameter-list} |
566 | 566 | rather than a greater-than operator. |
|
1109 | 1109 | A \grammarterm{template-argument} followed by an ellipsis is |
1110 | 1110 | a pack expansion\iref{temp.variadic}. |
1111 | 1111 |
|
1112 | | -\rSec2[temp.arg.type]{Type Template arguments} |
| 1112 | +\rSec2[temp.arg.type]{Type template arguments} |
1113 | 1113 |
|
1114 | 1114 | \pnum |
1115 | 1115 | A |
|
1143 | 1143 | A template type argument can be an incomplete type\iref{term.incomplete.type}. |
1144 | 1144 | \end{note} |
1145 | 1145 |
|
1146 | | -\rSec2[temp.arg.nontype]{non-type template arguments} |
| 1146 | +\rSec2[temp.arg.nontype]{Non-type template arguments} |
1147 | 1147 |
|
1148 | 1148 | \pnum |
1149 | 1149 | A template argument $E$ for |
|
4424 | 4424 | \indextext{type concept|see{concept, type}}% |
4425 | 4425 | A \defnx{type concept}{concept!type} |
4426 | 4426 | is a concept whose prototype parameter |
4427 | | -is a type template-parameter. |
| 4427 | +is a type template parameter. |
4428 | 4428 |
|
4429 | 4429 | \rSec1[temp.res]{Name resolution} |
4430 | 4430 |
|
|
0 commit comments