| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160 |
- //
- // not_null.hpp
- // pointer
- //
- // Created by Sam Jaffe on 9/24/15.
- //
- //
- #pragma once
- #include <stdexcept>
- #include <memory>
- #include "pointer_fwd.hpp"
- #include "maybe_null.hpp"
- class null_pointer_exception : public std::invalid_argument {
- using std::invalid_argument::invalid_argument;
- };
- template <typename P> class not_null<std::weak_ptr<P>>; // A weak_ptr cannot be a not_null
- template <typename T>
- class not_null {
- public:
- using element_type = typename std::pointer_traits<T>::element_type;
- using pointer = element_type *;
- using reference = element_type &;
-
- explicit not_null(std::nullptr_t) = delete;
- explicit not_null(int) = delete;
- not_null(T const & p) : _ptr(p) { validate(); }
- not_null(T && p) : _ptr(std::move(p)) { validate(); }
- not_null(not_null const&) = default;
- template <typename Y>
- explicit operator maybe_null<Y>() const {
- return _ptr;
- }
- template <typename Y>
- explicit operator not_null<Y>() const {
- return _ptr;
- }
- not_null& operator=(not_null const&) = default;
- template <typename Y> not_null& operator=(not_null<Y> const&other) {
- _ptr = other._ptr;
- return *this;
- }
-
- explicit operator maybe_null<T>() const;
- operator bool() const { return true; }
-
- pointer get() const { return std::addressof(operator*()); }
- reference operator*() const { return *_ptr; }
- pointer operator->() const { return get(); }
-
- private:
- void validate() {
- if (get() == nullptr) {
- throw null_pointer_exception{"not_null<T> cannot be null"};
- }
- }
- T _ptr;
- };
- template <typename T, typename U>
- bool operator==(not_null<T> const&lhs, not_null<U> const&rhs) {
- return lhs.get() == rhs.get();
- }
- template <typename T, typename U>
- bool operator!=(not_null<T> const&lhs, not_null<U> const&rhs) {
- return !(lhs == rhs);
- }
- template <typename T, typename U>
- bool operator< (not_null<T> const&lhs, not_null<U> const&rhs) {
- typedef typename std::common_type<
- typename not_null<T>::pointer,
- typename not_null<U>::pointer>::type V;
- return std::less<V>(lhs.get(), rhs.get());
- }
- template <typename T, typename U>
- bool operator> (not_null<T> const&lhs, not_null<U> const&rhs) {
- return rhs < lhs;
- }
- template <typename T, typename U>
- bool operator<=(not_null<T> const&lhs, not_null<U> const&rhs) {
- return !(rhs < lhs);
- }
- template <typename T, typename U>
- bool operator>=(not_null<T> const&lhs, not_null<U> const&rhs) {
- return !(lhs < rhs);
- }
- template <typename T>
- bool operator==(not_null<T> const&lhs, std::nullptr_t) {
- return !lhs;
- }
- template <typename T>
- bool operator==(std::nullptr_t, not_null<T> const&rhs) {
- return !rhs;
- }
- template <typename T>
- bool operator!=(not_null<T> const&lhs, std::nullptr_t) {
- return static_cast<bool>(lhs);
- }
- template <typename T>
- bool operator!=(std::nullptr_t, not_null<T> const&rhs) {
- return static_cast<bool>(rhs);
- }
- template <typename T>
- bool operator< (not_null<T> const&lhs, std::nullptr_t) {
- typedef typename not_null<T>::pointer V;
- return std::less<V>(lhs.get(), nullptr);
- }
- template <typename T>
- bool operator< (std::nullptr_t, not_null<T> const&rhs) {
- typedef typename not_null<T>::pointer V;
- return std::less<V>(nullptr, rhs.get());
- }
- template <typename T>
- bool operator> (not_null<T> const&lhs, std::nullptr_t) {
- return nullptr < lhs;
- }
- template <typename T>
- bool operator> (std::nullptr_t, not_null<T> const&rhs) {
- return rhs < nullptr;
- }
- template <typename T>
- bool operator<=(not_null<T> const&lhs, std::nullptr_t) {
- return !(nullptr < lhs);
- }
- template <typename T>
- bool operator<=(std::nullptr_t, not_null<T> const&rhs) {
- return !(rhs < nullptr);
- }
- template <typename T>
- bool operator>=(not_null<T> const&lhs, std::nullptr_t) {
- return !(lhs < nullptr);
- }
- template <typename T>
- bool operator>=(std::nullptr_t, not_null<T> const&rhs) {
- return !(nullptr < rhs);
- }
|