const_ptr.hpp 1.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
  1. //
  2. // const_ptr.hpp
  3. // pointers
  4. //
  5. // Created by Sam Jaffe on 1/5/17.
  6. //
  7. #pragma once
  8. #include <memory>
  9. #include "detail/compare.hpp"
  10. #include "detail/get_ptr.hpp"
  11. #include "pointer_fwd.hpp"
  12. template <typename P>
  13. class const_ptr : private detail::get_ptr<P>,
  14. public detail::pointer_compare<const_ptr<P>> {
  15. public:
  16. using element_type = typename std::pointer_traits<P>::element_type;
  17. using pointer = element_type const *;
  18. using reference = element_type const &;
  19. const_ptr() noexcept : _ptr(nullptr) {}
  20. const_ptr(P const & p) noexcept(std::is_nothrow_copy_constructible<P>::value)
  21. : _ptr(p) {}
  22. const_ptr(P && p) noexcept(std::is_nothrow_move_constructible<P>::value)
  23. : _ptr(std::move(p)) {}
  24. template <typename Y, typename = typename std::enable_if<
  25. std::is_constructible<P, Y>::value>::type>
  26. const_ptr(Y const & p) : _ptr(p) {}
  27. template <typename Y, typename = typename std::enable_if<
  28. std::is_constructible<P, Y>::value>::type>
  29. const_ptr(Y && p) : _ptr(std::forward<Y>(p)) {}
  30. template <typename Y>
  31. explicit operator const_ptr<Y>() const
  32. noexcept(std::is_nothrow_constructible<P, Y>::value) {
  33. return _ptr;
  34. }
  35. operator bool() const noexcept { return static_cast<bool>(_ptr); }
  36. reference operator*() const noexcept(noexcept(*_ptr)) { return *_ptr; }
  37. pointer get() const noexcept(noexcept(detail::get_ptr<P>::get(_ptr))) {
  38. return detail::get_ptr<P>::get(_ptr);
  39. }
  40. pointer operator->() const noexcept(noexcept(get())) { return get(); }
  41. private:
  42. P _ptr;
  43. };