Add std::unique_ptr conversions to scoped_ptr.

base/memory/scoped_ptr.h

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // Scopers help you manage ownership of a pointer, helping you easily manage a
 // pointer within a scope, and automatically destroying the pointer at the end
 // of a scope.  There are two main classes you will use, which correspond to the
 // operators new/delete and new[]/delete[].
 //
 // Example usage (scoped_ptr<T>):
@@ skipping 68 matching lines @@
 
 // This is an implementation designed to match the anticipated future TR2
 // implementation of the scoped_ptr class.
 
 #include <assert.h>
 #include <stddef.h>
 #include <stdlib.h>
 
 #include <algorithm>  // For std::swap().
 #include <iosfwd>
+#include <memory>
+#include <utility>
 
 #include "base/basictypes.h"
 #include "base/compiler_specific.h"
 #include "base/move.h"
 #include "base/template_util.h"
 
 namespace base {
 
 namespace subtle {
 class RefCountedBase;
 class RefCountedThreadSafeBase;
 }  // namespace subtle
 
-// Function object which deletes its parameter, which must be a pointer.
-// If C is an array type, invokes 'delete[]' on the parameter; otherwise,
-// invokes 'delete'. The default deleter for scoped_ptr<T>.
-template <class T>
-struct DefaultDeleter {

[dcheng, 2015/11/11 16:18:34]

I tried using a type alias, but apparently the standard doesn't permit that
("elaborated type refers to a type alias template"). 

-  DefaultDeleter() {}
-  template <typename U> DefaultDeleter(const DefaultDeleter<U>& other) {
-    // IMPLEMENTATION NOTE: C++11 20.7.1.1.2p2 only provides this constructor
-    // if U* is implicitly convertible to T* and U is not an array type.
-    //
-    // Correct implementation should use SFINAE to disable this
-    // constructor. However, since there are no other 1-argument constructors,
-    // using a COMPILE_ASSERT() based on is_convertible<> and requiring
-    // complete types is simpler and will cause compile failures for equivalent
-    // misuses.
-    //
-    // Note, the is_convertible<U*, T*> check also ensures that U is not an
-    // array. T is guaranteed to be a non-array, so any U* where U is an array
-    // cannot convert to T*.
-    enum { T_must_be_complete = sizeof(T) };
-    enum { U_must_be_complete = sizeof(U) };
-    COMPILE_ASSERT((base::is_convertible<U*, T*>::value),
-                   U_ptr_must_implicitly_convert_to_T_ptr);
-  }
-  inline void operator()(T* ptr) const {
-    enum { type_must_be_complete = sizeof(T) };
-    delete ptr;
-  }
-};
-
-// Specialization of DefaultDeleter for array types.
-template <class T>
-struct DefaultDeleter<T[]> {
-  inline void operator()(T* ptr) const {
-    enum { type_must_be_complete = sizeof(T) };
-    delete[] ptr;
-  }
-
- private:
-  // Disable this operator for any U != T because it is undefined to execute
-  // an array delete when the static type of the array mismatches the dynamic
-  // type.
-  //
-  // References:
-  //   C++98 [expr.delete]p3
-  //   http://cplusplus.github.com/LWG/lwg-defects.html#938
-  template <typename U> void operator()(U* array) const;
-};
-
-template <class T, int n>
-struct DefaultDeleter<T[n]> {
-  // Never allow someone to declare something like scoped_ptr<int[10]>.
-  COMPILE_ASSERT(sizeof(T) == -1, do_not_use_array_with_size_as_type);
-};
-
 // Function object which invokes 'free' on its parameter, which must be
 // a pointer. Can be used to store malloc-allocated pointers in scoped_ptr:
 //
 // scoped_ptr<int, base::FreeDeleter> foo_ptr(
 //     static_cast<int*>(malloc(sizeof(int))));
 struct FreeDeleter {
   inline void operator()(void* ptr) const {
     free(ptr);
   }
 };
@@ skipping 34 matching lines @@
   template <typename U, typename V>
   scoped_ptr_impl(scoped_ptr_impl<U, V>* other)
       : data_(other->release(), other->get_deleter()) {
     // We do not support move-only deleters.  We could modify our move
     // emulation to have base::subtle::move() and base::subtle::forward()
     // functions that are imperfect emulations of their C++11 equivalents,
     // but until there's a requirement, just assume deleters are copyable.
   }
 
   template <typename U, typename V>
+  void TakeState(std::unique_ptr<U, V>* other) {
+    reset(other->release());
+    get_deleter() = other->get_deleter();
+  }
+
+  template <typename U, typename V>
   void TakeState(scoped_ptr_impl<U, V>* other) {
     // See comment in templated constructor above regarding lack of support
     // for move-only deleters.
     reset(other->release());
     get_deleter() = other->get_deleter();
   }
 
   ~scoped_ptr_impl() {
     // Match libc++, which calls reset() in its destructor.
     // Use nullptr as the new value for three reasons:
@@ skipping 75 matching lines @@
 //
 // The size of scoped_ptr is small. On most compilers, when using the
 // DefaultDeleter, sizeof(scoped_ptr<T>) == sizeof(T*). Custom deleters will
 // increase the size proportional to whatever state they need to have. See
 // comments inside scoped_ptr_impl<> for details.
 //
 // Current implementation targets having a strict subset of  C++11's
 // unique_ptr<> features. Known deficiencies include not supporting move-only
 // deleteres, function pointers as deleters, and deleters with reference
 // types.
-template <class T, class D = base::DefaultDeleter<T> >
+template <class T, class D = std::default_delete<T>>
 class scoped_ptr {
   MOVE_ONLY_TYPE_WITH_MOVE_CONSTRUCTOR_FOR_CPP_03(scoped_ptr)
 
   COMPILE_ASSERT(base::internal::IsNotRefCounted<T>::value,
                  T_is_refcounted_type_and_needs_scoped_refptr);
 
  public:
   // The element and deleter types.
   typedef T element_type;
   typedef D deleter_type;
@@ skipping 98 matching lines @@
   }
 
   // Release a pointer.
   // The return value is the current pointer held by this object. If this object
   // holds a nullptr, the return value is nullptr. After this operation, this
   // object will hold a nullptr, and will not own the object any more.
   element_type* release() WARN_UNUSED_RESULT {
     return impl_.release();
   }
 
+  // Conversion shims to help with the std::unique_ptr transition.
+  template <typename U, typename V>
+  scoped_ptr(std::unique_ptr<U, V>&& p)
+      : impl_(p.release(), p.get_deleter()) {}
+
+  template <typename U, typename V>
+  scoped_ptr& operator=(std::unique_ptr<U, V>&& p) {
+    impl_.TakeState(&p);
+    return *this;
+  }
+
+  template <typename U, typename V>
+  operator std::unique_ptr<U, V>() && {

[danakj, 2015/11/14 01:29:31]

Vlad pointed out that this doesn't work yet in MSVC 2013:
https://msdn.microsoft.com/en-us/library/hh567368.aspx#corelanguagetable

It's a nice thought though. :(

Other options include a ToUnique(scoped_ptr*) function? Or maybe
ToUnique(scoped_ptr&&) but ya. Not ideal..

Or scoped_ptr::PassToUnique().

Maybe that would be enough, if we make base::Callback hold a unique_ptr
internally (base::Passed converts unique or scoped ptr into a unique_ptr
inside). Then when the Callback::Run() happens, it could implicitly convert to a
scoped_ptr if the function wanted that?

In code transitioning to unique_ptr, they'd have to call some explicit thing at
the place they wanted to move to unique_ptr, but not when they went back again.
It's again not awesome, but it's something.

Other ideas?

[dcheng, 2015/11/14 01:37:10]

Argh. That's obnoxious. Having asymmetrical ways to convert back and forth would
feel really clunky, especially in //base.

Maybe the best approach is to just make the interface match as closely as
possible and then typedef it.

+    return std::unique_ptr<U, V>(release(), get_deleter());
+  }
+
  private:
   // Needed to reach into |impl_| in the constructor.
   template <typename U, typename V> friend class scoped_ptr;
   base::internal::scoped_ptr_impl<element_type, deleter_type> impl_;
 
   // Forbidden for API compatibility with std::unique_ptr.
   explicit scoped_ptr(int disallow_construction_from_null);
 
   // Forbid comparison of scoped_ptr types.  If U != T, it totally
   // doesn't make sense, and if U == T, it still doesn't make sense
@@ skipping 85 matching lines @@
   }
 
   // Release a pointer.
   // The return value is the current pointer held by this object. If this object
   // holds a nullptr, the return value is nullptr. After this operation, this
   // object will hold a nullptr, and will not own the object any more.
   element_type* release() WARN_UNUSED_RESULT {
     return impl_.release();
   }
 
+  // Conversion shims to help with the std::unique_ptr transition.
+  scoped_ptr(std::unique_ptr<T[], D>&& p)

[dcheng, 2015/11/11 16:18:34]

To keep things simple, the T[] specializations just forbid conversions of any
sort.

[danakj, 2015/11/14 01:29:31]

Can you put that in the comment?

+      : impl_(p.release(), p.get_deleter()) {}
+
+  scoped_ptr& operator=(std::unique_ptr<T[], D>&& p) {
+    impl_.TakeState(&p);
+    return *this;
+  }
+
+  operator std::unique_ptr<T[], D>() && {

[danakj, 2015/11/14 01:29:31]

explain the && here too

[danakj, 2015/11/14 01:30:06]

oops, nevermind this one.

+    return std::unique_ptr<T[], D>(release(), get_deleter());
+  }
+
  private:
   // Force element_type to be a complete type.
   enum { type_must_be_complete = sizeof(element_type) };
 
   // Actually hold the data.
   base::internal::scoped_ptr_impl<element_type, deleter_type> impl_;
 
   // Disable initialization from any type other than element_type*, by
   // providing a constructor that matches such an initialization, but is
   // private and has no definition. This is disabled because it is not safe to
@@ skipping 38 matching lines @@
 scoped_ptr<T> make_scoped_ptr(T* ptr) {
   return scoped_ptr<T>(ptr);
 }
 
 template <typename T>
 std::ostream& operator<<(std::ostream& out, const scoped_ptr<T>& p) {
   return out << p.get();
 }
 
 #endif  // BASE_MEMORY_SCOPED_PTR_H_