address.hpp

Go to the documentation of this file.

#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 */