|
5076 | 5076 | }; |
5077 | 5077 |
|
5078 | 5078 | explicit op_state(pair<assoc_t, sender_ref_t> parts, Rcvr& r) |
5079 | | - : assoc(std::move(parts.first)) { |
5080 | | - if (assoc) |
5081 | | - ::new (@\placeholdernc{voidify}@(op)) op_t(connect(std::move(*parts.second), std::move(r))); |
| 5079 | + : @\exposid{assoc}@(std::move(parts.first)) { |
| 5080 | + if (@\exposid{assoc}@) |
| 5081 | + ::new (@\placeholdernc{voidify}@(@\exposid{op}@)) op_t(connect(std::move(*parts.second), std::move(r))); |
5082 | 5082 | else |
5083 | | - rcvr = addressof(r); |
| 5083 | + @\exposid{rcvr}@ = addressof(r); |
5084 | 5084 | } |
5085 | 5085 |
|
5086 | 5086 | explicit op_state(associate_data_t&& ad, Rcvr& r) |
|
7965 | 7965 | \pnum |
7966 | 7966 | \exposid{association-t} is a class template, |
7967 | 7967 | specializations of which model \libconcept{scope_association} and |
7968 | | -contain an exposition-only member scope of type \tcode{Scope*}. |
| 7968 | +contain an exposition-only member \exposid{scope} of type \tcode{Scope*}. |
7969 | 7969 | For a class type \tcode{Scope} and |
7970 | 7970 | an object \tcode{assoc} of type \tcode{\exposid{association-t}<Scope>}: |
7971 | 7971 | \begin{itemize} |
|
7975 | 7975 | \tcode{assoc} is engaged when \tcode{assoc.\exposid{scope} != nullptr} is \tcode{true}, |
7976 | 7976 | \item |
7977 | 7977 | if \tcode{assoc} is engaged, |
7978 | | -then \tcode{assoc.\exposid{try_associate}()} is equivalent to |
7979 | | -\tcode{assoc.scope->try-associate()}, and |
| 7978 | +then \tcode{assoc.try_associate()} is equivalent to |
| 7979 | +\tcode{assoc.\exposid{scope}->\exposid{try-associate}()}, and |
7980 | 7980 | \item |
7981 | 7981 | the association owned by \tcode{assoc} |
7982 | | -is released by invoking \tcode{assoc.scope->\exposid{disassociate}()}. |
| 7982 | +is released by invoking \tcode{assoc.\exposid{scope}->\exposid{disassociate}()}. |
7983 | 7983 | \end{itemize} |
7984 | 7984 |
|
7985 | 7985 | \rSec3[exec.scope.simple.counting]{Simple Counting Scope} |
|
0 commit comments