Files
boost_function/include/boost/function/function_template.hpp

1072 lines
32 KiB
C++
Raw Normal View History

// Boost.Function library
// Copyright Douglas Gregor 2001-2006
// Copyright Emil Dotchevski 2007
// Use, modification and distribution is subject to the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
2001-06-21 16:19:33 +00:00
// For more information, see http://www.boost.org
// Note: this header is a header template and must NOT have multiple-inclusion
// protection.
#include <boost/function/detail/prologue.hpp>
#include <boost/core/no_exceptions_support.hpp>
2001-06-21 16:19:33 +00:00
#if defined(BOOST_MSVC)
# pragma warning( push )
# pragma warning( disable : 4127 ) // "conditional expression is constant"
#endif
#define BOOST_FUNCTION_ARGS static_cast<T&&>(a)...
#define BOOST_FUNCTION_VOID_RETURN_TYPE void
#define BOOST_FUNCTION_RETURN(X) X
2001-06-21 16:19:33 +00:00
namespace boost {
namespace detail {
namespace function {
template<
typename FunctionPtr,
2024-01-28 03:02:55 +02:00
typename R,
typename... T
2001-06-21 16:19:33 +00:00
>
struct function_invoker
2001-06-21 16:19:33 +00:00
{
2024-01-28 03:02:55 +02:00
static R invoke(function_buffer& function_ptr,
2024-01-28 03:06:03 +02:00
T... a)
2001-06-21 16:19:33 +00:00
{
FunctionPtr f = reinterpret_cast<FunctionPtr>(function_ptr.members.func_ptr);
2001-06-21 16:19:33 +00:00
return f(BOOST_FUNCTION_ARGS);
}
};
template<
typename FunctionPtr,
2024-01-28 03:02:55 +02:00
typename R,
typename... T
2001-06-21 16:19:33 +00:00
>
struct void_function_invoker
2001-06-21 16:19:33 +00:00
{
static BOOST_FUNCTION_VOID_RETURN_TYPE
2024-01-28 03:02:55 +02:00
invoke(function_buffer& function_ptr,
2024-01-28 03:06:03 +02:00
T... a)
2001-06-21 16:19:33 +00:00
{
FunctionPtr f = reinterpret_cast<FunctionPtr>(function_ptr.members.func_ptr);
BOOST_FUNCTION_RETURN(f(BOOST_FUNCTION_ARGS));
2001-06-21 16:19:33 +00:00
}
};
template<
typename FunctionObj,
2024-01-28 03:02:55 +02:00
typename R,
typename... T
2001-06-21 16:19:33 +00:00
>
struct function_obj_invoker
2001-06-21 16:19:33 +00:00
{
2024-01-28 03:02:55 +02:00
static R invoke(function_buffer& function_obj_ptr,
2024-01-28 03:06:03 +02:00
T... a)
2001-06-21 16:19:33 +00:00
{
FunctionObj* f;
if (function_allows_small_object_optimization<FunctionObj>::value)
f = reinterpret_cast<FunctionObj*>(function_obj_ptr.data);
else
f = reinterpret_cast<FunctionObj*>(function_obj_ptr.members.obj_ptr);
return (*f)(BOOST_FUNCTION_ARGS);
2001-06-21 16:19:33 +00:00
}
};
template<
typename FunctionObj,
2024-01-28 03:02:55 +02:00
typename R,
typename... T
2001-06-21 16:19:33 +00:00
>
struct void_function_obj_invoker
2001-06-21 16:19:33 +00:00
{
static BOOST_FUNCTION_VOID_RETURN_TYPE
2024-01-28 03:02:55 +02:00
invoke(function_buffer& function_obj_ptr,
2024-01-28 03:06:03 +02:00
T... a)
2001-06-21 16:19:33 +00:00
{
FunctionObj* f;
if (function_allows_small_object_optimization<FunctionObj>::value)
f = reinterpret_cast<FunctionObj*>(function_obj_ptr.data);
else
f = reinterpret_cast<FunctionObj*>(function_obj_ptr.members.obj_ptr);
BOOST_FUNCTION_RETURN((*f)(BOOST_FUNCTION_ARGS));
2001-06-21 16:19:33 +00:00
}
};
template<
typename FunctionObj,
2024-01-28 03:02:55 +02:00
typename R,
typename... T
>
struct function_ref_invoker
{
2024-01-28 03:02:55 +02:00
static R invoke(function_buffer& function_obj_ptr,
2024-01-28 03:06:03 +02:00
T... a)
{
FunctionObj* f =
reinterpret_cast<FunctionObj*>(function_obj_ptr.members.obj_ptr);
return (*f)(BOOST_FUNCTION_ARGS);
}
};
template<
typename FunctionObj,
2024-01-28 03:02:55 +02:00
typename R,
typename... T
>
struct void_function_ref_invoker
{
static BOOST_FUNCTION_VOID_RETURN_TYPE
2024-01-28 03:02:55 +02:00
invoke(function_buffer& function_obj_ptr,
2024-01-28 03:06:03 +02:00
T... a)
{
FunctionObj* f =
reinterpret_cast<FunctionObj*>(function_obj_ptr.members.obj_ptr);
BOOST_FUNCTION_RETURN((*f)(BOOST_FUNCTION_ARGS));
}
};
#if BOOST_FUNCTION_NUM_ARGS > 0
/* Handle invocation of member pointers. */
template<
typename MemberPtr,
2024-01-28 03:02:55 +02:00
typename R,
typename... T
>
struct member_invoker
{
2024-01-28 03:02:55 +02:00
static R invoke(function_buffer& function_obj_ptr,
2024-01-28 03:06:03 +02:00
T... a)
{
MemberPtr* f =
reinterpret_cast<MemberPtr*>(function_obj_ptr.data);
return boost::mem_fn(*f)(BOOST_FUNCTION_ARGS);
}
};
template<
typename MemberPtr,
2024-01-28 03:02:55 +02:00
typename R,
typename... T
>
struct void_member_invoker
{
static BOOST_FUNCTION_VOID_RETURN_TYPE
2024-01-28 03:02:55 +02:00
invoke(function_buffer& function_obj_ptr,
2024-01-28 03:06:03 +02:00
T... a)
{
MemberPtr* f =
reinterpret_cast<MemberPtr*>(function_obj_ptr.data);
BOOST_FUNCTION_RETURN(boost::mem_fn(*f)(BOOST_FUNCTION_ARGS));
}
};
#endif
2001-06-21 16:19:33 +00:00
template<
typename FunctionPtr,
2024-01-28 03:02:55 +02:00
typename R,
typename... T
2001-06-21 16:19:33 +00:00
>
struct get_function_invoker
2001-06-21 16:19:33 +00:00
{
2018-09-22 15:11:32 -04:00
typedef typename conditional<(is_void<R>::value),
void_function_invoker<
2001-06-21 16:19:33 +00:00
FunctionPtr,
2024-01-28 03:02:55 +02:00
R,
T...
2001-06-21 16:19:33 +00:00
>,
function_invoker<
2001-06-21 16:19:33 +00:00
FunctionPtr,
2024-01-28 03:02:55 +02:00
R,
T...
2001-06-21 16:19:33 +00:00
>
>::type type;
};
template<
typename FunctionObj,
2024-01-28 03:02:55 +02:00
typename R,
typename... T
2001-06-21 16:19:33 +00:00
>
struct get_function_obj_invoker
2001-06-21 16:19:33 +00:00
{
2018-09-22 15:11:32 -04:00
typedef typename conditional<(is_void<R>::value),
void_function_obj_invoker<
2001-06-21 16:19:33 +00:00
FunctionObj,
2024-01-28 03:02:55 +02:00
R,
T...
2001-06-21 16:19:33 +00:00
>,
function_obj_invoker<
2001-06-21 16:19:33 +00:00
FunctionObj,
2024-01-28 03:02:55 +02:00
R,
T...
2001-06-21 16:19:33 +00:00
>
>::type type;
};
template<
typename FunctionObj,
2024-01-28 03:02:55 +02:00
typename R,
typename... T
>
struct get_function_ref_invoker
{
2018-09-22 15:11:32 -04:00
typedef typename conditional<(is_void<R>::value),
void_function_ref_invoker<
FunctionObj,
2024-01-28 03:02:55 +02:00
R,
T...
>,
function_ref_invoker<
FunctionObj,
2024-01-28 03:02:55 +02:00
R,
T...
>
>::type type;
};
#if BOOST_FUNCTION_NUM_ARGS > 0
/* Retrieve the appropriate invoker for a member pointer. */
template<
typename MemberPtr,
2024-01-28 03:02:55 +02:00
typename R,
typename... T
>
struct get_member_invoker
{
2018-09-22 15:11:32 -04:00
typedef typename conditional<(is_void<R>::value),
void_member_invoker<
MemberPtr,
2024-01-28 03:02:55 +02:00
R,
T...
>,
member_invoker<
MemberPtr,
2024-01-28 03:02:55 +02:00
R,
T...
>
>::type type;
};
#endif
/* Given the tag returned by get_function_tag, retrieve the
actual invoker that will be used for the given function
object.
Each specialization contains an "apply" nested class template
that accepts the function object, return type, function
argument types, and allocator. The resulting "apply" class
contains two typedefs, "invoker_type" and "manager_type",
which correspond to the invoker and manager types. */
template<typename Tag>
struct get_invoker { };
/* Retrieve the invoker for a function pointer. */
template<>
struct get_invoker<function_ptr_tag>
{
template<typename FunctionPtr,
typename R, typename... T>
struct apply
{
typedef typename get_function_invoker<
FunctionPtr,
2024-01-28 03:02:55 +02:00
R,
T...
>::type
invoker_type;
typedef functor_manager<FunctionPtr> manager_type;
};
2018-10-19 02:34:42 +03:00
template<typename FunctionPtr, typename Allocator,
typename R, typename... T>
struct apply_a
{
typedef typename get_function_invoker<
FunctionPtr,
2024-01-28 03:02:55 +02:00
R,
T...
>::type
invoker_type;
typedef functor_manager<FunctionPtr> manager_type;
};
};
#if BOOST_FUNCTION_NUM_ARGS > 0
/* Retrieve the invoker for a member pointer. */
template<>
struct get_invoker<member_ptr_tag>
{
template<typename MemberPtr,
typename R, typename... T>
struct apply
{
typedef typename get_member_invoker<
MemberPtr,
2024-01-28 03:02:55 +02:00
R,
T...
>::type
invoker_type;
typedef functor_manager<MemberPtr> manager_type;
};
2018-10-19 02:34:42 +03:00
template<typename MemberPtr, typename Allocator,
typename R, typename... T>
struct apply_a
{
typedef typename get_member_invoker<
MemberPtr,
2024-01-28 03:02:55 +02:00
R,
T...
>::type
invoker_type;
typedef functor_manager<MemberPtr> manager_type;
};
};
#endif
/* Retrieve the invoker for a function object. */
template<>
struct get_invoker<function_obj_tag>
{
template<typename FunctionObj,
typename R, typename... T>
struct apply
{
typedef typename get_function_obj_invoker<
FunctionObj,
2024-01-28 03:02:55 +02:00
R,
T...
>::type
invoker_type;
typedef functor_manager<FunctionObj> manager_type;
};
2018-10-19 02:34:42 +03:00
template<typename FunctionObj, typename Allocator,
typename R, typename... T>
struct apply_a
{
typedef typename get_function_obj_invoker<
FunctionObj,
2024-01-28 03:02:55 +02:00
R,
T...
>::type
invoker_type;
typedef functor_manager_a<FunctionObj, Allocator> manager_type;
};
};
/* Retrieve the invoker for a reference to a function object. */
template<>
struct get_invoker<function_obj_ref_tag>
{
template<typename RefWrapper,
typename R, typename... T>
struct apply
{
typedef typename get_function_ref_invoker<
typename RefWrapper::type,
2024-01-28 03:02:55 +02:00
R,
T...
>::type
invoker_type;
typedef reference_manager<typename RefWrapper::type> manager_type;
};
2018-10-19 02:34:42 +03:00
template<typename RefWrapper, typename Allocator,
typename R, typename... T>
struct apply_a
{
typedef typename get_function_ref_invoker<
typename RefWrapper::type,
2024-01-28 03:02:55 +02:00
R,
T...
>::type
invoker_type;
typedef reference_manager<typename RefWrapper::type> manager_type;
};
};
/**
* vtable for a specific boost::function instance. This
* structure must be an aggregate so that we can use static
* initialization in boost::function's assign_to and assign_to_a
* members. It therefore cannot have any constructors,
* destructors, base classes, etc.
*/
template<typename R, typename... T>
2024-01-28 03:01:14 +02:00
struct basic_vtable
{
typedef R result_type;
typedef result_type (*invoker_type)(function_buffer&
2024-01-28 03:02:55 +02:00
,
T...);
template<typename F>
2011-05-31 21:12:35 +00:00
bool assign_to(F f, function_buffer& functor) const
{
typedef typename get_function_tag<F>::type tag;
return assign_to(f, functor, tag());
}
template<typename F,typename Allocator>
2011-05-31 21:12:35 +00:00
bool assign_to_a(F f, function_buffer& functor, Allocator a) const
{
typedef typename get_function_tag<F>::type tag;
return assign_to_a(f, functor, a, tag());
}
2011-05-31 21:12:35 +00:00
void clear(function_buffer& functor) const
{
#if defined(BOOST_GCC) && (__GNUC__ >= 11)
# pragma GCC diagnostic push
// False positive in GCC 11/12 for empty function objects
# pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
#endif
if (base.manager)
base.manager(functor, functor, destroy_functor_tag);
#if defined(BOOST_GCC) && (__GNUC__ >= 11)
# pragma GCC diagnostic pop
#endif
}
private:
// Function pointers
template<typename FunctionPtr>
bool
2011-05-31 21:12:35 +00:00
assign_to(FunctionPtr f, function_buffer& functor, function_ptr_tag) const
{
this->clear(functor);
if (f) {
// should be a reinterpret cast, but some compilers insist
// on giving cv-qualifiers to free functions
functor.members.func_ptr = reinterpret_cast<void (*)()>(f);
return true;
} else {
return false;
}
}
template<typename FunctionPtr,typename Allocator>
bool
2011-05-31 21:12:35 +00:00
assign_to_a(FunctionPtr f, function_buffer& functor, Allocator, function_ptr_tag) const
{
return assign_to(f,functor,function_ptr_tag());
}
// Member pointers
#if BOOST_FUNCTION_NUM_ARGS > 0
template<typename MemberPtr>
2011-05-31 21:12:35 +00:00
bool assign_to(MemberPtr f, function_buffer& functor, member_ptr_tag) const
{
// DPG TBD: Add explicit support for member function
// objects, so we invoke through mem_fn() but we retain the
// right target_type() values.
if (f) {
this->assign_to(boost::mem_fn(f), functor);
return true;
} else {
return false;
}
}
template<typename MemberPtr,typename Allocator>
2011-05-31 21:12:35 +00:00
bool assign_to_a(MemberPtr f, function_buffer& functor, Allocator a, member_ptr_tag) const
{
// DPG TBD: Add explicit support for member function
// objects, so we invoke through mem_fn() but we retain the
// right target_type() values.
if (f) {
this->assign_to_a(boost::mem_fn(f), functor, a);
return true;
} else {
return false;
}
}
#endif // BOOST_FUNCTION_NUM_ARGS > 0
// Function objects
// Assign to a function object using the small object optimization
template<typename FunctionObj>
void
2018-09-22 15:11:32 -04:00
assign_functor(FunctionObj f, function_buffer& functor, true_type) const
{
new (reinterpret_cast<void*>(functor.data)) FunctionObj(f);
}
template<typename FunctionObj,typename Allocator>
void
2018-09-22 15:11:32 -04:00
assign_functor_a(FunctionObj f, function_buffer& functor, Allocator, true_type) const
{
2018-09-22 15:11:32 -04:00
assign_functor(f,functor,true_type());
}
// Assign to a function object allocated on the heap.
template<typename FunctionObj>
void
2018-09-22 15:11:32 -04:00
assign_functor(FunctionObj f, function_buffer& functor, false_type) const
{
functor.members.obj_ptr = new FunctionObj(f);
}
template<typename FunctionObj,typename Allocator>
void
2018-09-22 15:11:32 -04:00
assign_functor_a(FunctionObj f, function_buffer& functor, Allocator a, false_type) const
{
typedef functor_wrapper<FunctionObj,Allocator> functor_wrapper_type;
using wrapper_allocator_type = typename std::allocator_traits<Allocator>::template rebind_alloc<functor_wrapper_type>;
using wrapper_allocator_pointer_type = typename std::allocator_traits<wrapper_allocator_type>::pointer;
wrapper_allocator_type wrapper_allocator(a);
wrapper_allocator_pointer_type copy = wrapper_allocator.allocate(1);
std::allocator_traits<wrapper_allocator_type>::construct(wrapper_allocator, copy, functor_wrapper_type(f,a));
functor_wrapper_type* new_f = static_cast<functor_wrapper_type*>(copy);
functor.members.obj_ptr = new_f;
}
template<typename FunctionObj>
bool
2011-05-31 21:12:35 +00:00
assign_to(FunctionObj f, function_buffer& functor, function_obj_tag) const
{
if (!boost::detail::function::has_empty_target(boost::addressof(f))) {
assign_functor(f, functor,
2018-09-22 15:11:32 -04:00
integral_constant<bool, (function_allows_small_object_optimization<FunctionObj>::value)>());
return true;
} else {
return false;
}
}
template<typename FunctionObj,typename Allocator>
bool
2011-05-31 21:12:35 +00:00
assign_to_a(FunctionObj f, function_buffer& functor, Allocator a, function_obj_tag) const
{
if (!boost::detail::function::has_empty_target(boost::addressof(f))) {
assign_functor_a(f, functor, a,
2018-09-22 15:11:32 -04:00
integral_constant<bool, (function_allows_small_object_optimization<FunctionObj>::value)>());
return true;
} else {
return false;
}
}
// Reference to a function object
template<typename FunctionObj>
bool
assign_to(const reference_wrapper<FunctionObj>& f,
2011-05-31 21:12:35 +00:00
function_buffer& functor, function_obj_ref_tag) const
{
functor.members.obj_ref.obj_ptr = (void *)(f.get_pointer());
functor.members.obj_ref.is_const_qualified = is_const<FunctionObj>::value;
functor.members.obj_ref.is_volatile_qualified = is_volatile<FunctionObj>::value;
return true;
}
template<typename FunctionObj,typename Allocator>
bool
assign_to_a(const reference_wrapper<FunctionObj>& f,
2011-05-31 21:12:35 +00:00
function_buffer& functor, Allocator, function_obj_ref_tag) const
{
return assign_to(f,functor,function_obj_ref_tag());
}
public:
vtable_base base;
invoker_type invoker;
};
template <typename... T>
struct variadic_function_base
{};
template <typename T>
struct variadic_function_base<T>
{
typedef T argument_type;
};
template <typename T0, typename T1>
struct variadic_function_base<T0, T1>
{
typedef T0 first_argument_type;
typedef T1 second_argument_type;
};
} // end namespace function
} // end namespace detail
template<
2024-01-28 03:02:55 +02:00
typename R,
typename... T
>
2024-01-28 02:29:30 +02:00
class function_n : public function_base
, public detail::function::variadic_function_base<T...>
{
2003-07-18 16:18:16 +00:00
public:
typedef R result_type;
2003-07-18 16:18:16 +00:00
private:
2024-01-28 03:01:14 +02:00
typedef boost::detail::function::basic_vtable<
R, T...>
vtable_type;
vtable_type* get_vtable() const {
return reinterpret_cast<vtable_type*>(
reinterpret_cast<std::size_t>(vtable) & ~static_cast<std::size_t>(0x01));
}
struct clear_type {};
public:
// add signature for boost::lambda
template<typename Args>
struct sig
{
typedef result_type type;
};
BOOST_STATIC_CONSTANT(int, arity = sizeof...(T));
2024-01-28 02:29:30 +02:00
typedef function_n self_type;
2024-01-28 02:29:30 +02:00
BOOST_DEFAULTED_FUNCTION(function_n(), : function_base() {})
// MSVC chokes if the following two constructors are collapsed into
// one with a default parameter.
template<typename Functor>
2024-01-28 02:29:30 +02:00
function_n(Functor f
2018-09-22 15:06:23 -04:00
,typename boost::enable_if_<
!(is_integral<Functor>::value),
int>::type = 0
) :
function_base()
{
this->assign_to(f);
}
template<typename Functor,typename Allocator>
2024-01-28 02:29:30 +02:00
function_n(Functor f, Allocator a
2018-09-22 15:06:23 -04:00
,typename boost::enable_if_<
!(is_integral<Functor>::value),
int>::type = 0
) :
function_base()
{
this->assign_to_a(f,a);
}
2001-06-21 16:19:33 +00:00
2024-01-28 02:29:30 +02:00
function_n(clear_type*) : function_base() { }
2024-01-28 02:29:30 +02:00
function_n(const function_n& f) : function_base()
2001-06-21 16:19:33 +00:00
{
this->assign_to_own(f);
2001-06-21 16:19:33 +00:00
}
2024-01-28 02:29:30 +02:00
function_n(function_n&& f) : function_base()
{
this->move_assign(f);
}
2024-01-28 02:29:30 +02:00
~function_n() { clear(); }
2024-01-28 03:06:03 +02:00
result_type operator()(T... a) const
2001-06-21 16:19:33 +00:00
{
if (this->empty())
boost::throw_exception(bad_function_call());
2001-06-21 16:19:33 +00:00
return get_vtable()->invoker
2024-01-28 03:02:55 +02:00
(this->functor, BOOST_FUNCTION_ARGS);
2001-06-21 16:19:33 +00:00
}
2024-01-28 02:29:30 +02:00
// The distinction between when to use function_n and
// when to use self_type is obnoxious. MSVC cannot handle self_type as
// the return type of these assignment operators, but Borland C++ cannot
2024-01-28 02:29:30 +02:00
// handle function_n as the type of the temporary to
// construct.
template<typename Functor>
2018-09-22 15:06:23 -04:00
typename boost::enable_if_<
!(is_integral<Functor>::value),
2024-01-28 02:29:30 +02:00
function_n&>::type
operator=(Functor f)
2001-06-21 16:19:33 +00:00
{
this->clear();
BOOST_TRY {
this->assign_to(f);
} BOOST_CATCH (...) {
vtable = 0;
BOOST_RETHROW;
}
BOOST_CATCH_END
return *this;
2001-06-21 16:19:33 +00:00
}
template<typename Functor,typename Allocator>
void assign(Functor f, Allocator a)
{
this->clear();
BOOST_TRY{
this->assign_to_a(f,a);
} BOOST_CATCH (...) {
vtable = 0;
BOOST_RETHROW;
}
BOOST_CATCH_END
}
2001-06-21 16:19:33 +00:00
2024-01-28 02:29:30 +02:00
function_n& operator=(clear_type*)
{
this->clear();
return *this;
}
2024-01-28 02:29:30 +02:00
// Assignment from another function_n
function_n& operator=(const function_n& f)
2001-06-21 16:19:33 +00:00
{
if (&f == this)
return *this;
this->clear();
BOOST_TRY {
this->assign_to_own(f);
} BOOST_CATCH (...) {
vtable = 0;
BOOST_RETHROW;
}
BOOST_CATCH_END
2001-06-21 16:19:33 +00:00
return *this;
}
2024-01-28 02:29:30 +02:00
// Move assignment from another function_n
function_n& operator=(function_n&& f)
{
if (&f == this)
return *this;
this->clear();
BOOST_TRY {
this->move_assign(f);
} BOOST_CATCH (...) {
vtable = 0;
BOOST_RETHROW;
}
BOOST_CATCH_END
return *this;
}
2001-06-21 16:19:33 +00:00
2024-01-28 02:29:30 +02:00
void swap(function_n& other)
{
if (&other == this)
return;
2024-01-28 02:29:30 +02:00
function_n tmp;
tmp.move_assign(*this);
this->move_assign(other);
other.move_assign(tmp);
}
// Clear out a target, if there is one
void clear()
{
if (vtable) {
if (!this->has_trivial_copy_and_destroy())
get_vtable()->clear(this->functor);
vtable = 0;
}
}
explicit operator bool () const { return !this->empty(); }
private:
2024-01-28 02:29:30 +02:00
void assign_to_own(const function_n& f)
{
if (!f.empty()) {
this->vtable = f.vtable;
if (this->has_trivial_copy_and_destroy()) {
// Don't operate on storage directly since union type doesn't relax
// strict aliasing rules, despite of having member char type.
# if defined(BOOST_GCC) && (BOOST_GCC >= 40700)
# pragma GCC diagnostic push
// This warning is technically correct, but we don't want to pay the price for initializing
// just to silence a warning: https://github.com/boostorg/function/issues/27
2022-05-30 20:25:13 +03:00
# pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
2023-02-12 04:50:04 +02:00
# if (BOOST_GCC >= 110000)
// GCC 11.3, 12 emit a different warning: https://github.com/boostorg/function/issues/42
# pragma GCC diagnostic ignored "-Wuninitialized"
# endif
# endif
std::memcpy(this->functor.data, f.functor.data, sizeof(boost::detail::function::function_buffer));
# if defined(BOOST_GCC) && (BOOST_GCC >= 40700)
# pragma GCC diagnostic pop
# endif
} else
get_vtable()->base.manager(f.functor, this->functor,
boost::detail::function::clone_functor_tag);
}
}
template<typename Functor>
void assign_to(Functor f)
{
using boost::detail::function::vtable_base;
typedef typename boost::detail::function::get_function_tag<Functor>::type tag;
typedef boost::detail::function::get_invoker<tag> get_invoker;
typedef typename get_invoker::
2024-01-28 03:02:55 +02:00
template apply<Functor, R,
T...>
handler_type;
typedef typename handler_type::invoker_type invoker_type;
typedef typename handler_type::manager_type manager_type;
// Note: it is extremely important that this initialization use
// static initialization. Otherwise, we will have a race
// condition here in multi-threaded code. See
// http://thread.gmane.org/gmane.comp.lib.boost.devel/164902/.
static const vtable_type stored_vtable =
{ { &manager_type::manage }, &invoker_type::invoke };
if (stored_vtable.assign_to(f, functor)) {
std::size_t value = reinterpret_cast<std::size_t>(&stored_vtable.base);
// coverity[pointless_expression]: suppress coverity warnings on apparant if(const).
if (boost::has_trivial_copy_constructor<Functor>::value &&
boost::has_trivial_destructor<Functor>::value &&
boost::detail::function::function_allows_small_object_optimization<Functor>::value)
value |= static_cast<std::size_t>(0x01);
vtable = reinterpret_cast<boost::detail::function::vtable_base *>(value);
} else
vtable = 0;
}
template<typename Functor,typename Allocator>
void assign_to_a(Functor f,Allocator a)
{
using boost::detail::function::vtable_base;
typedef typename boost::detail::function::get_function_tag<Functor>::type tag;
typedef boost::detail::function::get_invoker<tag> get_invoker;
typedef typename get_invoker::
2024-01-28 03:02:55 +02:00
template apply_a<Functor, Allocator, R,
T...>
handler_type;
typedef typename handler_type::invoker_type invoker_type;
typedef typename handler_type::manager_type manager_type;
// Note: it is extremely important that this initialization use
// static initialization. Otherwise, we will have a race
// condition here in multi-threaded code. See
// http://thread.gmane.org/gmane.comp.lib.boost.devel/164902/.
2011-05-31 21:12:35 +00:00
static const vtable_type stored_vtable =
{ { &manager_type::manage }, &invoker_type::invoke };
if (stored_vtable.assign_to_a(f, functor, a)) {
std::size_t value = reinterpret_cast<std::size_t>(&stored_vtable.base);
// coverity[pointless_expression]: suppress coverity warnings on apparant if(const).
if (boost::has_trivial_copy_constructor<Functor>::value &&
boost::has_trivial_destructor<Functor>::value &&
boost::detail::function::function_allows_small_object_optimization<Functor>::value)
value |= static_cast<std::size_t>(0x01);
vtable = reinterpret_cast<boost::detail::function::vtable_base *>(value);
} else
vtable = 0;
}
// Moves the value from the specified argument to *this. If the argument
// has its function object allocated on the heap, move_assign will pass
// its buffer to *this, and set the argument's buffer pointer to NULL.
2024-01-28 02:29:30 +02:00
void move_assign(function_n& f)
{
if (&f == this)
return;
BOOST_TRY {
if (!f.empty()) {
this->vtable = f.vtable;
if (this->has_trivial_copy_and_destroy()) {
// Don't operate on storage directly since union type doesn't relax
// strict aliasing rules, despite of having member char type.
# if defined(BOOST_GCC) && (BOOST_GCC >= 40700)
# pragma GCC diagnostic push
// This warning is technically correct, but we don't want to pay the price for initializing
// just to silence a warning: https://github.com/boostorg/function/issues/27
2022-05-30 20:25:13 +03:00
# pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
# if (BOOST_GCC >= 120000)
2022-05-30 20:25:13 +03:00
// GCC 12 emits a different warning: https://github.com/boostorg/function/issues/42
# pragma GCC diagnostic ignored "-Wuninitialized"
# endif
# endif
std::memcpy(this->functor.data, f.functor.data, sizeof(this->functor.data));
# if defined(BOOST_GCC) && (BOOST_GCC >= 40700)
# pragma GCC diagnostic pop
# endif
} else
#if defined(BOOST_GCC) && (__GNUC__ >= 11)
# pragma GCC diagnostic push
// False positive in GCC 11/12 for empty function objects (function_n_test.cpp:673)
# pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
#endif
get_vtable()->base.manager(f.functor, this->functor,
boost::detail::function::move_functor_tag);
#if defined(BOOST_GCC) && (__GNUC__ >= 11)
# pragma GCC diagnostic pop
#endif
f.vtable = 0;
} else {
clear();
}
} BOOST_CATCH (...) {
vtable = 0;
BOOST_RETHROW;
}
BOOST_CATCH_END
}
2001-06-21 16:19:33 +00:00
};
template<typename R, typename... T>
2024-01-28 02:29:30 +02:00
inline void swap(function_n<
2024-01-28 03:02:55 +02:00
R,
T...
2001-06-21 16:19:33 +00:00
>& f1,
2024-01-28 02:29:30 +02:00
function_n<
2024-01-28 03:02:55 +02:00
R,
T...
2001-06-21 16:19:33 +00:00
>& f2)
{
f1.swap(f2);
}
// Poison comparisons between boost::function objects of the same type.
template<typename R, typename... T>
2024-01-28 02:29:30 +02:00
void operator==(const function_n<
2024-01-28 03:02:55 +02:00
R,
T...>&,
2024-01-28 02:29:30 +02:00
const function_n<
2024-01-28 03:02:55 +02:00
R,
T...>&);
template<typename R, typename... T>
2024-01-28 02:29:30 +02:00
void operator!=(const function_n<
2024-01-28 03:02:55 +02:00
R,
T...>&,
2024-01-28 02:29:30 +02:00
const function_n<
2024-01-28 03:02:55 +02:00
R,
T...>& );
#define BOOST_FUNCTION_PARTIAL_SPEC R (T...)
2024-01-28 03:02:55 +02:00
template<typename R,
typename... T>
class function<BOOST_FUNCTION_PARTIAL_SPEC>
: public function_n<R, T...>
{
typedef function_n<R, T...> base_type;
typedef function self_type;
struct clear_type {};
public:
2018-10-19 02:23:45 +03:00
BOOST_DEFAULTED_FUNCTION(function(), : base_type() {})
template<typename Functor>
function(Functor f
2018-09-22 15:06:23 -04:00
,typename boost::enable_if_<
!(is_integral<Functor>::value),
int>::type = 0
) :
base_type(f)
{
}
template<typename Functor,typename Allocator>
function(Functor f, Allocator a
2018-09-22 15:06:23 -04:00
,typename boost::enable_if_<
!(is_integral<Functor>::value),
int>::type = 0
) :
base_type(f,a)
{
}
function(clear_type*) : base_type() {}
function(const self_type& f) : base_type(static_cast<const base_type&>(f)){}
function(const base_type& f) : base_type(static_cast<const base_type&>(f)){}
// Move constructors
function(self_type&& f): base_type(static_cast<base_type&&>(f)){}
function(base_type&& f): base_type(static_cast<base_type&&>(f)){}
self_type& operator=(const self_type& f)
{
self_type(f).swap(*this);
return *this;
}
self_type& operator=(self_type&& f)
{
self_type(static_cast<self_type&&>(f)).swap(*this);
return *this;
}
template<typename Functor>
2018-09-22 15:06:23 -04:00
typename boost::enable_if_<
!(is_integral<Functor>::value),
self_type&>::type
operator=(Functor f)
{
self_type(f).swap(*this);
return *this;
}
self_type& operator=(clear_type*)
{
this->clear();
return *this;
}
self_type& operator=(const base_type& f)
{
self_type(f).swap(*this);
return *this;
}
self_type& operator=(base_type&& f)
{
self_type(static_cast<base_type&&>(f)).swap(*this);
return *this;
}
};
#undef BOOST_FUNCTION_PARTIAL_SPEC
} // end namespace boost
// Cleanup after ourselves...
#undef BOOST_FUNCTION_PARM
#ifdef BOOST_FUNCTION_ARG
# undef BOOST_FUNCTION_ARG
#endif
#undef BOOST_FUNCTION_ARGS
#undef BOOST_FUNCTION_ARG_TYPE
#undef BOOST_FUNCTION_ARG_TYPES
#undef BOOST_FUNCTION_VOID_RETURN_TYPE
#undef BOOST_FUNCTION_RETURN
#if defined(BOOST_MSVC)
# pragma warning( pop )
#endif