RFieldRecord.hxx

Go to the documentation of this file.

/// \file ROOT/RField/Fundamental.hxx
/// \author Jakob Blomer <jblomer@cern.ch>
/// \date 2018-10-09
 
/*************************************************************************
 * Copyright (C) 1995-2019, 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_RField_Record
#define ROOT_RField_Record
 
#ifndef ROOT_RField
#error "Please include RField.hxx!"
#endif
 
#include <ROOT/RFieldBase.hxx>
#include <ROOT/RNTupleTypes.hxx>
#include <ROOT/StringUtils.hxx>
 
#include <optional>
#include <string>
#include <string_view>
#include <tuple>
#include <unordered_set>
#include <utility>
#include <vector>
 
namespace ROOT {
 
class RRecordField;
 
namespace Detail {
class RFieldVisitor;
} // namespace Detail
 
namespace Internal {
// TODO(gparolini): consider using a different type than RFieldDescriptor to pass around type name/version/checksum
// to CreateEmulated* functions
std::unique_ptr<RFieldBase> CreateEmulatedRecordField(std::string_view fieldName,
                                                      std::vector<std::unique_ptr<RFieldBase>> itemFields,
                                                      const RFieldDescriptor &emulatedFrom);
// Used by to late-model-extend fields to untyped records
void AddItemToRecord(RRecordField &record, std::unique_ptr<RFieldBase> newItem);
} // namespace Internal
 
/// The field for an untyped record. The subfields are stored consecutively in a memory block, i.e.
/// the memory layout is identical to one that a C++ struct would have
class RRecordField : public RFieldBase {
   friend std::unique_ptr<RFieldBase>
   Internal::CreateEmulatedRecordField(std::string_view fieldName, std::vector<std::unique_ptr<RFieldBase>> itemFields,
                                       const RFieldDescriptor &emulatedFrom);
   friend void Internal::AddItemToRecord(RRecordField &record, std::unique_ptr<RFieldBase> newItem);
 
   class RRecordDeleter : public RDeleter {
   private:
      std::vector<std::unique_ptr<RDeleter>> fItemDeleters;
      std::vector<std::size_t> fOffsets;
 
   public:
      RRecordDeleter(std::vector<std::unique_ptr<RDeleter>> itemDeleters, const std::vector<std::size_t> &offsets,
                     std::size_t alignment)
         : RDeleter(alignment), fItemDeleters(std::move(itemDeleters)), fOffsets(offsets)
      {
      }
      void operator()(void *objPtr, bool dtorOnly) final;
   };
 
   std::unordered_set<std::string> fSubfieldNames; ///< Efficient detection of duplicate field names
   // These are only valid if the record field is emulated (i.e. (fTraits & kTraitEmulatedField) != 0).
   std::uint32_t fEmulatedTypeVersion = 0;
   std::uint32_t fEmulatedTypeChecksum = 0;
 
   RRecordField(std::string_view name, const RRecordField &source); // Used by CloneImpl()
 
   /// If `emulatedFrom` is non-null, this field was created as a replacement for a ClassField that we lack a
   /// dictionary for and reconstructed from the on-disk information.
   /// Used by the public constructor and by Internal::CreateEmulatedRecordField().
   RRecordField(std::string_view fieldName, std::vector<std::unique_ptr<RFieldBase>> itemFields,
                const RFieldDescriptor *emulatedFrom);
 
   bool IsPairOrTuple() const
   {
      return StartsWith(GetTypeName(), "std::pair<") || StartsWith(GetTypeName(), "std::tuple<");
   }
 
   /// Adds an additional item field. Note that the derived RPairField and RTupleField have a sub field handling
   /// that differs from a struct-like record: their sub field names must be numbered and these derived fields have
   /// their own member offset calculation.
   void AddItem(std::unique_ptr<RFieldBase> item);
 
protected:
   std::size_t fMaxAlignment = 1;
   std::size_t fSize = 0;
   std::vector<std::size_t> fOffsets;
 
   std::size_t GetItemPadding(std::size_t baseOffset, std::size_t itemAlignment) const;
 
   std::unique_ptr<RFieldBase> CloneImpl(std::string_view newName) const override;
 
   void ConstructValue(void *where) const final;
   std::unique_ptr<RDeleter> GetDeleter() const final;
 
   std::size_t AppendImpl(const void *from) final;
   void ReadGlobalImpl(ROOT::NTupleSize_t globalIndex, void *to) final;
   void ReadInClusterImpl(RNTupleLocalIndex localIndex, void *to) final;
 
   /// Used by RPairField and RTupleField descendants. These descendants have their own logic to attach the subfields
   /// that ensure that the resulting memory layout matches std::pair or std::tuple, resp.
   RRecordField(std::string_view fieldName, std::string_view typeName);
 
   template <typename ContainerT>
   void AttachItemFields(ContainerT &&itemFields)
   {
      static_assert(std::is_same_v<typename ContainerT::value_type, std::unique_ptr<ROOT::RFieldBase>>,
                    "ContainerT must hold std::unique_ptr<ROOT::RFieldBase>");
 
      if (!IsPairOrTuple()) {
         assert(fOffsets.empty());
         fOffsets.reserve(itemFields.size());
      }
 
      fTraits |= kTraitTrivialType;
      for (auto &&item : itemFields) {
         AddItem(std::move(item));
      }
      // Trailing padding: although this is implementation-dependent, most add enough padding to comply with the
      // requirements of the type with strictest alignment
      fSize += GetItemPadding(fSize, fMaxAlignment);
   }
 
   void ReconcileOnDiskField(const RNTupleDescriptor &desc) override;
 
public:
   /// Construct a RRecordField based on a vector of child fields. The ownership of the child fields is transferred
   /// to the RRecordField instance.
   /// The resulting field uses a memory layout for its values as if there was a struct consisting of the passed
   /// item fields.
   RRecordField(std::string_view fieldName, std::vector<std::unique_ptr<RFieldBase>> itemFields);
   RRecordField(RRecordField &&other) = default;
   RRecordField &operator=(RRecordField &&other) = default;
   ~RRecordField() override = default;
 
   std::vector<RValue> SplitValue(const RValue &value) const final;
   size_t GetValueSize() const final
   {
      // The minimum size is 1 to support having vectors of empty records
      return std::max<size_t>(1ul, fSize);
   }
   size_t GetAlignment() const final { return fMaxAlignment; }
   void AcceptVisitor(ROOT::Detail::RFieldVisitor &visitor) const final;
 
   const std::vector<std::size_t> &GetOffsets() const { return fOffsets; }
 
   std::uint32_t GetTypeVersion() const final { return (fTraits & kTraitEmulatedField) ? fEmulatedTypeVersion : 0; }
   std::uint32_t GetTypeChecksum() const final { return (fTraits & kTraitEmulatedField) ? fEmulatedTypeChecksum : 0; }
};
 
////////////////////////////////////////////////////////////////////////////////
/// Template specializations for C++ std::pair
////////////////////////////////////////////////////////////////////////////////
 
/// The generic field for `std::pair<T1, T2>` types
class RPairField : public RRecordField {
protected:
   std::unique_ptr<RFieldBase> CloneImpl(std::string_view newName) const final;
 
   void ReconcileOnDiskField(const RNTupleDescriptor &desc) final;
 
public:
   RPairField(std::string_view fieldName, std::array<std::unique_ptr<RFieldBase>, 2> itemFields);
   RPairField(RPairField &&other) = default;
   RPairField &operator=(RPairField &&other) = default;
   ~RPairField() override = default;
};
 
template <typename T1, typename T2>
class RField<std::pair<T1, T2>> final : public RPairField {
   using ContainerT = typename std::pair<T1, T2>;
 
private:
   static std::array<std::unique_ptr<RFieldBase>, 2> BuildItemFields()
   {
      return {std::make_unique<RField<T1>>("_0"), std::make_unique<RField<T2>>("_1")};
   }
 
public:
   static std::string TypeName() { return "std::pair<" + RField<T1>::TypeName() + "," + RField<T2>::TypeName() + ">"; }
   explicit RField(std::string_view name) : RPairField(name, BuildItemFields())
   {
      R__ASSERT(fMaxAlignment >= std::max(alignof(T1), alignof(T2)));
      R__ASSERT(fSize >= sizeof(ContainerT));
   }
   RField(RField &&other) = default;
   RField &operator=(RField &&other) = default;
   ~RField() final = default;
};
 
////////////////////////////////////////////////////////////////////////////////
/// Template specializations for C++ std::tuple
////////////////////////////////////////////////////////////////////////////////
 
/// The generic field for `std::tuple<Ts...>` types
class RTupleField : public RRecordField {
protected:
   std::unique_ptr<RFieldBase> CloneImpl(std::string_view newName) const final;
 
   void ReconcileOnDiskField(const RNTupleDescriptor &desc) final;
 
public:
   RTupleField(std::string_view fieldName, std::vector<std::unique_ptr<RFieldBase>> itemFields);
   RTupleField(RTupleField &&other) = default;
   RTupleField &operator=(RTupleField &&other) = default;
   ~RTupleField() override = default;
};
 
template <typename... ItemTs>
class RField<std::tuple<ItemTs...>> final : public RTupleField {
   using ContainerT = typename std::tuple<ItemTs...>;
 
private:
   template <typename HeadT, typename... TailTs>
   static std::string BuildItemTypes()
   {
      std::string result = RField<HeadT>::TypeName();
      if constexpr (sizeof...(TailTs) > 0)
         result += "," + BuildItemTypes<TailTs...>();
      return result;
   }
 
   template <typename HeadT, typename... TailTs>
   static void _BuildItemFields(std::vector<std::unique_ptr<RFieldBase>> &itemFields, unsigned int index = 0)
   {
      itemFields.emplace_back(new RField<HeadT>("_" + std::to_string(index)));
      if constexpr (sizeof...(TailTs) > 0)
         _BuildItemFields<TailTs...>(itemFields, index + 1);
   }
   static std::vector<std::unique_ptr<RFieldBase>> BuildItemFields()
   {
      std::vector<std::unique_ptr<RFieldBase>> result;
      _BuildItemFields<ItemTs...>(result);
      return result;
   }
 
public:
   static std::string TypeName() { return "std::tuple<" + BuildItemTypes<ItemTs...>() + ">"; }
   explicit RField(std::string_view name) : RTupleField(name, BuildItemFields())
   {
      R__ASSERT(fMaxAlignment >= std::max({alignof(ItemTs)...}));
      R__ASSERT(fSize >= sizeof(ContainerT));
   }
   RField(RField &&other) = default;
   RField &operator=(RField &&other) = default;
   ~RField() final = default;
};
 
} // namespace ROOT
 
#endif