callable.h

Go to the documentation of this file.

//
// Created by Eduard Valeyev on 3/1/22.
//
 
#ifndef TTG_META_CALLABLE_H
#define TTG_META_CALLABLE_H
 
#include "ttg/util/meta.h"
#include "ttg/util/typelist.h"
 
#ifdef TTG_USE_BUNDLED_BOOST_CALLABLE_TRAITS
#include <ttg/external/boost/callable_traits.hpp>
#else
#include <boost/callable_traits.hpp>
#endif
 
namespace ttg::meta {
 
  // nongeneric callables
  // handled using Boost.CallableTraits ... to detect whether a callable is generic or not detect existence of
  // boost::callable_traits::args_t
  template <typename Callable, typename = void>
  struct is_generic_callable : std::true_type {};
 
  template <typename Callable>
  struct is_generic_callable<Callable, ttg::meta::void_t<boost::callable_traits::args_t<Callable, ttg::typelist>>>
      : std::false_type {};
 
  template <typename Callable>
  constexpr inline bool is_generic_callable_v = is_generic_callable<Callable>::value;
 
  template <typename Callable, typename Enabler = void>
  constexpr std::pair<bool, std::pair<ttg::typelist<>, ttg::typelist<>>> callable_args = {true, {}};
 
  template <typename Callable>
  constexpr auto callable_args<Callable, ttg::meta::void_t<boost::callable_traits::args_t<Callable, ttg::typelist>>> =
      std::pair<bool, std::pair<ttg::typelist<boost::callable_traits::return_type_t<Callable>>,
                                boost::callable_traits::args_t<Callable, ttg::typelist>>>{false, {}};
 
  // generic callables
 
 
  template <std::size_t N>
  constexpr auto ordinal2index(std::size_t ordinal, std::array<std::size_t, N> extents) {
    std::array<std::size_t, N> idx = {};
    for (size_t d = 0; d < N; ++d) {
      idx[d] = ordinal % extents[d];
      ordinal /= extents[d];
    }
    return idx;
  }
 
  template <std::size_t Ordinal, typename Func, typename... Typelists, std::size_t... ArgIdx>
  auto compute_arg_binding_types_impl(Func& func, typelist<Typelists...> argument_type_lists,
                                      std::index_sequence<ArgIdx...> arg_idx = {}) {
    using arg_typelists_t = typelist<Typelists...>;
    constexpr auto Order = sizeof...(Typelists);
    constexpr std::array<std::size_t, Order> extents = {
        std::tuple_size_v<std::tuple_element_t<ArgIdx, arg_typelists_t>>...};
    constexpr auto tensor_size = (extents[ArgIdx] * ...);
    static_assert(tensor_size >= Ordinal);
    if constexpr (tensor_size == Ordinal) {
      return typelist<typelist<>, typelist<>>{};
    } else {
      constexpr auto idx = ordinal2index(Ordinal, extents);
      auto args = typelist<std::tuple_element_t<idx[ArgIdx], std::tuple_element_t<ArgIdx, arg_typelists_t>>...>{};
      using args_sans_void_t = drop_void_t<decltype(args)>;
      if constexpr (is_invocable_typelist_v<Func, args_sans_void_t>) {
        using return_type = invoke_result_typelist_t<Func, args_sans_void_t>;
        return ttg::typelist<ttg::typelist<return_type>, decltype(args)>{};
      } else {
        return compute_arg_binding_types_impl<Ordinal + 1>(func, argument_type_lists, arg_idx);
      }
    }
  }
 
  template <std::size_t Ordinal, typename ReturnType, typename Func, typename... Typelists, std::size_t... ArgIdx>
  auto compute_arg_binding_types_r_impl(Func& func, typelist<Typelists...> argument_type_lists,
                                        std::index_sequence<ArgIdx...> arg_idx = {}) {
    using arg_typelists_t = typelist<Typelists...>;
    constexpr auto Order = sizeof...(Typelists);
    constexpr std::array<std::size_t, Order> extents = {
        std::tuple_size_v<std::tuple_element_t<ArgIdx, arg_typelists_t>>...};
    constexpr auto tensor_size = (extents[ArgIdx] * ...);
    static_assert(tensor_size >= Ordinal);
    if constexpr (tensor_size == Ordinal) {
      return typelist<>{};
    } else {
      constexpr auto idx = ordinal2index(Ordinal, extents);
      auto args = typelist<std::tuple_element_t<idx[ArgIdx], std::tuple_element_t<ArgIdx, arg_typelists_t>>...>{};
      if constexpr (is_invocable_typelist_r_v<ReturnType, Func, drop_void_t<decltype(args)>>) {
        return args;
      } else {
        return compute_arg_binding_types_r_impl<Ordinal + 1, ReturnType>(func, argument_type_lists, arg_idx);
      }
    }
  }
 
  template <typename Func, typename... Typelists>
  auto compute_arg_binding_types(Func& func, typelist<Typelists...> argument_type_lists) {
    constexpr auto is_generic__args = callable_args<Func&>;
    constexpr bool is_generic = is_generic__args.first;
    if constexpr (is_generic) {
      return compute_arg_binding_types_impl<0>(func, argument_type_lists,
                                               std::make_index_sequence<sizeof...(Typelists)>{});
    } else {
      return is_generic__args.second;
    }
  }
 
  template <typename ReturnType, typename Func, typename... Typelists>
  auto compute_arg_binding_types_r(Func& func, typelist<Typelists...> argument_type_lists) {
    constexpr auto is_generic__args = callable_args<Func&>;
    constexpr bool is_generic = is_generic__args.first;
    if constexpr (is_generic) {
      return compute_arg_binding_types_r_impl<0, ReturnType>(func, argument_type_lists,
                                                             std::make_index_sequence<sizeof...(Typelists)>{});
    } else {
      return is_generic__args.second.second;
    }
  }
 
  template <typename T, typename = void>
  struct candidate_argument_bindings;
 
  template <typename T>
  struct candidate_argument_bindings<T, std::enable_if_t<!std::is_reference_v<T> && !std::is_void_v<T>>> {
    using type = std::conditional_t<std::is_const_v<T>, typelist<const T&>,
                                    typelist<
                                        // RATIONALE for this order of binding detection tries:
                                        // - to be able to distinguish arguments declared as auto& vs auto&& should try
                                        //   binding to T&& first since auto& won't bind to it
                                        // - HOWEVER argument declared as const T& will bind to either T&& or const T&,
                                        //   so this order will detect such argument as binding to T&&, which will
                                        //   indicate to the runtime that the argument is CONSUMABLE and may cause
                                        //   creation of extra copies. Thus you should not try to use nongeneric
                                        //   data arguments in generic task functions; for purely nongeneric functions
                                        //   a different introspection mechanism (Boost.CallableTraits) is used
                                        T&&, const T&
                                        // - no need to check T& since auto& and auto&& both bind to it
                                        //, T&
                                        >>;
  };
 
  template <>
  struct candidate_argument_bindings<void, void> {
    using type = typelist<>;
  };
 
  template <>
  struct candidate_argument_bindings<const void, void> {
    using type = typelist<>;
  };
 
  template <typename T>
  using candidate_argument_bindings_t = typename candidate_argument_bindings<T>::type;
}  // namespace ttg::meta
 
#endif  // TTG_META_CALLABLE_H