Skip to content

Commit ef1c0b0

Browse files
committed
[dcl.array], [temp.deduct.type] Split notes spanning numbered paragraphs.
Partially addresses #781.
1 parent 3750b23 commit ef1c0b0

File tree

2 files changed

+8
-2
lines changed

2 files changed

+8
-2
lines changed

source/declarators.tex

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1138,7 +1138,7 @@
11381138
in such a way that
11391139
\tcode{E1[E2]}
11401140
is identical to
1141-
\tcode{*((E1)+(E2))}.
1141+
\tcode{*((E1)+(E2))}~(\ref{expr.sub}).
11421142
Because of the conversion rules
11431143
that apply to
11441144
\tcode{+},
@@ -1156,8 +1156,10 @@
11561156
Therefore,
11571157
despite its asymmetric
11581158
appearance, subscripting is a commutative operation.
1159+
\end{note}
11591160

11601161
\pnum
1162+
\begin{note}
11611163
A consistent rule is followed for
11621164
\indextext{array!multidimensional}%
11631165
multidimensional arrays.
@@ -1183,6 +1185,7 @@
11831185
is applied to this pointer,
11841186
the result is the pointed-to $(n-1)$-dimensional array,
11851187
which itself is immediately converted into a pointer.
1188+
\end{note}
11861189

11871190
\pnum
11881191
\begin{example}
@@ -1220,7 +1223,6 @@
12201223
If there is another subscript the same argument applies
12211224
again; this time the result is an integer.
12221225
\end{example}
1223-
\end{note}
12241226

12251227
\pnum
12261228
\begin{note}

source/templates.tex

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7284,8 +7284,10 @@
72847284
f3(v); // OK: \tcode{i} deduced to be \tcode{10}
72857285
}
72867286
\end{codeblock}
7287+
\end{note}
72877288

72887289
\pnum
7290+
\begin{note}
72897291
If, in the declaration of a function template with a non-type
72907292
template parameter, the non-type template parameter
72917293
is used in a subexpression in the function parameter list,
@@ -7305,6 +7307,8 @@
73057307
\end{codeblock}
73067308
\end{example}
73077309
\end{note}
7310+
7311+
\pnum
73087312
\begin{note}
73097313
Template parameters do not participate in template argument deduction if
73107314
they are used only in non-deduced contexts.

0 commit comments

Comments
 (0)