Skip to content

Commit dafbb94

Browse files
jensmaurerzygoloid
authored andcommitted
[func.not_fn,func.bind_front] Some clarifications
'a target object' -> 'the target object' render 'initializer' as a grammar term and add a cross-reference to dcl.init add cross-references to expr.call
1 parent 2df85f0 commit dafbb94

File tree

1 file changed

+10
-7
lines changed

1 file changed

+10
-7
lines changed

source/utilities.tex

Lines changed: 10 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -15247,11 +15247,12 @@
1524715247
\begin{itemize}
1524815248
\item \tcode{g} is a value of the result of a \tcode{not_fn} invocation,
1524915249
\item \tcode{FD} is the type \tcode{decay_t<F>},
15250-
\item \tcode{fd} is a target object of \tcode{g}\iref{func.def}
15250+
\item \tcode{fd} is the target object of \tcode{g}\iref{func.def}
1525115251
of type \tcode{FD},
15252-
initialized with initializer \tcode{(std::forward<F>(f))},
15252+
initialized with
15253+
the \grammarterm{initializer} \tcode{(std::forward<F>(f\brk{}))}\iref{dcl.init},
1525315254
\item \tcode{call_args} is an argument pack
15254-
used in a function call expression of \tcode{g}.
15255+
used in a function call expression\iref{expr.call} of \tcode{g}.
1525515256
\end{itemize}
1525615257

1525715258
\pnum
@@ -15287,17 +15288,19 @@
1528715288
\begin{itemize}
1528815289
\item \tcode{g} is a value of the result of a \tcode{bind_front} invocation,
1528915290
\item \tcode{FD} is the type \tcode{decay_t<F>},
15290-
\item \tcode{fd} is a target object of \tcode{g}\iref{func.def}
15291-
of type \tcode{FD} initialized with initializer \tcode{(std::forward<F>(f))},
15291+
\item \tcode{fd} is the target object of \tcode{g}\iref{func.def}
15292+
of type \tcode{FD} initialized with
15293+
the \grammarterm{initializer} \tcode{(std::forward<F>(\brk{}f))}\iref{dcl.init},
1529215294
\item \tcode{BoundArgs} is a pack of types
1529315295
equivalent to \tcode{\placeholdernc{DECAY_UNWRAP}(Args)...},
1529415296
\item \tcode{bound_args} is
1529515297
a pack of bound argument entities of \tcode{g}\iref{func.def}
1529615298
of types \tcode{BoundArgs...},
15297-
initialized with initializers \tcode{(std::forward<Args>(args))...},
15299+
initialized with
15300+
\grammarterm{initializer}{s} \tcode{(std::forward<Args>(args))...},
1529815301
respectively,
1529915302
\item \tcode{call_args} is an argument pack used in
15300-
a function call expression of \tcode{g},
15303+
a function call expression\iref{expr.call} of \tcode{g},
1530115304
\end{itemize}
1530215305
where \tcode{\placeholdernc{DECAY_UNWRAP}(T)} is determined as follows:
1530315306
Let \tcode{U} be \tcode{decay_t<T>}.

0 commit comments

Comments
 (0)