1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253 |
- #ifndef BOOST_CONTRACT_DETAIL_AUTO_PTR_HPP_
- #define BOOST_CONTRACT_DETAIL_AUTO_PTR_HPP_
- #include <boost/contract/detail/operator_safe_bool.hpp>
- #include <boost/contract/detail/debug.hpp>
- #include <boost/config.hpp>
- namespace boost { namespace contract { namespace detail {
- template<typename T>
- class auto_ptr {
- public:
- explicit auto_ptr(T* ptr = 0) : ptr_(ptr) {}
- ~auto_ptr() BOOST_NOEXCEPT_IF(false) { delete ptr_; }
- T* release() {
- T* ptr = ptr_;
- ptr_ = 0;
- return ptr;
- }
- T& operator*() {
- BOOST_CONTRACT_DETAIL_DEBUG(ptr_);
- return *ptr_;
- }
-
- T const& operator*() const {
- BOOST_CONTRACT_DETAIL_DEBUG(ptr_);
- return *ptr_;
- }
- T* operator->() { return ptr_; }
- T const* operator->() const { return ptr_; }
- BOOST_CONTRACT_DETAIL_OPERATOR_SAFE_BOOL(auto_ptr<T>, !!ptr_)
- private:
- T* ptr_;
- };
- } } }
- #endif
|