20 #ifndef SPOT_MISC_UNIQUE_PTR_HH
21 # define SPOT_MISC_UNIQUE_PTR_HH
31 typedef const T* const_pointer;
68 ptr_ = non_const_up.ptr_;
69 non_const_up.ptr_ = 0;
73 template <
typename V>
friend unique_ptr<V> make_unique(V* ptr);
88 #endif // !SPOT_MISC_UNIQUE_PTR_HH
Take ownership of a pointer at its construction, and destroy it at the end of the scope...
Definition: unique_ptr.hh:28
unique_ptr< T > make_unique(T *ptr)
Change a pointer into a unique_ptr.
Definition: unique_ptr.hh:81