Skip to content

Commit 58ea575

Browse files
jensmaurertkoeppe
authored andcommitted
[function.objects,ranges] Introduce labels for call wrappers
In particular, 'term.perfect.forwarding.call.wrapper' and 'term.simple.call.wrapper', and refer to them.
1 parent ef78018 commit 58ea575

File tree

2 files changed

+9
-8
lines changed

2 files changed

+9
-8
lines changed

source/ranges.tex

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2249,7 +2249,7 @@
22492249
\pnum
22502250
\returns
22512251
A range adaptor closure object\iref{range.adaptor.object} \tcode{f}
2252-
that is a perfect forwarding call wrapper\iref{func.require}
2252+
that is a perfect forwarding call wrapper\iref{term.perfect.forwarding.call.wrapper}
22532253
with the following properties:
22542254
\begin{itemize}
22552255
\item
@@ -3426,7 +3426,7 @@
34263426
Given an additional range adaptor closure object \tcode{D},
34273427
the expression \tcode{C | D} produces another range adaptor
34283428
closure object \tcode{E}.
3429-
\tcode{E} is a perfect forwarding call wrapper\iref{func.require}
3429+
\tcode{E} is a perfect forwarding call wrapper\iref{term.perfect.forwarding.call.wrapper}
34303430
with the following properties:
34313431
\begin{itemize}
34323432
\item
@@ -3500,7 +3500,7 @@
35003500
let \tcode{BoundArgs} be a pack
35013501
that denotes \tcode{decay_t<decltype((args))>...}.
35023502
The expression \tcode{adaptor(args...)} produces a range adaptor closure object \tcode{f}
3503-
that is a perfect forwarding call wrapper with the following properties:
3503+
that is a perfect forwarding call wrapper\iref{term.perfect.forwarding.call.wrapper} with the following properties:
35043504
\begin{itemize}
35053505
\item
35063506
Its target object is a copy of \tcode{adaptor}.

source/utilities.tex

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -16461,8 +16461,8 @@
1646116461
\end{note}
1646216462

1646316463
\pnum
16464-
\indextext{call wrapper!perfect forwarding}%
16465-
A \defn{perfect forwarding call wrapper} is
16464+
\label{term.perfect.forwarding.call.wrapper}%
16465+
A \defnadj{perfect forwarding}{call wrapper} is
1646616466
an argument forwarding call wrapper
1646716467
that forwards its state entities to the underlying call expression.
1646816468
This forwarding step delivers a state entity of type \tcode{T}
@@ -16483,6 +16483,7 @@
1648316483
with references as described in the corresponding forwarding steps.
1648416484

1648516485
\pnum
16486+
\label{term.simple.call.wrapper}%
1648616487
A \defn{simple call wrapper} is a perfect forwarding call wrapper that meets
1648716488
the \oldconcept{CopyConstructible} and \oldconcept{CopyAssignable} requirements
1648816489
and whose copy constructor, move constructor, and assignment operators
@@ -17901,7 +17902,7 @@
1790117902

1790217903
\pnum
1790317904
\returns
17904-
A perfect forwarding call wrapper \tcode{g}
17905+
A perfect forwarding call wrapper\iref{term.perfect.forwarding.call.wrapper} \tcode{g}
1790517906
with call pattern \tcode{!invoke(fd, call_args...)}.
1790617907

1790717908
\pnum
@@ -17960,7 +17961,7 @@
1796017961

1796117962
\pnum
1796217963
\returns
17963-
A perfect forwarding call wrapper \tcode{g}
17964+
A perfect forwarding call wrapper\iref{term.perfect.forwarding.call.wrapper} \tcode{g}
1796417965
with call pattern:
1796517966
\begin{itemize}
1796617967
\item
@@ -18199,7 +18200,7 @@
1819918200
\begin{itemdescr}
1820018201
\pnum
1820118202
\returns
18202-
A simple call wrapper\iref{func.def} \tcode{fn}
18203+
A simple call wrapper\iref{term.simple.call.wrapper} \tcode{fn}
1820318204
with call pattern \tcode{invoke(pmd, call_args...)}, where
1820418205
\tcode{pmd} is the target object of \tcode{fn} of type \tcode{R T::*}
1820518206
direct-non-list-initialized with \tcode{pm}, and

0 commit comments

Comments
 (0)