cpp-descriptive-pointers/include/pointers/pointer_fwd.hpp

//
//  pointer_fwd.hpp
//  memory
//
//  Created by Sam Jaffe on 8/8/16.
//

#pragma once

#include <stdexcept>

template <typename> class not_null;
template <typename> class maybe_null;
template <typename> class owner;
template <typename> class const_propogating_ptr;
template <typename> class const_ptr;

class unchecked_pointer_exception;

class null_pointer_exception : public std::invalid_argument {
  using std::invalid_argument::invalid_argument;
};

namespace detail {
  template <typename P> using is_nt_cc = std::is_nothrow_copy_constructible<P>;
  template <typename P> using is_nt_ca = std::is_nothrow_copy_assignable<P>;
  template <typename P> using is_nt_mc = std::is_nothrow_move_constructible<P>;
  template <typename P> using is_nt_ma = std::is_nothrow_move_assignable<P>;
  template <typename P, typename Y>
  using is_nt_c = std::is_nothrow_constructible<P, Y>;
  template <typename P, typename Y>
  using is_nt_a = std::is_nothrow_assignable<P, Y>;
}