29#ifndef _GLIBCXX_THREAD
30#define _GLIBCXX_THREAD 1
33#pragma GCC system_header
38#if __cplusplus < 201103L
42#if __cplusplus > 201703L
50#define __glibcxx_want_jthread
51#define __glibcxx_want_formatters
54#if __cpp_lib_formatters
58namespace std _GLIBCXX_VISIBILITY(default)
60_GLIBCXX_BEGIN_NAMESPACE_VERSION
75#if __cpp_lib_three_way_comparison
76 inline strong_ordering
78 {
return __x._M_thread <=> __y._M_thread; }
82 {
return !(__x == __y); }
89 return __x._M_thread < __y._M_thread;
94 {
return !(__y < __x); }
102 {
return !(__x < __y); }
105 template<
class _CharT,
class _Traits>
111 = __conditional_t<is_pointer<thread::native_handle_type>::value,
113 thread::native_handle_type>;
116 return __out <<
"thread::id of a non-executing thread";
118 return __out << static_cast<__output_type>(__id._M_thread);
122#ifdef __cpp_lib_jthread
125#ifndef __STRICT_ANSI__
128 template<
typename _Callable,
typename... _Args>
129 constexpr bool __pmf_expects_stop_token =
false;
131 template<
typename _Callable,
typename _Obj,
typename... _Args>
132 requires is_member_function_pointer_v<remove_reference_t<_Callable>>
133 constexpr bool __pmf_expects_stop_token<_Callable, _Obj, _Args...>
134 = is_invocable_v<_Callable, _Obj,
stop_token, _Args...>;
155 using id = thread::id;
156 using native_handle_type = thread::native_handle_type;
159 : _M_stop_source{nostopstate}
162 template<
typename _Callable,
typename... _Args,
163 typename = enable_if_t<!is_same_v<remove_cvref_t<_Callable>,
166 jthread(_Callable&& __f, _Args&&... __args)
167 : _M_thread{_S_create(_M_stop_source, std::
forward<_Callable>(__f),
168 std::
forward<_Args>(__args)...)}
171 jthread(
const jthread&) =
delete;
172 jthread(jthread&&) noexcept = default;
184 operator=(
const jthread&) =
delete;
187 operator=(jthread&& __other)
noexcept
189 std::jthread(
std::move(__other)).swap(*
this);
194 swap(jthread& __other)
noexcept
196 std::swap(_M_stop_source, __other._M_stop_source);
197 std::swap(_M_thread, __other._M_thread);
201 joinable() const noexcept
203 return _M_thread.joinable();
221 return _M_thread.get_id();
224 [[nodiscard]] native_handle_type
227 return _M_thread.native_handle();
230 [[nodiscard]]
static unsigned
231 hardware_concurrency() noexcept
233 return thread::hardware_concurrency();
236 [[nodiscard]] stop_source
237 get_stop_source() noexcept
239 return _M_stop_source;
242 [[nodiscard]] stop_token
243 get_stop_token() const noexcept
245 return _M_stop_source.get_token();
248 bool request_stop() noexcept
250 return _M_stop_source.request_stop();
253 friend void swap(jthread& __lhs, jthread& __rhs)
noexcept
259 template<
typename _Callable,
typename... _Args>
261 _S_create(stop_source& __ssrc, _Callable&& __f, _Args&&... __args)
263#ifndef __STRICT_ANSI__
264 if constexpr (__pmf_expects_stop_token<_Callable, _Args...>)
268 if constexpr(is_invocable_v<decay_t<_Callable>, stop_token,
274 static_assert(is_invocable_v<decay_t<_Callable>,
276 "std::jthread arguments must be invocable after"
277 " conversion to rvalues");
283#ifndef __STRICT_ANSI__
284 template<
typename _Callable,
typename _Obj,
typename... _Args>
286 _S_create_pmf(stop_source& __ssrc, _Callable __f, _Obj&& __obj,
294 stop_source _M_stop_source;
299#ifdef __cpp_lib_formatters
300 template<
typename _CharT>
301 requires is_pointer_v<thread::native_handle_type>
302 || is_integral_v<thread::native_handle_type>
303 class formatter<
thread::id, _CharT>
306 constexpr typename basic_format_parse_context<_CharT>::iterator
307 parse(basic_format_parse_context<_CharT>& __pc)
309 __format::_Spec<_CharT> __spec{};
310 const auto __last = __pc.end();
311 auto __first = __pc.begin();
313 auto __finalize = [
this, &__spec] {
317 auto __finished = [&] {
318 if (__first == __last || *__first ==
'}')
329 __first = __spec._M_parse_fill_and_align(__first, __last);
333 __first = __spec._M_parse_width(__first, __last, __pc);
337 __throw_format_error(
"format error: invalid format-spec for "
341 template<
typename _Out>
342 typename basic_format_context<_Out, _CharT>::iterator
343 format(thread::id __id, basic_format_context<_Out, _CharT>& __fc)
const
345 basic_string_view<_CharT> __sv;
346 if constexpr (is_same_v<_CharT, char>)
347 __sv =
"{}thread::id of a non-executing thread";
349 __sv = L
"{}thread::id of a non-executing thread";
350 basic_string<_CharT> __str;
351 if (__id == thread::id())
352 __sv.remove_prefix(2);
355 using _FmtStr = __format::_Runtime_format_string<_CharT>;
358 = __conditional_t<is_pointer_v<thread::native_handle_type>,
360 thread::native_handle_type>;
361 auto __o =
static_cast<__output_type
>(__id._M_thread);
362 __sv = __str = std::format(_FmtStr(__sv.substr(0, 2)), __o);
364 return __format::__write_padded_as_spec(__sv, __sv.size(),
366 __format::_Align_right);
370 __format::_Spec<_CharT> _M_spec;
376_GLIBCXX_END_NAMESPACE_VERSION
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
constexpr _Tp && forward(typename std::remove_reference< _Tp >::type &__t) noexcept
Forward an lvalue.
ISO C++ entities toplevel namespace is std.
std::basic_ostream< _CharT, _Traits > & operator<<(std::basic_ostream< _CharT, _Traits > &__os, const bitset< _Nb > &__x)
Global I/O operators for bitsets.
thread::id get_id() noexcept
The unique identifier of the current thread.
Template class basic_ostream.
Allow testing whether a stop request has been made on a stop_source.