Utils.hxx

Go to the documentation of this file.

// Author: Enrico Guiraud, Danilo Piparo CERN  12/2016
 
/*************************************************************************
 * Copyright (C) 1995-2018, Rene Brun and Fons Rademakers.               *
 * All rights reserved.                                                  *
 *                                                                       *
 * For the licensing terms see $ROOTSYS/LICENSE.                         *
 * For the list of contributors see $ROOTSYS/README/CREDITS.             *
 *************************************************************************/
 
#ifndef ROOT_RDFUTILS
#define ROOT_RDFUTILS
 
#include "ROOT/RSpan.hxx"
#include "ROOT/RStringView.hxx"
#include "ROOT/RVec.hxx"
#include "ROOT/TypeTraits.hxx"
#include "Rtypes.h"
 
#include <array>
#include <deque>
#include <functional>
#include <memory>
#include <new> // std::hardware_destructive_interference_size
#include <string>
#include <type_traits> // std::decay
#include <vector>
 
class TTree;
class TTreeReader;
 
/// \cond HIDDEN_SYMBOLS
namespace ROOT {
namespace Experimental {
class RLogChannel;
}
 
namespace RDF {
class RDataSource;
}
 
namespace Detail {
namespace RDF {
using ColumnNames_t = std::vector<std::string>;
 
ROOT::Experimental::RLogChannel &RDFLogChannel();
 
// fwd decl for ColumnName2ColumnTypeName
class RDefineBase;
 
// type used for tag dispatching
struct RInferredType {
};
 
} // end ns Detail
} // end ns RDF
 
namespace Internal {
namespace RDF {
 
using namespace ROOT::TypeTraits;
using namespace ROOT::Detail::RDF;
using namespace ROOT::RDF;
 
/// Check for container traits.
///
/// Note that for all uses in RDF we don't want to classify std::string as a container.
/// Template specializations of IsDataContainer make it return `true` for std::span<T>, std::vector<bool> and
/// RVec<bool>, which we do want to count as containers even though they do not satisfy all the traits tested by the
/// generic IsDataContainer<T>.
template <typename T>
struct IsDataContainer {
   using Test_t = typename std::decay<T>::type;
 
   template <typename A>
   static constexpr bool Test(A *pt, A const *cpt = nullptr, decltype(pt->begin()) * = nullptr,
                              decltype(pt->end()) * = nullptr, decltype(cpt->begin()) * = nullptr,
                              decltype(cpt->end()) * = nullptr, typename A::iterator *pi = nullptr,
                              typename A::const_iterator *pci = nullptr)
   {
      using It_t = typename A::iterator;
      using CIt_t = typename A::const_iterator;
      using V_t = typename A::value_type;
      return std::is_same<decltype(pt->begin()), It_t>::value && std::is_same<decltype(pt->end()), It_t>::value &&
             std::is_same<decltype(cpt->begin()), CIt_t>::value && std::is_same<decltype(cpt->end()), CIt_t>::value &&
             std::is_same<decltype(**pi), V_t &>::value && std::is_same<decltype(**pci), V_t const &>::value &&
             !std::is_same<T, std::string>::value;
   }
 
   template <typename A>
   static constexpr bool Test(...)
   {
      return false;
   }
 
   static constexpr bool value = Test<Test_t>(nullptr);
};
 
template<>
struct IsDataContainer<std::vector<bool>> {
   static constexpr bool value = true;
};
 
template<>
struct IsDataContainer<ROOT::VecOps::RVec<bool>> {
   static constexpr bool value = true;
};
 
template<typename T>
struct IsDataContainer<std::span<T>> {
   static constexpr bool value = true;
};
 
/// Detect whether a type is an instantiation of vector<T,A>
template <typename>
struct IsVector_t : public std::false_type {};
 
template <typename T, typename A>
struct IsVector_t<std::vector<T, A>> : public std::true_type {};
 
const std::type_info &TypeName2TypeID(const std::string &name);
 
std::string TypeID2TypeName(const std::type_info &id);
 
std::string ColumnName2ColumnTypeName(const std::string &colName, TTree *, RDataSource *, RDefineBase *,
                                      bool vector2rvec = true);
 
char TypeName2ROOTTypeName(const std::string &b);
 
unsigned int GetNSlots();
 
/// `type` is TypeList if MustRemove is false, otherwise it is a TypeList with the first type removed
template <bool MustRemove, typename TypeList>
struct RemoveFirstParameterIf {
   using type = TypeList;
};
 
template <typename TypeList>
struct RemoveFirstParameterIf<true, TypeList> {
   using type = RemoveFirstParameter_t<TypeList>;
};
 
template <bool MustRemove, typename TypeList>
using RemoveFirstParameterIf_t = typename RemoveFirstParameterIf<MustRemove, TypeList>::type;
 
template <bool MustRemove, typename TypeList>
struct RemoveFirstTwoParametersIf {
   using type = TypeList;
};
 
template <typename TypeList>
struct RemoveFirstTwoParametersIf<true, TypeList> {
   using typeTmp = typename RemoveFirstParameterIf<true, TypeList>::type;
   using type = typename RemoveFirstParameterIf<true, typeTmp>::type;
};
 
template <bool MustRemove, typename TypeList>
using RemoveFirstTwoParametersIf_t = typename RemoveFirstTwoParametersIf<MustRemove, TypeList>::type;
 
/// Detect whether a type is an instantiation of RVec<T>
template <typename>
struct IsRVec_t : public std::false_type {};
 
template <typename T>
struct IsRVec_t<ROOT::VecOps::RVec<T>> : public std::true_type {};
 
// Check the value_type type of a type with a SFINAE to allow compilation in presence
// fundamental types
template <typename T, bool IsDataContainer = IsDataContainer<typename std::decay<T>::type>::value || std::is_same<std::string, T>::value>
struct ValueType {
   using value_type = typename T::value_type;
};
 
template <typename T>
struct ValueType<T, false> {
   using value_type = T;
};
 
template <typename T>
struct ValueType<ROOT::VecOps::RVec<T>, false> {
   using value_type = T;
};
 
std::vector<std::string> ReplaceDotWithUnderscore(const std::vector<std::string> &columnNames);
 
/// Erase `that` element from vector `v`
template <typename T>
void Erase(const T &that, std::vector<T> &v)
{
   v.erase(std::remove(v.begin(), v.end(), that), v.end());
}
 
/// Declare code in the interpreter via the TInterpreter::Declare method, throw in case of errors
void InterpreterDeclare(const std::string &code);
 
/// Jit code in the interpreter with TInterpreter::Calc, throw in case of errors.
/// The optional `context` parameter, if present, is mentioned in the error message.
/// The pointer returned by the call to TInterpreter::Calc is returned in case of success.
Long64_t InterpreterCalc(const std::string &code, const std::string &context = "");
 
/// Whether custom column with name colName is an "internal" column such as rdfentry_ or rdfslot_
bool IsInternalColumn(std::string_view colName);
 
// We could just check `#ifdef __cpp_lib_hardware_interference_size`, but at least on Mac 11
// libc++ defines that macro but is missing the actual feature, so we use an ad-hoc ROOT macro instead.
// See the relevant entry in cmake/modules/RootConfiguration.cmake for more info.
#ifdef R__HAS_HARDWARE_INTERFERENCE_SIZE
   // C++17 feature (so we can use inline variables)
   inline constexpr std::size_t kCacheLineSize = std::hardware_destructive_interference_size;
#else
   // safe bet: assume the typical 64 bytes
   static constexpr std::size_t kCacheLineSize = 64;
#endif
 
/// Stepping through CacheLineStep<T> values in a vector<T> brings you to a new cache line.
/// Useful to avoid false sharing.
template <typename T>
constexpr std::size_t CacheLineStep() {
   return (kCacheLineSize + sizeof(T) - 1) / sizeof(T);
}
 
} // end NS RDF
} // end NS Internal
} // end NS ROOT
 
/// \endcond
 
#endif // RDFUTILS