1 files changed, 53 insertions, 0 deletions
diff --git a/boost/contract/detail/auto_ptr.hpp b/boost/contract/detail/auto_ptr.hpp
new file mode 100644
index 0000000000..e76945ce9c
--- /dev/null
+++ b/boost/contract/detail/auto_ptr.hpp
@@ -0,0 +1,53 @@
+
+#ifndef BOOST_CONTRACT_DETAIL_AUTO_PTR_HPP_
+#define BOOST_CONTRACT_DETAIL_AUTO_PTR_HPP_
+
+// Copyright (C) 2008-2018 Lorenzo Caminiti
+// Distributed under the Boost Software License, Version 1.0 (see accompanying
+// file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
+// See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
+
+#include <boost/contract/detail/operator_safe_bool.hpp>
+#include <boost/contract/detail/debug.hpp>
+#include <boost/config.hpp>
+
+namespace boost { namespace contract { namespace detail {
+
+// Using this instead of std::auto_ptr because std::auto_ptr will be removed in
+// C++17 (this library always uses release() to avoid ownership issues).
+template<typename T>
+class auto_ptr { // Copyable (using default copy operations).
+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_;
+};
+
+} } } // namespace
+
+#endif // #include guard
+