libcxx/include/__functional/invoke.h

   1 // -*- C++ -*-
   2 //===----------------------------------------------------------------------===//
   3 //
   4 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   5 // See https://llvm.org/LICENSE.txt for license information.
   6 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 #ifndef _LIBCPP___FUNCTIONAL_INVOKE_H
  11 #define _LIBCPP___FUNCTIONAL_INVOKE_H
  12
  13 #include <__config>
  14 #include <__functional/weak_result_type.h>
  15 #include <__utility/forward.h>
  16 #include <type_traits>
  17
  18 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  19 #pragma GCC system_header
  20 #endif
  21
  22 _LIBCPP_BEGIN_NAMESPACE_STD
  23
  24 template <class _Ret, bool = is_void<_Ret>::value>
  25 struct __invoke_void_return_wrapper
  26 {
  27 #ifndef _LIBCPP_CXX03_LANG
  28     template <class ..._Args>
  29     static _Ret __call(_Args&&... __args) {
  30         return _VSTD::__invoke(_VSTD::forward<_Args>(__args)...);
  31     }
  32 #else
  33     template <class _Fn>
  34     static _Ret __call(_Fn __f) {
  35         return _VSTD::__invoke(__f);
  36     }
  37
  38     template <class _Fn, class _A0>
  39     static _Ret __call(_Fn __f, _A0& __a0) {
  40         return _VSTD::__invoke(__f, __a0);
  41     }
  42
  43     template <class _Fn, class _A0, class _A1>
  44     static _Ret __call(_Fn __f, _A0& __a0, _A1& __a1) {
  45         return _VSTD::__invoke(__f, __a0, __a1);
  46     }
  47
  48     template <class _Fn, class _A0, class _A1, class _A2>
  49     static _Ret __call(_Fn __f, _A0& __a0, _A1& __a1, _A2& __a2){
  50         return _VSTD::__invoke(__f, __a0, __a1, __a2);
  51     }
  52 #endif
  53 };
  54
  55 template <class _Ret>
  56 struct __invoke_void_return_wrapper<_Ret, true>
  57 {
  58 #ifndef _LIBCPP_CXX03_LANG
  59     template <class ..._Args>
  60     static void __call(_Args&&... __args) {
  61         _VSTD::__invoke(_VSTD::forward<_Args>(__args)...);
  62     }
  63 #else
  64     template <class _Fn>
  65     static void __call(_Fn __f) {
  66         _VSTD::__invoke(__f);
  67     }
  68
  69     template <class _Fn, class _A0>
  70     static void __call(_Fn __f, _A0& __a0) {
  71         _VSTD::__invoke(__f, __a0);
  72     }
  73
  74     template <class _Fn, class _A0, class _A1>
  75     static void __call(_Fn __f, _A0& __a0, _A1& __a1) {
  76         _VSTD::__invoke(__f, __a0, __a1);
  77     }
  78
  79     template <class _Fn, class _A0, class _A1, class _A2>
  80     static void __call(_Fn __f, _A0& __a0, _A1& __a1, _A2& __a2) {
  81         _VSTD::__invoke(__f, __a0, __a1, __a2);
  82     }
  83 #endif
  84 };
  85
  86 #if _LIBCPP_STD_VER > 14
  87
  88 template <class _Fn, class ..._Args>
  89 _LIBCPP_CONSTEXPR_AFTER_CXX17 invoke_result_t<_Fn, _Args...>
  90 invoke(_Fn&& __f, _Args&&... __args)
  91     noexcept(is_nothrow_invocable_v<_Fn, _Args...>)
  92 {
  93     return _VSTD::__invoke(_VSTD::forward<_Fn>(__f), _VSTD::forward<_Args>(__args)...);
  94 }
  95
  96 #endif // _LIBCPP_STD_VER > 14
  97
  98 _LIBCPP_END_NAMESPACE_STD
  99
 100 #endif // _LIBCPP___FUNCTIONAL_INVOKE_H