PartitionedDataDetails.hpp

Go to the documentation of this file.

 
//                Copyright Oliver J. Rosten 2018.                //
// Distributed under the GNU GENERAL PUBLIC LICENSE, Version 3.0. //
//    (See accompanying file LICENSE.md or copy at                //
//          https://www.gnu.org/licenses/gpl-3.0.en.html)         //
 
#pragma once
 
#include "sequoia/Core/Meta/TypeTraits.hpp"
 
namespace sequoia::data_structures::partition_impl
{
  template<bool Reversed, std::integral IndexType>
  class partition_index_policy
  {
  public:
    using index_type = IndexType;
 
    constexpr partition_index_policy() = default;
    constexpr explicit partition_index_policy(const index_type n) : m_Partition{n} {}
    constexpr partition_index_policy(const partition_index_policy&) = default;
 
    constexpr static auto npos{std::numeric_limits<index_type>::max()};
 
    [[nodiscard]]
    constexpr static bool reversed() noexcept { return Reversed; }
 
    [[nodiscard]]
    friend constexpr bool operator==(const partition_index_policy& lhs, const partition_index_policy& rhs) noexcept = default;
 
    [[nodiscard]]
    constexpr IndexType partition_index() const noexcept { return m_Partition; }
  protected:
    constexpr partition_index_policy(partition_index_policy&&) noexcept = default;
 
    ~partition_index_policy() = default;
 
    constexpr partition_index_policy& operator=(const partition_index_policy&)     = default;
    constexpr partition_index_policy& operator=(partition_index_policy&&) noexcept = default;
  private:
    IndexType m_Partition{};
  };
 
  //============================= Helper classes for copy constructor ===================================//
 
  template<alloc PartitionAllocator, alloc Allocator>
  inline constexpr bool is_always_equal_v{
       std::allocator_traits<PartitionAllocator>::is_always_equal::value
    && std::allocator_traits<Allocator>::is_always_equal::value
  };
 
  template<alloc PartitionAllocator, alloc Allocator>
  inline constexpr bool propagates_on_copy_assignment_v{
       (    std::allocator_traits<PartitionAllocator>::propagate_on_container_copy_assignment::value
         || std::allocator_traits<PartitionAllocator>::is_always_equal::value)
    && (    std::allocator_traits<Allocator>::propagate_on_container_copy_assignment::value
         || std::allocator_traits<Allocator>::is_always_equal::value)
  };
 
  template<alloc PartitionAllocator, alloc Allocator>
  inline constexpr bool propagates_on_move_assignment_v{
       (    std::allocator_traits<PartitionAllocator>::propagate_on_container_move_assignment::value
         || std::allocator_traits<PartitionAllocator>::is_always_equal::value)
    && (    std::allocator_traits<Allocator>::propagate_on_container_move_assignment::value
         || std::allocator_traits<Allocator>::is_always_equal::value)
  };
}