traits.h

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-3-Clause
#ifndef TTG_SERIALIZATION_TRAITS_H
#define TTG_SERIALIZATION_TRAITS_H
 
#include "ttg/util/meta.h"
 
#include <type_traits>
 
#include <iostream>
 
namespace boost {
  namespace archive {}
  namespace serialization {
    struct unsigned_int {
      unsigned int v;
      unsigned_int(unsigned int v) : v(v) {}
      operator unsigned int() const { return v; }
    };
    const unsigned_int version_as_adl_tag = 0u;
  }  // namespace serialization
}  // namespace boost
 
namespace ttg::detail {
 
  template <typename T, typename Archive>
  using has_member_serialize_t = decltype(std::declval<T&>().serialize(std::declval<Archive&>()));
 
  template <typename T, typename Archive>
  using has_member_serialize_with_version_t = decltype(std::declval<T&>().serialize(std::declval<Archive&>(), 0u));
 
  template <typename T, typename Archive>
  using has_member_load_t = decltype(std::declval<T&>().load(std::declval<Archive&>()));
 
  template <typename T, typename Archive>
  using has_member_load_with_version_t = decltype(std::declval<T&>().load(std::declval<Archive&>(), 0u));
 
  template <typename T, typename Archive>
  using has_member_save_t = decltype(std::declval<T&>().save(std::declval<Archive&>()));
 
  template <typename T, typename Archive>
  using has_member_save_with_version_t = decltype(std::declval<T&>().save(std::declval<Archive&>(), 0u));
 
  template <typename T, typename Archive>
  using has_freestanding_serialize_t = decltype(serialize(std::declval<Archive&>(), std::declval<T&>()));
 
  template <typename T, typename Archive>
  using has_freestanding_serialize_with_version_t =
      decltype(serialize(std::declval<Archive&>(), std::declval<T&>(), 0u));
 
  template <typename T, typename Archive>
  using has_freestanding_boost_serialize_with_version_t =
      decltype(serialize(std::declval<Archive&>(), std::declval<T&>(), boost::serialization::version_as_adl_tag));
 
  template <typename T, typename Archive>
  inline constexpr bool has_member_serialize_v = ttg::meta::is_detected_v<has_member_serialize_t, T, Archive>;
 
  template <typename T, typename Archive>
  inline constexpr bool has_member_serialize_with_version_v =
      ttg::meta::is_detected_v<has_member_serialize_with_version_t, T, Archive>;
 
  template <typename T, typename Archive>
  inline constexpr bool has_member_load_with_version_v =
      ttg::meta::is_detected_v<has_member_load_with_version_t, T, Archive>;
 
  template <typename T, typename Archive>
  inline constexpr bool has_member_save_with_version_v =
      ttg::meta::is_detected_v<has_member_save_with_version_t, T, Archive>;
 
  template <typename T, typename Archive>
  inline constexpr bool has_freestanding_serialize_v =
      ttg::meta::is_detected_v<has_freestanding_serialize_t, T, Archive>;
 
  template <typename T, typename Archive>
  inline constexpr bool has_freestanding_serialize_with_version_v =
      ttg::meta::is_detected_v<has_freestanding_serialize_with_version_t, T, Archive>;
 
  template <typename T, typename Archive>
  inline constexpr bool has_freestanding_boost_serialize_with_version_v =
      ttg::meta::is_detected_v<has_freestanding_boost_serialize_with_version_t, T, Archive>;
 
 
  template <typename T, typename Enabler = void>
  inline constexpr bool is_archive_v = false;
 
  template <typename T, typename Enabler>
  inline constexpr bool is_input_archive_v = false;
 
  template <typename T, typename Enabler = void>
  inline constexpr bool is_output_archive_v = false;
 
 
  template <class, class = void>
  struct is_printable : std::false_type {};
 
  template <class T>
  struct is_printable<T, std::void_t<decltype(std::declval<std::ostream&>() << std::declval<T>())>> : std::true_type {};
 
  template <typename T, typename Enabler = void>
  struct printer_helper {
    static void print(const void* object) { std::cout << "[unprintable object]" << std::endl; }
  };
 
  template <typename T>
  struct printer_helper<T, std::enable_if_t<is_printable<T>::value>> {
    static void print(const void* object) { std::cout << *(static_cast<const T*>(object)) << std::endl; }
  };
 
}  // namespace ttg::detail
 
#include "ttg/serialization/backends.h"
 
namespace ttg::detail {
  template <typename T, typename Enabler = void>
  struct is_user_buffer_serializable : std::false_type {};
 
  //  template <typename T>
  //  struct is_user_buffer_serializable<T, std::enable_if_t<is_madness_user_buffer_serializable_v<T> ||
  //  is_boost_user_buffer_serializable_v<T>>> : std::true_type {};
  template <typename T>
  struct is_user_buffer_serializable<
      T, std::enable_if_t<is_madness_user_buffer_serializable_v<T> || is_boost_user_buffer_serializable_v<T>>> : std::true_type {};
 
  template <typename T>
  inline constexpr bool is_user_buffer_serializable_v = is_user_buffer_serializable<T>::value;
 
 
  template <typename T>
  inline constexpr bool is_memcpyable_override_v = std::is_trivially_copyable_v<T>;
 
  // std::pair of trivially-copyable types is trivially copyable
  template <typename T1, typename T2>
  inline constexpr bool is_memcpyable_override_v<std::pair<T1,T2>> = std::is_trivially_copyable_v<T1> && std::is_trivially_copyable_v<T2>;
 
 
  template <typename T>
  struct is_memcpyable : std::bool_constant<std::is_trivially_copyable_v<T> || is_memcpyable_override_v<T>> {};
 
  template <typename T>
  inline constexpr bool is_memcpyable_v = is_memcpyable<T>::value;
 
}  // namespace ttg::detail
 
#endif  // TTG_SERIALIZATION_TRAITS_H