41 lines
2.5 KiB
Markdown
41 lines
2.5 KiB
Markdown
[stopcallback.general]
|
||
|
||
# 32 Concurrency support library [[thread]](./#thread)
|
||
|
||
## 32.3 Stop tokens [[thread.stoptoken]](thread.stoptoken#stopcallback.general)
|
||
|
||
### 32.3.6 Class template stop_callback [[stopcallback]](stopcallback#general)
|
||
|
||
#### 32.3.6.1 General [stopcallback.general]
|
||
|
||
[1](#1)
|
||
|
||
[#](http://github.com/Eelis/draft/tree/9adde4bc1c62ec234483e63ea3b70a59724c745a/source/threads.tex#L1039)
|
||
|
||
[ð](#lib:stop_callback)
|
||
|
||
namespace std {template<class CallbackFn>class stop_callback {public:using callback_type = CallbackFn; // [[stopcallback.cons]](stopcallback.cons "32.3.6.2 Constructors and destructor"), constructors and destructortemplate<class Initializer>explicit stop_callback(const stop_token& st, Initializer&& init)noexcept(is_nothrow_constructible_v<CallbackFn, Initializer>); template<class Initializer>explicit stop_callback(stop_token&& st, Initializer&& init)noexcept(is_nothrow_constructible_v<CallbackFn, Initializer>); ~stop_callback();
|
||
|
||
stop_callback(const stop_callback&) = delete;
|
||
stop_callback(stop_callback&&) = delete;
|
||
stop_callback& operator=(const stop_callback&) = delete;
|
||
stop_callback& operator=(stop_callback&&) = delete; private: CallbackFn *callback-fn*; // *exposition only*}; template<class CallbackFn> stop_callback(stop_token, CallbackFn) -> stop_callback<CallbackFn>;}
|
||
|
||
[2](#2)
|
||
|
||
[#](http://github.com/Eelis/draft/tree/9adde4bc1c62ec234483e63ea3b70a59724c745a/source/threads.tex#L1071)
|
||
|
||
*Mandates*: stop_callback is instantiated with an argument for the
|
||
template parameter CallbackFn that satisfies both [invocable](concept.invocable#concept:invocable "18.7.2 Concept invocable [concept.invocable]") and [destructible](concept.destructible#concept:destructible "18.4.10 Concept destructible [concept.destructible]")[.](#2.sentence-1)
|
||
|
||
[3](#3)
|
||
|
||
[#](http://github.com/Eelis/draft/tree/9adde4bc1c62ec234483e63ea3b70a59724c745a/source/threads.tex#L1078)
|
||
|
||
*Remarks*: For a type Initializer,
|
||
if[*stoppable-callback-for*](stoptoken.concepts#concept:stoppable-callback-for "32.3.3 Stop token concepts [stoptoken.concepts]")<CallbackFn, stop_token, Initializer> is satisfied, then[*stoppable-callback-for*](stoptoken.concepts#concept:stoppable-callback-for "32.3.3 Stop token concepts [stoptoken.concepts]")<CallbackFn, stop_token, Initializer> is modeled[.](#3.sentence-1)
|
||
|
||
The exposition-only *callback-fn* member is
|
||
the associated callback function ([[stoptoken.concepts]](stoptoken.concepts "32.3.3 Stop token concepts")) ofstop_callback<
|
||
CallbackFn> objects[.](#3.sentence-2)
|