1 | // Implementation of std::function -*- C++ -*-
|
---|
2 |
|
---|
3 | // Copyright (C) 2004-2021 Free Software Foundation, Inc.
|
---|
4 | //
|
---|
5 | // This file is part of the GNU ISO C++ Library. This library is free
|
---|
6 | // software; you can redistribute it and/or modify it under the
|
---|
7 | // terms of the GNU General Public License as published by the
|
---|
8 | // Free Software Foundation; either version 3, or (at your option)
|
---|
9 | // any later version.
|
---|
10 |
|
---|
11 | // This library is distributed in the hope that it will be useful,
|
---|
12 | // but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
13 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
14 | // GNU General Public License for more details.
|
---|
15 |
|
---|
16 | // Under Section 7 of GPL version 3, you are granted additional
|
---|
17 | // permissions described in the GCC Runtime Library Exception, version
|
---|
18 | // 3.1, as published by the Free Software Foundation.
|
---|
19 |
|
---|
20 | // You should have received a copy of the GNU General Public License and
|
---|
21 | // a copy of the GCC Runtime Library Exception along with this program;
|
---|
22 | // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
---|
23 | // <http://www.gnu.org/licenses/>.
|
---|
24 |
|
---|
25 | /** @file include/bits/std_function.h
|
---|
26 | * This is an internal header file, included by other library headers.
|
---|
27 | * Do not attempt to use it directly. @headername{functional}
|
---|
28 | */
|
---|
29 |
|
---|
30 | #ifndef _GLIBCXX_STD_FUNCTION_H
|
---|
31 | #define _GLIBCXX_STD_FUNCTION_H 1
|
---|
32 |
|
---|
33 | #pragma GCC system_header
|
---|
34 |
|
---|
35 | #if __cplusplus < 201103L
|
---|
36 | # include <bits/c++0x_warning.h>
|
---|
37 | #else
|
---|
38 |
|
---|
39 | #include <typeinfo>
|
---|
40 | #include <bits/stl_function.h>
|
---|
41 | #include <bits/invoke.h>
|
---|
42 | #include <bits/refwrap.h>
|
---|
43 | #include <bits/functexcept.h>
|
---|
44 |
|
---|
45 | namespace std _GLIBCXX_VISIBILITY(default)
|
---|
46 | {
|
---|
47 | _GLIBCXX_BEGIN_NAMESPACE_VERSION
|
---|
48 |
|
---|
49 | /**
|
---|
50 | * @brief Exception class thrown when class template function's
|
---|
51 | * operator() is called with an empty target.
|
---|
52 | * @ingroup exceptions
|
---|
53 | */
|
---|
54 | class bad_function_call : public std::exception
|
---|
55 | {
|
---|
56 | public:
|
---|
57 | virtual ~bad_function_call() noexcept;
|
---|
58 |
|
---|
59 | const char* what() const noexcept;
|
---|
60 | };
|
---|
61 |
|
---|
62 | /**
|
---|
63 | * Trait identifying "location-invariant" types, meaning that the
|
---|
64 | * address of the object (or any of its members) will not escape.
|
---|
65 | * Trivially copyable types are location-invariant and users can
|
---|
66 | * specialize this trait for other types.
|
---|
67 | */
|
---|
68 | template<typename _Tp>
|
---|
69 | struct __is_location_invariant
|
---|
70 | : is_trivially_copyable<_Tp>::type
|
---|
71 | { };
|
---|
72 |
|
---|
73 | class _Undefined_class;
|
---|
74 |
|
---|
75 | union _Nocopy_types
|
---|
76 | {
|
---|
77 | void* _M_object;
|
---|
78 | const void* _M_const_object;
|
---|
79 | void (*_M_function_pointer)();
|
---|
80 | void (_Undefined_class::*_M_member_pointer)();
|
---|
81 | };
|
---|
82 |
|
---|
83 | union [[gnu::may_alias]] _Any_data
|
---|
84 | {
|
---|
85 | void* _M_access() { return &_M_pod_data[0]; }
|
---|
86 | const void* _M_access() const { return &_M_pod_data[0]; }
|
---|
87 |
|
---|
88 | template<typename _Tp>
|
---|
89 | _Tp&
|
---|
90 | _M_access()
|
---|
91 | { return *static_cast<_Tp*>(_M_access()); }
|
---|
92 |
|
---|
93 | template<typename _Tp>
|
---|
94 | const _Tp&
|
---|
95 | _M_access() const
|
---|
96 | { return *static_cast<const _Tp*>(_M_access()); }
|
---|
97 |
|
---|
98 | _Nocopy_types _M_unused;
|
---|
99 | char _M_pod_data[sizeof(_Nocopy_types)];
|
---|
100 | };
|
---|
101 |
|
---|
102 | enum _Manager_operation
|
---|
103 | {
|
---|
104 | __get_type_info,
|
---|
105 | __get_functor_ptr,
|
---|
106 | __clone_functor,
|
---|
107 | __destroy_functor
|
---|
108 | };
|
---|
109 |
|
---|
110 | template<typename _Signature>
|
---|
111 | class function;
|
---|
112 |
|
---|
113 | /// Base class of all polymorphic function object wrappers.
|
---|
114 | class _Function_base
|
---|
115 | {
|
---|
116 | public:
|
---|
117 | static const size_t _M_max_size = sizeof(_Nocopy_types);
|
---|
118 | static const size_t _M_max_align = __alignof__(_Nocopy_types);
|
---|
119 |
|
---|
120 | template<typename _Functor>
|
---|
121 | class _Base_manager
|
---|
122 | {
|
---|
123 | protected:
|
---|
124 | static const bool __stored_locally =
|
---|
125 | (__is_location_invariant<_Functor>::value
|
---|
126 | && sizeof(_Functor) <= _M_max_size
|
---|
127 | && __alignof__(_Functor) <= _M_max_align
|
---|
128 | && (_M_max_align % __alignof__(_Functor) == 0));
|
---|
129 |
|
---|
130 | typedef integral_constant<bool, __stored_locally> _Local_storage;
|
---|
131 |
|
---|
132 | // Retrieve a pointer to the function object
|
---|
133 | static _Functor*
|
---|
134 | _M_get_pointer(const _Any_data& __source)
|
---|
135 | {
|
---|
136 | if _GLIBCXX17_CONSTEXPR (__stored_locally)
|
---|
137 | {
|
---|
138 | const _Functor& __f = __source._M_access<_Functor>();
|
---|
139 | return const_cast<_Functor*>(std::__addressof(__f));
|
---|
140 | }
|
---|
141 | else // have stored a pointer
|
---|
142 | return __source._M_access<_Functor*>();
|
---|
143 | }
|
---|
144 |
|
---|
145 | // Clone a location-invariant function object that fits within
|
---|
146 | // an _Any_data structure.
|
---|
147 | static void
|
---|
148 | _M_clone(_Any_data& __dest, const _Any_data& __source, true_type)
|
---|
149 | {
|
---|
150 | ::new (__dest._M_access()) _Functor(__source._M_access<_Functor>());
|
---|
151 | }
|
---|
152 |
|
---|
153 | // Clone a function object that is not location-invariant or
|
---|
154 | // that cannot fit into an _Any_data structure.
|
---|
155 | static void
|
---|
156 | _M_clone(_Any_data& __dest, const _Any_data& __source, false_type)
|
---|
157 | {
|
---|
158 | __dest._M_access<_Functor*>() =
|
---|
159 | new _Functor(*__source._M_access<const _Functor*>());
|
---|
160 | }
|
---|
161 |
|
---|
162 | // Destroying a location-invariant object may still require
|
---|
163 | // destruction.
|
---|
164 | static void
|
---|
165 | _M_destroy(_Any_data& __victim, true_type)
|
---|
166 | {
|
---|
167 | __victim._M_access<_Functor>().~_Functor();
|
---|
168 | }
|
---|
169 |
|
---|
170 | // Destroying an object located on the heap.
|
---|
171 | static void
|
---|
172 | _M_destroy(_Any_data& __victim, false_type)
|
---|
173 | {
|
---|
174 | delete __victim._M_access<_Functor*>();
|
---|
175 | }
|
---|
176 |
|
---|
177 | public:
|
---|
178 | static bool
|
---|
179 | _M_manager(_Any_data& __dest, const _Any_data& __source,
|
---|
180 | _Manager_operation __op)
|
---|
181 | {
|
---|
182 | switch (__op)
|
---|
183 | {
|
---|
184 | case __get_type_info:
|
---|
185 | #if __cpp_rtti
|
---|
186 | __dest._M_access<const type_info*>() = &typeid(_Functor);
|
---|
187 | #else
|
---|
188 | __dest._M_access<const type_info*>() = nullptr;
|
---|
189 | #endif
|
---|
190 | break;
|
---|
191 | case __get_functor_ptr:
|
---|
192 | __dest._M_access<_Functor*>() = _M_get_pointer(__source);
|
---|
193 | break;
|
---|
194 |
|
---|
195 | case __clone_functor:
|
---|
196 | _M_clone(__dest, __source, _Local_storage());
|
---|
197 | break;
|
---|
198 |
|
---|
199 | case __destroy_functor:
|
---|
200 | _M_destroy(__dest, _Local_storage());
|
---|
201 | break;
|
---|
202 | }
|
---|
203 | return false;
|
---|
204 | }
|
---|
205 |
|
---|
206 | static void
|
---|
207 | _M_init_functor(_Any_data& __functor, _Functor&& __f)
|
---|
208 | { _M_init_functor(__functor, std::move(__f), _Local_storage()); }
|
---|
209 |
|
---|
210 | template<typename _Signature>
|
---|
211 | static bool
|
---|
212 | _M_not_empty_function(const function<_Signature>& __f)
|
---|
213 | { return static_cast<bool>(__f); }
|
---|
214 |
|
---|
215 | template<typename _Tp>
|
---|
216 | static bool
|
---|
217 | _M_not_empty_function(_Tp* __fp)
|
---|
218 | { return __fp != nullptr; }
|
---|
219 |
|
---|
220 | template<typename _Class, typename _Tp>
|
---|
221 | static bool
|
---|
222 | _M_not_empty_function(_Tp _Class::* __mp)
|
---|
223 | { return __mp != nullptr; }
|
---|
224 |
|
---|
225 | template<typename _Tp>
|
---|
226 | static bool
|
---|
227 | _M_not_empty_function(const _Tp&)
|
---|
228 | { return true; }
|
---|
229 |
|
---|
230 | private:
|
---|
231 | static void
|
---|
232 | _M_init_functor(_Any_data& __functor, _Functor&& __f, true_type)
|
---|
233 | { ::new (__functor._M_access()) _Functor(std::move(__f)); }
|
---|
234 |
|
---|
235 | static void
|
---|
236 | _M_init_functor(_Any_data& __functor, _Functor&& __f, false_type)
|
---|
237 | { __functor._M_access<_Functor*>() = new _Functor(std::move(__f)); }
|
---|
238 | };
|
---|
239 |
|
---|
240 | _Function_base() : _M_manager(nullptr) { }
|
---|
241 |
|
---|
242 | ~_Function_base()
|
---|
243 | {
|
---|
244 | if (_M_manager)
|
---|
245 | _M_manager(_M_functor, _M_functor, __destroy_functor);
|
---|
246 | }
|
---|
247 |
|
---|
248 | bool _M_empty() const { return !_M_manager; }
|
---|
249 |
|
---|
250 | typedef bool (*_Manager_type)(_Any_data&, const _Any_data&,
|
---|
251 | _Manager_operation);
|
---|
252 |
|
---|
253 | _Any_data _M_functor;
|
---|
254 | _Manager_type _M_manager;
|
---|
255 | };
|
---|
256 |
|
---|
257 | template<typename _Signature, typename _Functor>
|
---|
258 | class _Function_handler;
|
---|
259 |
|
---|
260 | template<typename _Res, typename _Functor, typename... _ArgTypes>
|
---|
261 | class _Function_handler<_Res(_ArgTypes...), _Functor>
|
---|
262 | : public _Function_base::_Base_manager<_Functor>
|
---|
263 | {
|
---|
264 | typedef _Function_base::_Base_manager<_Functor> _Base;
|
---|
265 |
|
---|
266 | public:
|
---|
267 | static bool
|
---|
268 | _M_manager(_Any_data& __dest, const _Any_data& __source,
|
---|
269 | _Manager_operation __op)
|
---|
270 | {
|
---|
271 | switch (__op)
|
---|
272 | {
|
---|
273 | #if __cpp_rtti
|
---|
274 | case __get_type_info:
|
---|
275 | __dest._M_access<const type_info*>() = &typeid(_Functor);
|
---|
276 | break;
|
---|
277 | #endif
|
---|
278 | case __get_functor_ptr:
|
---|
279 | __dest._M_access<_Functor*>() = _Base::_M_get_pointer(__source);
|
---|
280 | break;
|
---|
281 |
|
---|
282 | default:
|
---|
283 | _Base::_M_manager(__dest, __source, __op);
|
---|
284 | }
|
---|
285 | return false;
|
---|
286 | }
|
---|
287 |
|
---|
288 | static _Res
|
---|
289 | _M_invoke(const _Any_data& __functor, _ArgTypes&&... __args)
|
---|
290 | {
|
---|
291 | return std::__invoke_r<_Res>(*_Base::_M_get_pointer(__functor),
|
---|
292 | std::forward<_ArgTypes>(__args)...);
|
---|
293 | }
|
---|
294 | };
|
---|
295 |
|
---|
296 | // Specialization for invalid types
|
---|
297 | template<>
|
---|
298 | class _Function_handler<void, void>
|
---|
299 | {
|
---|
300 | public:
|
---|
301 | static bool
|
---|
302 | _M_manager(_Any_data&, const _Any_data&, _Manager_operation)
|
---|
303 | { return false; }
|
---|
304 | };
|
---|
305 |
|
---|
306 | // Avoids instantiating ill-formed specializations of _Function_handler
|
---|
307 | // in std::function<_Signature>::target<_Functor>().
|
---|
308 | // e.g. _Function_handler<Sig, void()> and _Function_handler<Sig, void>
|
---|
309 | // would be ill-formed.
|
---|
310 | template<typename _Signature, typename _Functor,
|
---|
311 | bool __valid = is_object<_Functor>::value>
|
---|
312 | struct _Target_handler
|
---|
313 | : _Function_handler<_Signature, typename remove_cv<_Functor>::type>
|
---|
314 | { };
|
---|
315 |
|
---|
316 | template<typename _Signature, typename _Functor>
|
---|
317 | struct _Target_handler<_Signature, _Functor, false>
|
---|
318 | : _Function_handler<void, void>
|
---|
319 | { };
|
---|
320 |
|
---|
321 | /**
|
---|
322 | * @brief Primary class template for std::function.
|
---|
323 | * @ingroup functors
|
---|
324 | *
|
---|
325 | * Polymorphic function wrapper.
|
---|
326 | */
|
---|
327 | template<typename _Res, typename... _ArgTypes>
|
---|
328 | class function<_Res(_ArgTypes...)>
|
---|
329 | : public _Maybe_unary_or_binary_function<_Res, _ArgTypes...>,
|
---|
330 | private _Function_base
|
---|
331 | {
|
---|
332 | template<typename _Func,
|
---|
333 | typename _Res2 = __invoke_result<_Func&, _ArgTypes...>>
|
---|
334 | struct _Callable
|
---|
335 | : __is_invocable_impl<_Res2, _Res>::type
|
---|
336 | { };
|
---|
337 |
|
---|
338 | // Used so the return type convertibility checks aren't done when
|
---|
339 | // performing overload resolution for copy construction/assignment.
|
---|
340 | template<typename _Tp>
|
---|
341 | struct _Callable<function, _Tp> : false_type { };
|
---|
342 |
|
---|
343 | template<typename _Cond, typename _Tp>
|
---|
344 | using _Requires = typename enable_if<_Cond::value, _Tp>::type;
|
---|
345 |
|
---|
346 | public:
|
---|
347 | typedef _Res result_type;
|
---|
348 |
|
---|
349 | // [3.7.2.1] construct/copy/destroy
|
---|
350 |
|
---|
351 | /**
|
---|
352 | * @brief Default construct creates an empty function call wrapper.
|
---|
353 | * @post @c !(bool)*this
|
---|
354 | */
|
---|
355 | function() noexcept
|
---|
356 | : _Function_base() { }
|
---|
357 |
|
---|
358 | /**
|
---|
359 | * @brief Creates an empty function call wrapper.
|
---|
360 | * @post @c !(bool)*this
|
---|
361 | */
|
---|
362 | function(nullptr_t) noexcept
|
---|
363 | : _Function_base() { }
|
---|
364 |
|
---|
365 | /**
|
---|
366 | * @brief %Function copy constructor.
|
---|
367 | * @param __x A %function object with identical call signature.
|
---|
368 | * @post @c bool(*this) == bool(__x)
|
---|
369 | *
|
---|
370 | * The newly-created %function contains a copy of the target of @a
|
---|
371 | * __x (if it has one).
|
---|
372 | */
|
---|
373 | function(const function& __x)
|
---|
374 | : _Function_base()
|
---|
375 | {
|
---|
376 | if (static_cast<bool>(__x))
|
---|
377 | {
|
---|
378 | __x._M_manager(_M_functor, __x._M_functor, __clone_functor);
|
---|
379 | _M_invoker = __x._M_invoker;
|
---|
380 | _M_manager = __x._M_manager;
|
---|
381 | }
|
---|
382 | }
|
---|
383 |
|
---|
384 | /**
|
---|
385 | * @brief %Function move constructor.
|
---|
386 | * @param __x A %function object rvalue with identical call signature.
|
---|
387 | *
|
---|
388 | * The newly-created %function contains the target of @a __x
|
---|
389 | * (if it has one).
|
---|
390 | */
|
---|
391 | function(function&& __x) noexcept
|
---|
392 | : _Function_base()
|
---|
393 | { __x.swap(*this); }
|
---|
394 |
|
---|
395 | /**
|
---|
396 | * @brief Builds a %function that targets a copy of the incoming
|
---|
397 | * function object.
|
---|
398 | * @param __f A %function object that is callable with parameters of
|
---|
399 | * type @c T1, @c T2, ..., @c TN and returns a value convertible
|
---|
400 | * to @c Res.
|
---|
401 | *
|
---|
402 | * The newly-created %function object will target a copy of
|
---|
403 | * @a __f. If @a __f is @c reference_wrapper<F>, then this function
|
---|
404 | * object will contain a reference to the function object @c
|
---|
405 | * __f.get(). If @a __f is a NULL function pointer or NULL
|
---|
406 | * pointer-to-member, the newly-created object will be empty.
|
---|
407 | *
|
---|
408 | * If @a __f is a non-NULL function pointer or an object of type @c
|
---|
409 | * reference_wrapper<F>, this function will not throw.
|
---|
410 | */
|
---|
411 | template<typename _Functor,
|
---|
412 | typename = _Requires<__not_<is_same<_Functor, function>>, void>,
|
---|
413 | typename = _Requires<_Callable<_Functor>, void>>
|
---|
414 | function(_Functor __f)
|
---|
415 | : _Function_base()
|
---|
416 | {
|
---|
417 | typedef _Function_handler<_Res(_ArgTypes...), _Functor> _My_handler;
|
---|
418 |
|
---|
419 | if (_My_handler::_M_not_empty_function(__f))
|
---|
420 | {
|
---|
421 | _My_handler::_M_init_functor(_M_functor, std::move(__f));
|
---|
422 | _M_invoker = &_My_handler::_M_invoke;
|
---|
423 | _M_manager = &_My_handler::_M_manager;
|
---|
424 | }
|
---|
425 | }
|
---|
426 |
|
---|
427 | /**
|
---|
428 | * @brief %Function assignment operator.
|
---|
429 | * @param __x A %function with identical call signature.
|
---|
430 | * @post @c (bool)*this == (bool)x
|
---|
431 | * @returns @c *this
|
---|
432 | *
|
---|
433 | * The target of @a __x is copied to @c *this. If @a __x has no
|
---|
434 | * target, then @c *this will be empty.
|
---|
435 | *
|
---|
436 | * If @a __x targets a function pointer or a reference to a function
|
---|
437 | * object, then this operation will not throw an %exception.
|
---|
438 | */
|
---|
439 | function&
|
---|
440 | operator=(const function& __x)
|
---|
441 | {
|
---|
442 | function(__x).swap(*this);
|
---|
443 | return *this;
|
---|
444 | }
|
---|
445 |
|
---|
446 | /**
|
---|
447 | * @brief %Function move-assignment operator.
|
---|
448 | * @param __x A %function rvalue with identical call signature.
|
---|
449 | * @returns @c *this
|
---|
450 | *
|
---|
451 | * The target of @a __x is moved to @c *this. If @a __x has no
|
---|
452 | * target, then @c *this will be empty.
|
---|
453 | *
|
---|
454 | * If @a __x targets a function pointer or a reference to a function
|
---|
455 | * object, then this operation will not throw an %exception.
|
---|
456 | */
|
---|
457 | function&
|
---|
458 | operator=(function&& __x) noexcept
|
---|
459 | {
|
---|
460 | function(std::move(__x)).swap(*this);
|
---|
461 | return *this;
|
---|
462 | }
|
---|
463 |
|
---|
464 | /**
|
---|
465 | * @brief %Function assignment to zero.
|
---|
466 | * @post @c !(bool)*this
|
---|
467 | * @returns @c *this
|
---|
468 | *
|
---|
469 | * The target of @c *this is deallocated, leaving it empty.
|
---|
470 | */
|
---|
471 | function&
|
---|
472 | operator=(nullptr_t) noexcept
|
---|
473 | {
|
---|
474 | if (_M_manager)
|
---|
475 | {
|
---|
476 | _M_manager(_M_functor, _M_functor, __destroy_functor);
|
---|
477 | _M_manager = nullptr;
|
---|
478 | _M_invoker = nullptr;
|
---|
479 | }
|
---|
480 | return *this;
|
---|
481 | }
|
---|
482 |
|
---|
483 | /**
|
---|
484 | * @brief %Function assignment to a new target.
|
---|
485 | * @param __f A %function object that is callable with parameters of
|
---|
486 | * type @c T1, @c T2, ..., @c TN and returns a value convertible
|
---|
487 | * to @c Res.
|
---|
488 | * @return @c *this
|
---|
489 | *
|
---|
490 | * This %function object wrapper will target a copy of @a
|
---|
491 | * __f. If @a __f is @c reference_wrapper<F>, then this function
|
---|
492 | * object will contain a reference to the function object @c
|
---|
493 | * __f.get(). If @a __f is a NULL function pointer or NULL
|
---|
494 | * pointer-to-member, @c this object will be empty.
|
---|
495 | *
|
---|
496 | * If @a __f is a non-NULL function pointer or an object of type @c
|
---|
497 | * reference_wrapper<F>, this function will not throw.
|
---|
498 | */
|
---|
499 | template<typename _Functor>
|
---|
500 | _Requires<_Callable<typename decay<_Functor>::type>, function&>
|
---|
501 | operator=(_Functor&& __f)
|
---|
502 | {
|
---|
503 | function(std::forward<_Functor>(__f)).swap(*this);
|
---|
504 | return *this;
|
---|
505 | }
|
---|
506 |
|
---|
507 | /// @overload
|
---|
508 | template<typename _Functor>
|
---|
509 | function&
|
---|
510 | operator=(reference_wrapper<_Functor> __f) noexcept
|
---|
511 | {
|
---|
512 | function(__f).swap(*this);
|
---|
513 | return *this;
|
---|
514 | }
|
---|
515 |
|
---|
516 | // [3.7.2.2] function modifiers
|
---|
517 |
|
---|
518 | /**
|
---|
519 | * @brief Swap the targets of two %function objects.
|
---|
520 | * @param __x A %function with identical call signature.
|
---|
521 | *
|
---|
522 | * Swap the targets of @c this function object and @a __f. This
|
---|
523 | * function will not throw an %exception.
|
---|
524 | */
|
---|
525 | void swap(function& __x) noexcept
|
---|
526 | {
|
---|
527 | std::swap(_M_functor, __x._M_functor);
|
---|
528 | std::swap(_M_manager, __x._M_manager);
|
---|
529 | std::swap(_M_invoker, __x._M_invoker);
|
---|
530 | }
|
---|
531 |
|
---|
532 | // [3.7.2.3] function capacity
|
---|
533 |
|
---|
534 | /**
|
---|
535 | * @brief Determine if the %function wrapper has a target.
|
---|
536 | *
|
---|
537 | * @return @c true when this %function object contains a target,
|
---|
538 | * or @c false when it is empty.
|
---|
539 | *
|
---|
540 | * This function will not throw an %exception.
|
---|
541 | */
|
---|
542 | explicit operator bool() const noexcept
|
---|
543 | { return !_M_empty(); }
|
---|
544 |
|
---|
545 | // [3.7.2.4] function invocation
|
---|
546 |
|
---|
547 | /**
|
---|
548 | * @brief Invokes the function targeted by @c *this.
|
---|
549 | * @returns the result of the target.
|
---|
550 | * @throws bad_function_call when @c !(bool)*this
|
---|
551 | *
|
---|
552 | * The function call operator invokes the target function object
|
---|
553 | * stored by @c this.
|
---|
554 | */
|
---|
555 | _Res
|
---|
556 | operator()(_ArgTypes... __args) const
|
---|
557 | {
|
---|
558 | if (_M_empty())
|
---|
559 | __throw_bad_function_call();
|
---|
560 | return _M_invoker(_M_functor, std::forward<_ArgTypes>(__args)...);
|
---|
561 | }
|
---|
562 |
|
---|
563 | #if __cpp_rtti
|
---|
564 | // [3.7.2.5] function target access
|
---|
565 | /**
|
---|
566 | * @brief Determine the type of the target of this function object
|
---|
567 | * wrapper.
|
---|
568 | *
|
---|
569 | * @returns the type identifier of the target function object, or
|
---|
570 | * @c typeid(void) if @c !(bool)*this.
|
---|
571 | *
|
---|
572 | * This function will not throw an %exception.
|
---|
573 | */
|
---|
574 | const type_info&
|
---|
575 | target_type() const noexcept
|
---|
576 | {
|
---|
577 | if (_M_manager)
|
---|
578 | {
|
---|
579 | _Any_data __typeinfo_result;
|
---|
580 | _M_manager(__typeinfo_result, _M_functor, __get_type_info);
|
---|
581 | if (auto __ti = __typeinfo_result._M_access<const type_info*>())
|
---|
582 | return *__ti;
|
---|
583 | }
|
---|
584 | return typeid(void);
|
---|
585 | }
|
---|
586 | #endif
|
---|
587 |
|
---|
588 | /**
|
---|
589 | * @brief Access the stored target function object.
|
---|
590 | *
|
---|
591 | * @return Returns a pointer to the stored target function object,
|
---|
592 | * if @c typeid(_Functor).equals(target_type()); otherwise, a null
|
---|
593 | * pointer.
|
---|
594 | *
|
---|
595 | * This function does not throw exceptions.
|
---|
596 | *
|
---|
597 | * @{
|
---|
598 | */
|
---|
599 | template<typename _Functor>
|
---|
600 | _Functor*
|
---|
601 | target() noexcept
|
---|
602 | {
|
---|
603 | const function* __const_this = this;
|
---|
604 | const _Functor* __func = __const_this->template target<_Functor>();
|
---|
605 | // If is_function_v<_Functor> is true then const_cast<_Functor*>
|
---|
606 | // would be ill-formed, so use *const_cast<_Functor**> instead.
|
---|
607 | return *const_cast<_Functor**>(&__func);
|
---|
608 | }
|
---|
609 |
|
---|
610 | template<typename _Functor>
|
---|
611 | const _Functor*
|
---|
612 | target() const noexcept
|
---|
613 | {
|
---|
614 | if _GLIBCXX17_CONSTEXPR (is_object<_Functor>::value)
|
---|
615 | {
|
---|
616 | // For C++11 and C++14 if-constexpr is not used above, so
|
---|
617 | // _Target_handler avoids ill-formed _Function_handler types.
|
---|
618 | using _Handler = _Target_handler<_Res(_ArgTypes...), _Functor>;
|
---|
619 |
|
---|
620 | if (_M_manager == &_Handler::_M_manager
|
---|
621 | #if __cpp_rtti
|
---|
622 | || (_M_manager && typeid(_Functor) == target_type())
|
---|
623 | #endif
|
---|
624 | )
|
---|
625 | {
|
---|
626 | _Any_data __ptr;
|
---|
627 | _M_manager(__ptr, _M_functor, __get_functor_ptr);
|
---|
628 | return __ptr._M_access<const _Functor*>();
|
---|
629 | }
|
---|
630 | }
|
---|
631 | return nullptr;
|
---|
632 | }
|
---|
633 | /// @}
|
---|
634 |
|
---|
635 | private:
|
---|
636 | using _Invoker_type = _Res (*)(const _Any_data&, _ArgTypes&&...);
|
---|
637 | _Invoker_type _M_invoker;
|
---|
638 | };
|
---|
639 |
|
---|
640 | #if __cpp_deduction_guides >= 201606
|
---|
641 | template<typename>
|
---|
642 | struct __function_guide_helper
|
---|
643 | { };
|
---|
644 |
|
---|
645 | template<typename _Res, typename _Tp, bool _Nx, typename... _Args>
|
---|
646 | struct __function_guide_helper<
|
---|
647 | _Res (_Tp::*) (_Args...) noexcept(_Nx)
|
---|
648 | >
|
---|
649 | { using type = _Res(_Args...); };
|
---|
650 |
|
---|
651 | template<typename _Res, typename _Tp, bool _Nx, typename... _Args>
|
---|
652 | struct __function_guide_helper<
|
---|
653 | _Res (_Tp::*) (_Args...) & noexcept(_Nx)
|
---|
654 | >
|
---|
655 | { using type = _Res(_Args...); };
|
---|
656 |
|
---|
657 | template<typename _Res, typename _Tp, bool _Nx, typename... _Args>
|
---|
658 | struct __function_guide_helper<
|
---|
659 | _Res (_Tp::*) (_Args...) const noexcept(_Nx)
|
---|
660 | >
|
---|
661 | { using type = _Res(_Args...); };
|
---|
662 |
|
---|
663 | template<typename _Res, typename _Tp, bool _Nx, typename... _Args>
|
---|
664 | struct __function_guide_helper<
|
---|
665 | _Res (_Tp::*) (_Args...) const & noexcept(_Nx)
|
---|
666 | >
|
---|
667 | { using type = _Res(_Args...); };
|
---|
668 |
|
---|
669 | template<typename _Res, typename... _ArgTypes>
|
---|
670 | function(_Res(*)(_ArgTypes...)) -> function<_Res(_ArgTypes...)>;
|
---|
671 |
|
---|
672 | template<typename _Functor, typename _Signature = typename
|
---|
673 | __function_guide_helper<decltype(&_Functor::operator())>::type>
|
---|
674 | function(_Functor) -> function<_Signature>;
|
---|
675 | #endif
|
---|
676 |
|
---|
677 | // [20.7.15.2.6] null pointer comparisons
|
---|
678 |
|
---|
679 | /**
|
---|
680 | * @brief Compares a polymorphic function object wrapper against 0
|
---|
681 | * (the NULL pointer).
|
---|
682 | * @returns @c true if the wrapper has no target, @c false otherwise
|
---|
683 | *
|
---|
684 | * This function will not throw an %exception.
|
---|
685 | */
|
---|
686 | template<typename _Res, typename... _Args>
|
---|
687 | inline bool
|
---|
688 | operator==(const function<_Res(_Args...)>& __f, nullptr_t) noexcept
|
---|
689 | { return !static_cast<bool>(__f); }
|
---|
690 |
|
---|
691 | #if __cpp_impl_three_way_comparison < 201907L
|
---|
692 | /// @overload
|
---|
693 | template<typename _Res, typename... _Args>
|
---|
694 | inline bool
|
---|
695 | operator==(nullptr_t, const function<_Res(_Args...)>& __f) noexcept
|
---|
696 | { return !static_cast<bool>(__f); }
|
---|
697 |
|
---|
698 | /**
|
---|
699 | * @brief Compares a polymorphic function object wrapper against 0
|
---|
700 | * (the NULL pointer).
|
---|
701 | * @returns @c false if the wrapper has no target, @c true otherwise
|
---|
702 | *
|
---|
703 | * This function will not throw an %exception.
|
---|
704 | */
|
---|
705 | template<typename _Res, typename... _Args>
|
---|
706 | inline bool
|
---|
707 | operator!=(const function<_Res(_Args...)>& __f, nullptr_t) noexcept
|
---|
708 | { return static_cast<bool>(__f); }
|
---|
709 |
|
---|
710 | /// @overload
|
---|
711 | template<typename _Res, typename... _Args>
|
---|
712 | inline bool
|
---|
713 | operator!=(nullptr_t, const function<_Res(_Args...)>& __f) noexcept
|
---|
714 | { return static_cast<bool>(__f); }
|
---|
715 | #endif
|
---|
716 |
|
---|
717 | // [20.7.15.2.7] specialized algorithms
|
---|
718 |
|
---|
719 | /**
|
---|
720 | * @brief Swap the targets of two polymorphic function object wrappers.
|
---|
721 | *
|
---|
722 | * This function will not throw an %exception.
|
---|
723 | */
|
---|
724 | // _GLIBCXX_RESOLVE_LIB_DEFECTS
|
---|
725 | // 2062. Effect contradictions w/o no-throw guarantee of std::function swaps
|
---|
726 | template<typename _Res, typename... _Args>
|
---|
727 | inline void
|
---|
728 | swap(function<_Res(_Args...)>& __x, function<_Res(_Args...)>& __y) noexcept
|
---|
729 | { __x.swap(__y); }
|
---|
730 |
|
---|
731 | #if __cplusplus >= 201703L
|
---|
732 | namespace __detail::__variant
|
---|
733 | {
|
---|
734 | template<typename> struct _Never_valueless_alt; // see <variant>
|
---|
735 |
|
---|
736 | // Provide the strong exception-safety guarantee when emplacing a
|
---|
737 | // function into a variant.
|
---|
738 | template<typename _Signature>
|
---|
739 | struct _Never_valueless_alt<std::function<_Signature>>
|
---|
740 | : std::true_type
|
---|
741 | { };
|
---|
742 | } // namespace __detail::__variant
|
---|
743 | #endif // C++17
|
---|
744 |
|
---|
745 | _GLIBCXX_END_NAMESPACE_VERSION
|
---|
746 | } // namespace std
|
---|
747 |
|
---|
748 | #endif // C++11
|
---|
749 | #endif // _GLIBCXX_STD_FUNCTION_H
|
---|