|
5038 | 5038 | \begin{itemdescr}
|
5039 | 5039 | \pnum
|
5040 | 5040 | \requires
|
5041 |
| -\tcode{\placeholdernc{INVOKE}<R>(f, t1, t2, ..., tN)}, where \tcode{t1, t2, ..., tN} are values |
| 5041 | +\tcode{\placeholdernc{INVOKE}<R>(f, t$_1$, t$_2$, $\dotsc$, t$_N$)}, where \tcode{t$_1$, t$_2$, $\dotsc$, t$_N$} are values |
5042 | 5042 | of the corresponding types in \tcode{ArgTypes...}, shall be a valid expression. Invoking
|
5043 | 5043 | a copy of \tcode{f} shall behave the same as invoking \tcode{f}.
|
5044 | 5044 |
|
|
5160 | 5160 |
|
5161 | 5161 | \begin{itemdescr}
|
5162 | 5162 | \pnum
|
5163 |
| -\effects As if by \tcode{\placeholdernc{INVOKE}<R>(f, t1, t2, ..., tN)}, |
| 5163 | +\effects As if by \tcode{\placeholdernc{INVOKE}<R>(f, t$_1$, t$_2$, $\dotsc$, t$_N$)}, |
5164 | 5164 | where \tcode{f} is the
|
5165 | 5165 | stored task of \tcode{*this} and
|
5166 |
| -\tcode{t1, t2, ..., tN} are the values in \tcode{args...}. If the task returns normally, |
| 5166 | +\tcode{t$_1$, t$_2$, $\dotsc$, t$_N$} are the values in \tcode{args...}. If the task returns normally, |
5167 | 5167 | the return value is stored as the asynchronous result in the shared state of
|
5168 | 5168 | \tcode{*this}, otherwise the exception thrown by the task is stored. The
|
5169 | 5169 | shared state of \tcode{*this} is made ready, and any threads blocked in a
|
|
5190 | 5190 |
|
5191 | 5191 | \begin{itemdescr}
|
5192 | 5192 | \pnum
|
5193 |
| -\effects As if by \tcode{\placeholdernc{INVOKE}<R>(f, t1, t2, ..., tN)}, |
| 5193 | +\effects As if by \tcode{\placeholdernc{INVOKE}<R>(f, t$_1$, t$_2$, $\dotsc$, t$_N$)}, |
5194 | 5194 | where \tcode{f} is the stored task and
|
5195 |
| -\tcode{t1, t2, ..., tN} are the values in \tcode{args...}. If the task returns normally, |
| 5195 | +\tcode{t$_1$, t$_2$, $\dotsc$, t$_N$} are the values in \tcode{args...}. If the task returns normally, |
5196 | 5196 | the return value is stored as the asynchronous result in the shared state of
|
5197 | 5197 | \tcode{*this}, otherwise the exception thrown by the task is stored. In either
|
5198 | 5198 | case, this shall be done without making that state ready~(\ref{futures.state}) immediately. Schedules
|
|
0 commit comments