mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-04-19 22:21:32 +08:00
libstdc++: Reduce size of std::bind_front(F) result
When there are no bound arguments to a std::bind_front call we don't need the overhead of compiling, initializing, and accessing an empty tuple. libstdc++-v3/ChangeLog: * include/std/functional (_Bind_front0): New class template. (_Bind_front_t): Use _Bind_front0 when there are no bound arguments. * testsuite/20_util/function_objects/bind_front/107784.cc: New test.
This commit is contained in:
parent
ed77dcb9be
commit
cbd05ca5ab
@ -995,9 +995,69 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
|
||||
std::tuple<_BoundArgs...> _M_bound_args;
|
||||
};
|
||||
|
||||
// Avoid the overhead of an empty tuple<> if there are no bound args.
|
||||
template<typename _Fd>
|
||||
struct _Bind_front0
|
||||
{
|
||||
static_assert(is_move_constructible_v<_Fd>);
|
||||
|
||||
// First parameter is to ensure this constructor is never used
|
||||
// instead of the copy/move constructor.
|
||||
template<typename _Fn>
|
||||
explicit constexpr
|
||||
_Bind_front0(int, _Fn&& __fn)
|
||||
noexcept(is_nothrow_constructible_v<_Fd, _Fn>)
|
||||
: _M_fd(std::forward<_Fn>(__fn))
|
||||
{ }
|
||||
|
||||
_Bind_front0(const _Bind_front0&) = default;
|
||||
_Bind_front0(_Bind_front0&&) = default;
|
||||
_Bind_front0& operator=(const _Bind_front0&) = default;
|
||||
_Bind_front0& operator=(_Bind_front0&&) = default;
|
||||
~_Bind_front0() = default;
|
||||
|
||||
template<typename... _CallArgs>
|
||||
constexpr
|
||||
invoke_result_t<_Fd&, _CallArgs...>
|
||||
operator()(_CallArgs&&... __call_args) &
|
||||
noexcept(is_nothrow_invocable_v<_Fd&, _CallArgs...>)
|
||||
{ return std::invoke(_M_fd, std::forward<_CallArgs>(__call_args)...); }
|
||||
|
||||
template<typename... _CallArgs>
|
||||
constexpr
|
||||
invoke_result_t<const _Fd&, _CallArgs...>
|
||||
operator()(_CallArgs&&... __call_args) const &
|
||||
noexcept(is_nothrow_invocable_v<const _Fd&, _CallArgs...>)
|
||||
{ return std::invoke(_M_fd, std::forward<_CallArgs>(__call_args)...); }
|
||||
|
||||
template<typename... _CallArgs>
|
||||
constexpr
|
||||
invoke_result_t<_Fd, _CallArgs...>
|
||||
operator()(_CallArgs&&... __call_args) &&
|
||||
noexcept(is_nothrow_invocable_v<_Fd, _CallArgs...>)
|
||||
{
|
||||
return std::invoke(std::move(_M_fd),
|
||||
std::forward<_CallArgs>(__call_args)...);
|
||||
}
|
||||
|
||||
template<typename... _CallArgs>
|
||||
constexpr
|
||||
invoke_result_t<const _Fd, _CallArgs...>
|
||||
operator()(_CallArgs&&... __call_args) const &&
|
||||
noexcept(is_nothrow_invocable_v<const _Fd, _CallArgs...>)
|
||||
{
|
||||
return std::invoke(std::move(_M_fd),
|
||||
std::forward<_CallArgs>(__call_args)...);
|
||||
}
|
||||
|
||||
private:
|
||||
_Fd _M_fd;
|
||||
};
|
||||
|
||||
template<typename _Fn, typename... _Args>
|
||||
using _Bind_front_t
|
||||
= _Bind_front<decay_t<_Fn>, decay_t<_Args>...>;
|
||||
= __conditional_t<sizeof...(_Args) == 0, _Bind_front0<decay_t<_Fn>>,
|
||||
_Bind_front<decay_t<_Fn>, decay_t<_Args>...>>;
|
||||
|
||||
/** Create call wrapper by partial application of arguments to function.
|
||||
*
|
||||
|
@ -0,0 +1,15 @@
|
||||
// { dg-options "-std=gnu++20" }
|
||||
// { dg-do compile { target c++20 } }
|
||||
|
||||
#include <functional>
|
||||
|
||||
struct Foo
|
||||
{
|
||||
void func() {}
|
||||
};
|
||||
|
||||
void bar() { }
|
||||
|
||||
// PR libstdc++/107784
|
||||
static_assert( sizeof(std::bind_front(&Foo::func)) == sizeof(&Foo::func) );
|
||||
static_assert( sizeof(std::bind_front(&bar)) == sizeof(&bar) );
|
Loading…
x
Reference in New Issue
Block a user