details.h

Go to the documentation of this file.

/***********************************************************************************\
* (c) Copyright 1998-2026 CERN for the benefit of the LHCb and ATLAS collaborations *
*                                                                                   *
* This software is distributed under the terms of the Apache version 2 licence,     *
* copied verbatim in the file "LICENSE".                                            *
*                                                                                   *
* In applying this licence, CERN does not waive the privileges and immunities       *
* granted to it by virtue of its status as an Intergovernmental Organization        *
* or submit itself to any jurisdiction.                                             *
\***********************************************************************************/
#pragma once
#include <Gaudi/Algorithm.h>
#include <GaudiKernel/Algorithm.h>
#include <GaudiKernel/DataObjectHandle.h>
#include <GaudiKernel/FunctionalFilterDecision.h>
#include <GaudiKernel/GaudiException.h>
#include <GaudiKernel/IBinder.h>
#include <algorithm>
#include <array>
#include <cassert>
#include <concepts>
#include <functional>
#include <initializer_list>
#include <iterator>
#include <memory>
#include <optional>
#include <source_location>
#include <string>
#include <tuple>
#include <type_traits>
#include <utility>
#include <vector>
 
namespace Gaudi::Functional::details {
 
  template <template <typename> class Handle, typename I>
  class HandleVector;
 
  inline std::vector<DataObjID> to_DataObjID( const std::vector<std::string>& in ) {
    std::vector<DataObjID> out;
    out.reserve( in.size() );
    std::transform( in.begin(), in.end(), std::back_inserter( out ),
                    []( const std::string& i ) { return DataObjID{ i }; } );
    return out;
  }

  template <typename T>
  concept is_optional = requires( T const& t ) {
    t.has_value();
    t.value();
    typename T::value_type;
  };
 
  namespace details2 {
 
    template <typename T>
    struct value_type_of {
      using type = T;
    };
 
    template <is_optional T>
    struct value_type_of<T> {
      using type = T::value_type;
    };
 
  } // namespace details2
 
  template <typename T>
  using remove_optional_t = typename details2::value_type_of<T>::type;
 
  constexpr struct invoke_optionally_t {
    template <typename F, typename Arg>
      requires( !is_optional<Arg> )
    decltype( auto ) operator()( F&& f, Arg&& arg ) const {
      return std::invoke( std::forward<F>( f ), std::forward<Arg>( arg ) );
    }
    template <typename F, is_optional Arg>
    void operator()( F&& f, Arg&& arg ) const {
      if ( arg ) std::invoke( std::forward<F>( f ), *std::forward<Arg>( arg ) );
    }
  } invoke_optionally{};

#if 0
  template <typename Value, auto>
  using repeat_t = Value;
  template <typename Value, auto N>
  using RepeatValues_ =
      decltype( []<std::size_t... I>( std::index_sequence<I...> ) -> std::tuple<repeat_t<Value, I>...> {
      }( std::make_index_sequence<N>{} ) );
#else
  template <typename Value, std::size_t... I>
  auto get_values_helper( std::index_sequence<I...> ) {
    return std::make_tuple( ( (void)I, Value{} )... );
  }
 
  template <typename Value, auto N>
  using RepeatValues_ = decltype( get_values_helper<Value>( std::make_index_sequence<N>() ) );
#endif

  template <std::derived_from<DataObject> Out1, std::convertible_to<Out1> Out2>
  auto put( const DataObjectHandle<Out1>& out_handle, Out2&& out ) {
    return out_handle.put( std::make_unique<Out1>( std::forward<Out2>( out ) ) );
  }
 
  template <typename Out1, std::convertible_to<Out1> Out2>
  auto put( const DataObjectHandle<AnyDataWrapper<Out1>>& out_handle, Out2&& out ) {
    return out_handle.put( std::forward<Out2>( out ) );
  }
 
  template <template <typename> class Handle, typename Out, typename Value>
  auto put( const HandleVector<Handle, Out>& out_handle, Value&& out ) {
    return out_handle.put( std::forward<Value>( out ) );
  }
 
  // optional put
  template <typename OutHandle, typename OptOut>
    requires( is_optional<OptOut> )
  void put( const OutHandle& out_handle, OptOut&& out ) {
    if ( out ) put( out_handle, *std::forward<OptOut>( out ) );
  }

  // adapt to differences between eg. std::vector (which has push_back) and KeyedContainer (which has insert)
  // adapt to getting a T, and a container wanting T* by doing new T{ std::move(out) }
  // adapt to getting a optional<T>
 
  constexpr struct insert_t {
    // for Container<T*>, return T
    template <typename Container>
    using c_remove_ptr_t = std::remove_pointer_t<typename Container::value_type>;
 
    template <typename Container, typename Value>
    auto operator()( Container& c, Value&& v ) const -> decltype( c.push_back( v ) ) {
      return c.push_back( std::forward<Value>( v ) );
    }
 
    template <typename Container, typename Value>
    auto operator()( Container& c, Value&& v ) const -> decltype( c.insert( v ) ) {
      return c.insert( std::forward<Value>( v ) );
    }
 
    // Container<T*> with T&& as argument
    template <typename Container, typename Value>
      requires( std::is_pointer_v<typename Container::value_type> &&
                std::is_convertible_v<Value, c_remove_ptr_t<Container>> )
    auto operator()( Container& c, Value&& v ) const {
      return operator()( c, new c_remove_ptr_t<Container>{ std::forward<Value>( v ) } );
    }
 
  } insert{};

 
  constexpr struct deref_t {
    template <typename In>
      requires( !std::is_pointer_v<In> )
    const In& operator()( const In& in ) const {
      return in;
    }
 
    template <typename In>
      requires( !std::is_pointer_v<std::decay_t<In>> )
    In operator()( In&& in ) const {
      return std::forward<In>( in );
    }
 
    template <typename In>
    const In& operator()( const In* in ) const {
      assert( in != nullptr );
      return *in;
    }
  } deref{};

  // if Container is a pointer, then we're optional items
  namespace details2 {
    template <typename T>
    constexpr static bool is_gaudi_range_v = false;
 
    template <typename T>
    constexpr static bool is_gaudi_range_v<Gaudi::Range_<T>> = true;
 
    template <typename T>
    constexpr static bool is_gaudi_range_v<Gaudi::NamedRange_<T>> = true;
 
    template <typename T>
    constexpr static bool is_gaudi_range_v<std::optional<Gaudi::NamedRange_<T>>> = true;
 
    template <typename In>
    struct get_from_handle {
      template <template <typename> class Handle, std::convertible_to<In> I>
      auto operator()( const Handle<I>& h ) -> const In& {
        return *h.get();
      }
      template <template <typename> class Handle, typename I>
      auto operator()( const Handle<Gaudi::Range_<I>>& h ) -> In {
        return h.get();
      }
      template <template <typename> class Handle, typename I>
      auto operator()( const Handle<Gaudi::NamedRange_<I>>& h ) -> In {
        return h.get();
      }
      template <template <typename> class Handle, typename I>
      auto operator()( const Handle<std::optional<Gaudi::NamedRange_<I>>>& h ) -> In {
        return h.get();
      }
      template <template <typename> class Handle, typename I>
        requires( std::is_convertible_v<I*, In> )
      auto operator()( const Handle<I>& h ) -> In {
        return h.getIfExists();
      } // In is-a pointer
    };
 
    template <typename Iterator>
    class indirect_iterator {
      using traits = std::iterator_traits<Iterator>;
      Iterator m_iter;
 
    public:
      using iterator_category [[maybe_unused]] = typename traits::iterator_category;
      using difference_type [[maybe_unused]]   = typename traits::difference_type;
      using reference                          = decltype( **m_iter );
      using value_type [[maybe_unused]]        = std::remove_reference_t<reference>;
      using pointer [[maybe_unused]]           = std::add_pointer_t<value_type>;
 
      indirect_iterator() = default;
      constexpr explicit indirect_iterator( Iterator i ) : m_iter( std::move( i ) ) {}
 
      constexpr reference operator*() const { return **m_iter; }
 
      constexpr bool operator==( const indirect_iterator& rhs ) const { return m_iter == rhs.m_iter; }
 
      constexpr indirect_iterator& operator++() {
        ++m_iter;
        return *this;
      }
      constexpr indirect_iterator operator++( int ) {
        auto i = *this;
        ++*this;
        return i;
      }
 
      // bidirectional iterator operations (if possible)
      constexpr indirect_iterator& operator--()
        requires std::bidirectional_iterator<Iterator>
      {
        --m_iter;
        return *this;
      }
      constexpr indirect_iterator operator--( int )
        requires std::bidirectional_iterator<Iterator>
      {
        auto i = *this;
        --*this;
        return i;
      }
 
      // random access iterator operations (if possible)
      constexpr indirect_iterator& operator+=( difference_type n )
        requires std::random_access_iterator<Iterator>
      {
        m_iter += n;
        return *this;
      }
      constexpr indirect_iterator operator+( difference_type n ) const
        requires std::random_access_iterator<Iterator>
      {
        auto i = *this;
        return i += n;
      }
      constexpr indirect_iterator& operator-=( difference_type n )
        requires std::random_access_iterator<Iterator>
      {
        m_iter -= n;
        return *this;
      }
      constexpr indirect_iterator operator-( difference_type n ) const
        requires std::random_access_iterator<Iterator>
      {
        auto i = *this;
        return i -= n;
      }
      constexpr difference_type operator-( const indirect_iterator& other ) const
        requires std::random_access_iterator<Iterator>
      {
        return m_iter - other.m_iter;
      }
      constexpr reference operator[]( difference_type n ) const
        requires std::random_access_iterator<Iterator>
      {
        return **( m_iter + n );
      }
    };
 
  } // namespace details2
 
  template <typename Container>
  class vector_of_const_ {
    static constexpr bool is_pointer = std::is_pointer_v<Container>;
    static constexpr bool is_range   = details2::is_gaudi_range_v<Container>;
    template <typename C>
    using borrowed_value_t = std::add_const_t<std::remove_pointer_t<C>>;
    // TODO: refuse pointer to a range... range must always be by value
    using val_t           = borrowed_value_t<Container>;
    using ptr_t           = std::add_pointer_t<val_t>;
    using ContainerVector = std::vector<std::conditional_t<is_range, std::remove_const_t<val_t>, ptr_t>>;
    ContainerVector m_containers;
 
    constexpr static decltype( auto ) wrap( ContainerVector::const_reference t ) {
      if constexpr ( is_pointer || is_range ) {
        return t;
      } else {
        return *t;
      }
    }
    constexpr static auto wrap( ContainerVector::const_iterator i ) {
      if constexpr ( is_pointer || is_range ) {
        return i;
      } else {
        return details2::indirect_iterator{ i };
      }
    }
 
  public:
    using value_type = std::conditional_t<is_pointer, ptr_t, val_t>;
    using size_type  = typename ContainerVector::size_type;
 
    vector_of_const_() = default;
    void reserve( size_type size ) { m_containers.reserve( size ); }
    template <typename T>
      requires( is_pointer || is_range )
    void push_back( T&& container ) {
      m_containers.push_back( container );
    }
    template <typename C = Container>
      requires( !std::is_pointer_v<C> && !details2::is_gaudi_range_v<C> )
    void push_back( borrowed_value_t<C>& container ) {
      // note: does not copy its argument, so we're not really a container...
      m_containers.push_back( &container );
    }
    template <typename C = Container>
      requires( !std::is_pointer_v<C> && !details2::is_gaudi_range_v<C> )
    void push_back( borrowed_value_t<C>&& ) = delete;
 
    auto             begin() const { return wrap( m_containers.begin() ); }
    auto             end() const { return wrap( m_containers.end() ); }
    decltype( auto ) front() const { return wrap( m_containers.front() ); }
    decltype( auto ) back() const { return wrap( m_containers.back() ); }
    decltype( auto ) operator[]( size_type i ) const { return wrap( m_containers[i] ); }
    decltype( auto ) at( size_type i ) const { return wrap( m_containers.at( i ) ); }
    size_type        size() const { return m_containers.size(); }
  };
 
  template <template <typename> class Handle, typename I>
  class HandleVector {
    struct Payload {
      std::vector<Handle<I>>                  handles;
      Gaudi::Property<std::vector<DataObjID>> property;
 
      template <typename Algorithm>
      Payload( Algorithm* parent, std::pair<std::string, std::vector<std::string>> const& keys )
          : property{ parent, keys.first, details::to_DataObjID( keys.second ),
                      [ptr = &handles, parent]( auto& self_ ) {
                        auto& self = dynamic_cast<Gaudi::Property<std::vector<DataObjID>>&>( self_ );
                        ptr->clear();
                        ptr->reserve( self.value().size() );
                        std::ranges::transform( self.value(), std::back_inserter( *ptr ),
                                                [&]( const auto& location ) -> Handle<I> {
                                                  return { location, parent };
                                                } );
                      },
                      Gaudi::Details::Property::ImmediatelyInvokeHandler{ true } } {}
 
      Payload( Payload&& )                 = delete;
      Payload& operator=( Payload&& )      = delete;
      Payload( Payload const& )            = delete;
      Payload& operator=( Payload const& ) = delete;
    };
    std::unique_ptr<Payload> m_payload; // need a stable rendez-vous for the callback & property to work
 
  public:
    template <typename Algorithm>
    HandleVector( Algorithm* parent, std::pair<std::string, std::vector<std::string>> const& keys )
        : m_payload{ std::make_unique<Payload>( parent, keys ) } {}
 
    // allow construction by DataHandleMixin
    template <typename A, typename K>
    HandleVector( std::tuple<A, K>&& tup ) : HandleVector{ std::get<0>( tup ), std::get<1>( tup ) } {}
    template <typename A, typename Name, typename Keys>
    HandleVector( std::tuple<A, Name, Keys>&& tup )
        : HandleVector{ std::get<0>( tup ),
                        std::pair<std::string, std::vector<std::string>>{ std::get<1>( tup ), std::get<2>( tup ) } } {}
 
    vector_of_const_<I> get( EventContext const& ) const {
      vector_of_const_<I> ins;
      ins.reserve( m_payload->handles.size() );
      std::ranges::transform( m_payload->handles, std::back_inserter( ins ), details2::get_from_handle<I>{} );
      return ins;
    }
    template <typename Out>
    void put( Out&& out ) const {
      auto const n = size();
      if ( out.size() != n ) {
        throw GaudiException( "Error during transform in " +
                                  std::string{ std::source_location::current().function_name() } + ": expected " +
                                  std::to_string( n ) + " containers, got " + std::to_string( out.size() ) + " instead",
                              "Gaudi::Functional::details::HandleVector::put", StatusCode::FAILURE );
      }
      for ( std::size_t i = 0; i != n; ++i ) details::put( handles()[i], std::move( out[i] ) );
    }
 
    std::vector<Handle<I>> const& handles() const { return m_payload->handles; }
    std::vector<DataObjID> const& locations() const { return m_payload->property.value(); }
    DataObjID const&              at( size_t i ) const { return m_payload->property.value().at( i ); }
    auto                          size() const { return m_payload->handles.size(); }
  };
 
  template <typename T>
  struct vector_of_output_ {};
  template <typename T>
  struct vector_of_input_ {};
 
  template <typename Arg>
  struct handle_vector_input {
    using type                     = Arg;
    static constexpr bool is_range = false;
  };
  template <typename T>
  struct handle_vector_input<vector_of_const_<T>> {
    using type                     = vector_of_input_<T>;
    static constexpr bool is_range = true;
  };
  template <typename Arg>
  using handle_vector_input_t = typename handle_vector_input<Arg>::type;
  template <typename Arg>
  inline constexpr bool is_handle_vector_input_v = handle_vector_input<Arg>::is_range;
  template <typename... Args>
  concept has_handle_vector_input = ( is_handle_vector_input_v<Args> || ... );
 
  template <typename... T>
  struct type_list {};
 
  template <typename H>
  concept location_vector_handle = requires( H const& h ) {
    h.at( 0U ).key();
    h.size();
  };
 
  template <typename Vectors>
  decltype( auto ) getLocations( Vectors const& vectors, unsigned int i ) {
    return std::apply(
        [i]( auto const&... elems ) -> decltype( auto ) { return *std::array{ &elems.locations()... }.at( i ); },
        vectors );
  }
 
  template <typename F>
  StatusCode execute( CommonMessagingBase const& alg, F&& f ) {
    try {
      return std::forward<F>( f )();
    } catch ( GaudiException& e ) {
      if ( e.code().isFailure() ) alg.error() << e.tag() << " : " << e.message() << endmsg;
      return e.code();
    }
  }

  struct EventContextHandle {
    template <typename Algo>
    EventContextHandle( std::tuple<Algo> ) {}
  };
 
  namespace detail2 { // utilities for detected_or_t{,_} usage
 
    // keep only for backwards compatibility... for now.
    template <typename Tr>
    using BaseClass_t = typename Tr::BaseClass;
 
    template <typename Tr, typename Default>
    struct BaseClass {
      using type = Default;
    };
    template <typename Tr, typename Default>
      requires requires { typename Tr::BaseClass; }
    struct BaseClass<Tr, Default> {
      using type = Tr::BaseClass;
    };
 
    template <typename T, typename Tr, template <typename...> typename Default>
    struct OutputHandle {
      using type = Default<T>;
    };
    template <typename T, typename Tr, template <typename...> typename Default>
      requires requires { typename Tr::template OutputHandle<T>; }
    struct OutputHandle<T, Tr, Default> {
      using type = Tr::template OutputHandle<T>;
    };
    template <typename Tr, template <typename...> typename Default>
    struct OutputHandleFor {
      template <typename T>
      using type = typename OutputHandle<remove_optional_t<T>, Tr, Default>::type;
    };
    template <typename T, typename Tr, template <typename...> typename Default>
    struct OutputHandle<vector_of_output_<T>, Tr, Default> {
      using type = HandleVector<OutputHandleFor<Tr, Default>::template type, T>;
    };
 
    template <typename T, typename Tr, template <typename...> typename Default>
    struct InputHandle {
      using type = Default<T>;
    };
    template <typename T, typename Tr, template <typename...> typename Default>
      requires requires { typename Tr::template InputHandle<T>; }
    struct InputHandle<T, Tr, Default> {
      using type = Tr::template InputHandle<T>;
    };
    template <typename Tr, template <typename...> typename Default>
    struct InputHandleFor {
      template <typename T>
      using type = typename InputHandle<std::remove_pointer_t<T>, Tr, Default>::type;
    };
    template <typename T, typename Tr, template <typename...> typename Default>
    struct InputHandle<vector_of_input_<T>, Tr, Default> {
      using type = HandleVector<InputHandleFor<Tr, Default>::template type, T>;
    };
 
    template <typename T>
    concept algtool_interface = std::derived_from<std::decay_t<T>, IAlgTool>;
 
    template <typename T>
    struct DefaultInputHandle {
      using type = DataObjectReadHandle<T>;
    };
    template <algtool_interface T>
    struct DefaultInputHandle<T> {
      using type = ToolHandle<Gaudi::Interface::Bind::IBinder<std::decay_t<T>>>;
    };
    template <>
    struct DefaultInputHandle<EventContext> {
      using type = EventContextHandle;
    };
    template <typename T>
    using DefaultInputHandle_t = typename DefaultInputHandle<T>::type;
  } // namespace detail2
 
  // check whether Tr::BaseClass is a valid type,
  // if so, define BaseClass_t<Tr> as being Tr::BaseClass
  // else   define                 as being Gaudi::Algorithm
  template <typename Tr, typename Default = Gaudi::Algorithm>
  using BaseClass_t = detail2::BaseClass<Tr, Default>::type;
 
  // check whether Traits::{Input,Output}Handle<T> is a valid type,
  // if so, define {Input,Output}Handle_t<Traits,T> as being Traits::{Input,Output}Handle<T>
  // else   define                                  as being DataObject{Read,,Write}Handle<T>
  template <typename Tr, typename T>
  using OutputHandle_t = typename detail2::OutputHandle<T, Tr, DataObjectWriteHandle>::type;
 
  template <typename Tr, typename T>
  using InputHandle_t = typename detail2::InputHandle<T, Tr, detail2::DefaultInputHandle_t>::type;
 
  template <typename T>
  inline constexpr bool is_event_context_v = std::is_same_v<std::remove_cvref_t<T>, EventContext>;
 
  struct LocationSpec {
    using KeyValue  = std::pair<std::string, std::string>;
    using KeyValues = std::pair<std::string, std::vector<std::string>>;
 
    KeyValues value;
    bool      is_vector = false;
 
    LocationSpec( std::string name_, std::string location_ )
        : value{ std::move( name_ ), { std::move( location_ ) } } {}
    LocationSpec( std::string name_, const char* location_ )
        : LocationSpec{ std::move( name_ ), std::string{ location_ } } {}
    LocationSpec( std::string name_, std::vector<std::string> locations_ )
        : value{ std::move( name_ ), std::move( locations_ ) }, is_vector{ true } {}
    LocationSpec( std::string name_, std::initializer_list<std::string> locations_ )
        : LocationSpec{ std::move( name_ ), std::vector<std::string>{ locations_ } } {}
 
    operator KeyValue() const {
      if ( is_vector ) {
        throw GaudiException( "Expected a scalar location specification", "Gaudi::Functional::details::LocationSpec",
                              StatusCode::FAILURE );
      }
      return { value.first, value.second.front() };
    }
    operator KeyValues() const { return value; }
  };
 
  template <typename Arg>
  struct LocationSpecFor {
    using type = LocationSpec::KeyValue;
  };
  template <>
  struct LocationSpecFor<EventContext> {
    using type = std::tuple<>;
  };
  template <typename T>
  struct LocationSpecFor<vector_of_input_<T>> {
    using type = LocationSpec::KeyValues;
  };
  template <typename T>
  struct LocationSpecFor<vector_of_output_<T>> {
    using type = LocationSpec::KeyValues;
  };
  template <typename Arg>
  using LocationSpec_t = typename LocationSpecFor<std::remove_cvref_t<Arg>>::type;
 
  template <typename... Args>
  using LocationSpecs_t = std::tuple<LocationSpec_t<Args>...>;
 
  template <typename... Args>
  struct TailLocationSpecs {
    using type = std::tuple<>;
  };
  template <typename First, typename... Rest>
  struct TailLocationSpecs<First, Rest...> {
    using type = LocationSpecs_t<Rest...>;
  };
  template <typename... Args>
  using TailLocationSpecs_t = typename TailLocationSpecs<Args...>::type;
 
  template <typename Tuple>
  struct first_or_empty {
    using type = std::tuple<>;
  };
  template <typename First, typename... Rest>
  struct first_or_empty<std::tuple<First, Rest...>> {
    using type = First;
  };
  template <typename Tuple>
  using first_or_empty_t = typename first_or_empty<Tuple>::type;
 
  template <typename Tuple, typename T>
  inline constexpr bool tuple_elements_are_v = false;
  template <typename T, typename... Elements>
  inline constexpr bool tuple_elements_are_v<std::tuple<Elements...>, T> = ( std::same_as<Elements, T> && ... );
 
  template <typename Tuple, typename T>
  inline constexpr bool tuple_elements_constructible_from_v = false;
  template <typename T, typename... Elements>
  inline constexpr bool tuple_elements_constructible_from_v<std::tuple<Elements...>, T> =
      ( std::constructible_from<Elements, T> && ... );
 
  template <typename... Args>
  inline constexpr bool first_is_event_context_v = false;
  template <typename First, typename... Rest>
  inline constexpr bool first_is_event_context_v<First, Rest...> = is_event_context_v<First>;
 
  template <bool starts_with_event_context, typename InputSpecTuple>
  inline constexpr auto empty_input_specs =
      std::conditional_t<starts_with_event_context, InputSpecTuple, std::tuple<>>{};
 
  template <typename Tuple, typename Spec, std::size_t... I>
  Tuple location_specs_tuple( std::initializer_list<Spec> specs, std::index_sequence<I...>, const char* component ) {
    if constexpr ( sizeof...( I ) == 1 ) {
      if ( specs.size() == 0 ) return Tuple{ Spec{} };
    }
    if ( specs.size() != sizeof...( I ) ) {
      throw GaudiException( "Wrong number of location specifications", component, StatusCode::FAILURE );
    }
    return Tuple{ *std::next( specs.begin(), I )... };
  }
 
  template <typename Tuple>
  class LocationSpecs {
    using First = first_or_empty_t<Tuple>;
 
  public:
    static constexpr auto indices = std::make_index_sequence<std::tuple_size_v<Tuple>>{};
 
    LocationSpecs()
      requires( std::tuple_size_v<Tuple> == 0 )
    = default;
    LocationSpecs( Tuple specs ) : m_specs{ std::move( specs ) } {}
    template <typename... Specs>
    LocationSpecs( Specs&&... specs )
      requires( sizeof...( Specs ) > 0 && std::constructible_from<Tuple, Specs...> )
        : m_specs{ std::forward<Specs>( specs )... } {}
    template <typename... Args>
    LocationSpecs( Args&&... args )
      requires( sizeof...( Args ) > 1 && std::tuple_size_v<Tuple> == 1 && std::constructible_from<First, Args...> )
        : LocationSpecs{ First{ std::forward<Args>( args )... } } {}
    LocationSpecs( std::string name, std::string loc )
      requires( std::tuple_size_v<Tuple> == 1 && std::constructible_from<First, std::string, std::string> )
        : LocationSpecs{ First{ std::move( name ), std::move( loc ) } } {}
    LocationSpecs( std::string name, std::vector<std::string> locs )
      requires( std::tuple_size_v<Tuple> == 1 && std::constructible_from<First, std::string, std::vector<std::string>> )
        : LocationSpecs{ First{ std::move( name ), std::move( locs ) } } {}
    LocationSpecs( std::initializer_list<First> specs )
      requires( std::tuple_size_v<Tuple> > 0 && tuple_elements_are_v<Tuple, First> )
        : m_specs{ location_specs_tuple<Tuple>( specs, indices, "Gaudi::Functional::details::LocationSpecs" ) } {}
    LocationSpecs( std::initializer_list<LocationSpec> specs )
      requires( std::tuple_size_v<Tuple> > 0 && !tuple_elements_are_v<Tuple, First> &&
                tuple_elements_constructible_from_v<Tuple, LocationSpec> )
        : m_specs{ location_specs_tuple<Tuple>( specs, indices, "Gaudi::Functional::details::LocationSpecs" ) } {}
 
    Tuple const& tuple() const { return m_specs; }
    auto         with_context() const { return std::tuple_cat( std::tuple<std::tuple<>>{}, m_specs ); }
 
  private:
    Tuple m_specs{};
  };
 
  template <typename Traits>
  inline constexpr bool isLegacy =
      std::is_base_of_v<Gaudi::details::LegacyAlgorithmAdapter, details::BaseClass_t<Traits>>;

 
  template <typename Handle, typename Algo>
  auto get( const Handle& handle, const Algo&,
            const EventContext& ) -> decltype( details::deref( handle.get() ) ) // make it SFINAE friendly...
  {
    return details::deref( handle.get() );
  }
 
  template <typename Algo>
  const EventContext& get( const EventContextHandle&, const Algo&, const EventContext& ctx ) {
    return ctx;
  }
 
  template <template <typename> class Handle, typename In, typename Algo>
  auto get( const HandleVector<Handle, In>& handle, const Algo&, const EventContext& ctx ) {
    return handle.get( ctx );
  }
 
  template <typename IFace, typename Algo>
  auto get( const ToolHandle<Gaudi::Interface::Bind::IBinder<IFace>>& handle, const Algo&, const EventContext& ctx ) {
    return handle.bind( ctx );
  }
 
  template <typename Handle>
  auto getKey( const Handle& h ) -> decltype( h.objKey() ) {
    return h.objKey();
  }
 
  template <template <typename> class Handle, typename T>
  auto getKey( const HandleVector<Handle, T>& h ) -> decltype( h.locations() ) {
    return h.locations();
  }
 
  template <typename OutputSpec, typename InputSpec, typename Traits_>
  class DataHandleMixin;
 
  template <typename Outputs, typename Traits_, typename... Args>
  using DataHandleVectorMixin = DataHandleMixin<Outputs, type_list<handle_vector_input_t<Args>...>, Traits_>;
 
  template <typename... Out, typename... In, typename Traits_>
    requires( std::derived_from<BaseClass_t<Traits_>, Algorithm> && !std::disjunction_v<std::is_void<Out>...> )
  class DataHandleMixin<type_list<Out...>, type_list<In...>, Traits_> : public BaseClass_t<Traits_> {
 
  public:
    constexpr static std::size_t N_in  = sizeof...( In );
    constexpr static std::size_t N_out = sizeof...( Out );
 
  private:
    template <typename IArgs, typename OArgs, std::size_t... I, std::size_t... J>
    DataHandleMixin( std::string name, ISvcLocator* pSvcLocator, const IArgs& inputs, std::index_sequence<I...>,
                     const OArgs& outputs, std::index_sequence<J...> )
        : BaseClass_t<Traits_>( std::move( name ), pSvcLocator )
        , m_inputs{ std::tuple_cat( std::forward_as_tuple( this ), std::get<I>( inputs ) )... }
        , m_outputs{ std::tuple_cat( std::forward_as_tuple( this ), std::get<J>( outputs ) )... } {
      // make sure this algorithm is seen as reentrant by Gaudi
      this->setProperty( "Cardinality", 0 ).ignore();
    }
 
    using InputHandles                                     = std::tuple<details::InputHandle_t<Traits_, In>...>;
    using OutputHandles                                    = std::tuple<details::OutputHandle_t<Traits_, Out>...>;
    using InputSpecTuple                                   = LocationSpecs_t<In...>;
    using LegacyInputSpecTuple                             = TailLocationSpecs_t<In...>;
    using InputSpecs                                       = details::LocationSpecs<InputSpecTuple>;
    using LegacyInputSpecs                                 = details::LocationSpecs<LegacyInputSpecTuple>;
    using OutputSpecTuple                                  = LocationSpecs_t<Out...>;
    using OutputSpecs                                      = details::LocationSpecs<OutputSpecTuple>;
    constexpr static bool        starts_with_event_context = first_is_event_context_v<In...>;
    constexpr static std::size_t input_location_offset     = starts_with_event_context ? 1 : 0;
    constexpr static std::size_t N_input_locations         = N_in - input_location_offset;
    template <std::size_t N>
    constexpr static std::size_t input_handle_index = N + input_location_offset;
    template <std::size_t N>
    using InputLocationHandle = std::tuple_element_t<input_handle_index<N>, InputHandles>;
    template <std::size_t... I>
    constexpr static bool input_locations_are_vectors( std::index_sequence<I...> ) {
      return ( location_vector_handle<InputLocationHandle<I>> && ... );
    }
    constexpr static bool all_input_locations_are_vectors =
        input_locations_are_vectors( std::make_index_sequence<N_input_locations>{} );
 
    template <std::size_t... I>
    auto input_location_handles( std::index_sequence<I...> ) const {
      return std::forward_as_tuple( std::get<input_handle_index<I>>( m_inputs )... );
    }
 
  public:
    using KeyValue  = LocationSpec::KeyValue;
    using KeyValues = LocationSpec::KeyValues;
 
    // 0 -> 0, with the historic optional empty tuple arguments.
    DataHandleMixin( std::string name, ISvcLocator* locator, std::tuple<> = {}, std::tuple<> = {} )
      requires( N_in == 0 && N_out == 0 )
        : DataHandleMixin( std::move( name ), locator, std::tuple<>{}, InputSpecs::indices, std::tuple<>{},
                           OutputSpecs::indices ) {}
 
    // EventContext -> 0, where the context has no location argument.
    DataHandleMixin( std::string name, ISvcLocator* locator )
      requires( starts_with_event_context && N_in == 1 && N_out == 0 )
        : DataHandleMixin( std::move( name ), locator, empty_input_specs<starts_with_event_context, InputSpecTuple>,
                           InputSpecs::indices, std::tuple<>{}, OutputSpecs::indices ) {}
 
    // N -> 0
    DataHandleMixin( std::string name, ISvcLocator* locator, InputSpecs const& inputs )
      requires( N_in != 0 && N_out == 0 && !( starts_with_event_context && N_in == 1 ) )
        : DataHandleMixin( std::move( name ), locator, inputs.tuple(), inputs.indices, std::tuple<>{},
                           OutputSpecs::indices ) {}
 
    // Context-first backwards compatibility: the EventContext slot used to consume no input location argument.
    DataHandleMixin( std::string name, ISvcLocator* locator, LegacyInputSpecs const& inputs )
      requires( starts_with_event_context && N_in > 1 && N_out == 0 )
        : DataHandleMixin( std::move( name ), locator, inputs.with_context(), InputSpecs::indices, std::tuple<>{},
                           OutputSpecs::indices ) {}
 
    // 0 -> N and EventContext -> N
    DataHandleMixin( std::string name, ISvcLocator* locator, OutputSpecs const& outputs )
      requires( N_out != 0 && ( N_in == 0 || ( starts_with_event_context && N_in == 1 ) ) )
        : DataHandleMixin( std::move( name ), locator, empty_input_specs<starts_with_event_context, InputSpecTuple>,
                           InputSpecs::indices, outputs.tuple(), outputs.indices ) {}
 
    // N -> M, including EventContext-first legacy input syntax and explicit empty input tuple for 0 -> M.
    DataHandleMixin( std::string name, ISvcLocator* locator, InputSpecs const& inputs, OutputSpecs const& outputs )
      requires( N_out != 0 )
        : DataHandleMixin( std::move( name ), locator, inputs.tuple(), inputs.indices, outputs.tuple(),
                           outputs.indices ) {}
 
    DataHandleMixin( std::string name, ISvcLocator* locator, LegacyInputSpecs const& inputs,
                     OutputSpecs const& outputs )
      requires( starts_with_event_context && N_in > 1 && N_out != 0 )
        : DataHandleMixin( std::move( name ), locator, inputs.with_context(), InputSpecs::indices, outputs.tuple(),
                           outputs.indices ) {}
 
    template <std::size_t N = 0>
    decltype( auto ) inputLocation() const
      requires( N_input_locations > N )
    {
      return getKey( std::get<input_handle_index<N>>( m_inputs ) );
    }
    template <typename T>
    decltype( auto ) inputLocation() const
      requires( N_input_locations > 0 && !is_event_context_v<T> )
    {
      return getKey( std::get<details::InputHandle_t<Traits_, std::decay_t<T>>>( m_inputs ) );
    }
    template <std::size_t N = 0>
    decltype( auto ) inputLocation( unsigned int n ) const
      requires( N_input_locations > N && location_vector_handle<InputLocationHandle<N>> )
    {
      return std::get<input_handle_index<N>>( m_inputs ).at( n ).key();
    }
    decltype( auto ) inputLocation( unsigned int i, unsigned int j ) const
      requires( N_input_locations > 0 && all_input_locations_are_vectors )
    {
      return getLocations( input_location_handles( std::make_index_sequence<N_input_locations>{} ), i ).at( j ).key();
    }
    unsigned int inputLocationSize( unsigned int i ) const
      requires( N_input_locations > 0 )
    {
      auto size = []( const auto& handle ) {
        if constexpr ( location_vector_handle<std::decay_t<decltype( handle )>> ) {
          return static_cast<unsigned int>( handle.size() );
        } else {
          return 1U;
        }
      };
      return std::apply( [i = i + input_location_offset,
                          size]( const auto&... handles ) { return std::array{ size( handles )... }.at( i ); },
                         m_inputs );
    }
    // to remain backwards compatible (!), this has to return
    //  -- for non-merging transformers, the # of input _arguments_...
    //  -- for merging transformers, which only had _one_ input argument, which was not EventContext, the number of
    //  inputs of the first argument...
    // FIXME: to be(come) unambiguous, this should be deprecated at some point, and replaced with a better named
    // alternatives...
    unsigned int inputLocationSize() const {
      if constexpr ( !starts_with_event_context && N_input_locations == 1 &&
                     location_vector_handle<InputLocationHandle<0>> ) {
        return inputLocationSize( 0 );
      } else {
        return N_input_locations;
      }
    }
 
    template <std::size_t N = 0>
    decltype( auto ) outputLocation() const
      requires( N_out > 0 )
    {
      return getKey( std::get<N>( m_outputs ) );
    }
    template <typename T>
    decltype( auto ) outputLocation() const
      requires( N_out > 0 )
    {
      return getKey( std::get<details::OutputHandle_t<Traits_, std::decay_t<T>>>( m_outputs ) );
    }
    template <std::size_t N = 0>
    decltype( auto ) outputLocation( unsigned int n ) const
      requires( N_out > N && location_vector_handle<std::tuple_element_t<N, OutputHandles>> )
    {
      return std::get<N>( m_outputs ).at( n ).key();
    }
    unsigned int outputLocationSize() const {
      if constexpr ( N_out == 1 && location_vector_handle<std::tuple_element_t<0, OutputHandles>> ) {
        return std::get<0>( m_outputs ).size();
      } else {
        return N_out;
      }
    }
 
    template <typename Algorithm>
    decltype( auto ) invoke( const Algorithm& algo, const EventContext& ctx ) const {
      return std::apply(
          [&]( const auto&... handle ) -> decltype( auto ) { return algo( get( handle, algo, ctx )... ); }, m_inputs );
    }
 
  private:
    InputHandles m_inputs;
    bool         isReEntrant() const override { return true; }
 
  protected:
    OutputHandles m_outputs;
  };
 
  template <typename InputSpec, typename Traits_>
  class DataHandleMixin<type_list<void>, InputSpec, Traits_> : public DataHandleMixin<type_list<>, InputSpec, Traits_> {
  public:
    using DataHandleMixin<type_list<>, InputSpec, Traits_>::DataHandleMixin;
  };
 
  template <typename OutHandles, typename Outputs>
  void put_results( const OutHandles& out_handles, Outputs&& outputs ) {
    [&]<std::size_t... I>( std::index_sequence<I...> ) {
      ( put( std::get<I>( out_handles ), std::get<I>( std::forward<Outputs>( outputs ) ) ), ... );
    }( std::make_index_sequence<std::tuple_size_v<std::remove_reference_t<Outputs>>>{} );
  }
 
  template <typename Algorithm, typename OutHandles = std::tuple<>>
  StatusCode execute_single_output( const Algorithm& algo, const EventContext& ctx, const OutHandles& out_handles = {} )
    requires( std::tuple_size_v<OutHandles> <= 1 )
  {
    return execute( algo, [&] {
      if constexpr ( std::tuple_size_v<OutHandles> == 0 ) {
        algo.invoke( algo, ctx );
      } else {
        put( std::get<0>( out_handles ), algo.invoke( algo, ctx ) );
      }
      return FilterDecision::PASSED;
    } );
  }
 
  template <typename Algorithm, typename OutHandles>
  StatusCode execute_outputs( const Algorithm& algo, const EventContext& ctx, const OutHandles& out_handles ) {
    return execute( algo, [&] {
      put_results( out_handles, algo.invoke( algo, ctx ) );
      return FilterDecision::PASSED;
    } );
  }
 
  template <typename Algorithm, typename OutHandles>
  StatusCode execute_filtered_outputs( const Algorithm& algo, const EventContext& ctx, const OutHandles& out_handles ) {
    return execute( algo, [&] {
      return std::apply(
                 [&]( bool passed, auto&&... data ) {
                   put_results( out_handles, std::forward_as_tuple( std::forward<decltype( data )>( data )... ) );
                   return passed;
                 },
                 algo.invoke( algo, ctx ) )
                 ? FilterDecision::PASSED
                 : FilterDecision::FAILED;
    } );
  }
 
} // namespace Gaudi::Functional::details
 
#include "deprecated.h"