Program Listing for File address.hpp

↰ Return to documentation for file (/tmp/ws/src/proxsuite/include/proxsuite/linalg/veg/memory/address.hpp)

#ifndef VEG_ADDRESS_HPP_ZP6FDIHZS
#define VEG_ADDRESS_HPP_ZP6FDIHZS

#include "proxsuite/linalg/veg/type_traits/core.hpp"
#include "proxsuite/linalg/veg/internal/std.hpp"
#include "proxsuite/linalg/veg/internal/prologue.hpp"

#if !VEG_HAS_BUILTIN(__builtin_addressof)

// std::addressof
#if __VEG_HAS_INCLUDE(<bits / move.h>)
#include <bits/move.h>
#else
#include <memory>
#endif
#endif

namespace proxsuite {
namespace linalg {
namespace veg {

#if !(VEG_HAS_BUILTIN(__builtin_addressof) || defined(VEG_WITH_CXX17_SUPPORT))

namespace _detail {
namespace _mem {
struct member_addr
{
  template<typename T>
  using type = decltype(void(VEG_DECLVAL(T&).operator&()));

  template<typename T>
  VEG_INLINE static auto apply(T& var) VEG_NOEXCEPT->T*
  {
    using char_ref = char&;
    return static_cast<T*>(static_cast<void*>(&char_ref(var)));
  }
};
struct adl_addr : member_addr
{
  template<typename T>
  using type = decltype(void(operator&(VEG_DECLVAL(T&))));
};
struct builtin_addr : meta::true_type
{
  template<typename T>
  VEG_INLINE static constexpr auto apply(T& var) VEG_NOEXCEPT->T*
  {
    return &var;
  }
};
template<typename T>
struct has_member_addr
  : meta::bool_constant<VEG_CONCEPT(detected<member_addr::type, T&>)>
  , member_addr
{};
template<typename T>
struct has_adl_addr
  : meta::bool_constant<VEG_CONCEPT(detected<adl_addr::type, T&>)>
  , adl_addr
{};

template<typename T>
struct addr_impl
  : meta::disjunction<has_member_addr<T>, has_adl_addr<T>, builtin_addr>
{};

} // namespace _mem
} // namespace _detail

#endif

namespace mem {
namespace nb {
struct addressof
{
  template<typename T>
  VEG_INLINE constexpr auto operator()(T&& var) const
    VEG_NOEXCEPT->meta::unref_t<T>*
  {
#if VEG_HAS_BUILTIN(__builtin_addressof)
    return __builtin_addressof(var);
#elif defined(VEG_WITH_CXX17_SUPPORT)
    return ::std::addressof(var);
#else
    return _detail::_mem::addr_impl<T>::apply(var);
#endif
  }
};
} // namespace nb
VEG_NIEBLOID(addressof);
} // namespace mem
} // namespace veg
} // namespace linalg
} // namespace proxsuite

#include "proxsuite/linalg/veg/internal/epilogue.hpp"
#endif /* end of include guard VEG_ADDRESS_HPP_ZP6FDIHZS */