File tree Expand file tree Collapse file tree 2 files changed +7
-3
lines changed Expand file tree Collapse file tree 2 files changed +7
-3
lines changed Original file line number Diff line number Diff line change 1138
1138
in such a way that
1139
1139
\tcode {E1[E2]}
1140
1140
is identical to
1141
- \tcode {*((E1)+(E2))}.
1141
+ \tcode {*((E1)+(E2))}~( \ref { expr.sub }) .
1142
1142
Because of the conversion rules
1143
1143
that apply to
1144
1144
\tcode {+},
1156
1156
Therefore,
1157
1157
despite its asymmetric
1158
1158
appearance, subscripting is a commutative operation.
1159
+ \end {note }
1159
1160
1160
1161
\pnum
1162
+ \begin {note }
1161
1163
A consistent rule is followed for
1162
1164
\indextext {array!multidimensional}%
1163
1165
multidimensional arrays.
1183
1185
is applied to this pointer,
1184
1186
the result is the pointed-to $ (n-1 )$ -dimensional array,
1185
1187
which itself is immediately converted into a pointer.
1186
-
1187
- \pnum
1188
1188
\begin {example }
1189
1189
consider
1190
1190
Original file line number Diff line number Diff line change 7284
7284
f3(v); // OK: \tcode {i} deduced to be \tcode {10}
7285
7285
}
7286
7286
\end {codeblock }
7287
+ \end {note }
7287
7288
7288
7289
\pnum
7290
+ \begin {note }
7289
7291
If, in the declaration of a function template with a non-type
7290
7292
template parameter, the non-type template parameter
7291
7293
is used in a subexpression in the function parameter list,
7305
7307
\end {codeblock }
7306
7308
\end {example }
7307
7309
\end {note }
7310
+
7311
+ \pnum
7308
7312
\begin {note }
7309
7313
Template parameters do not participate in template argument deduction if
7310
7314
they are used only in non-deduced contexts.
You can’t perform that action at this time.
0 commit comments