// 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): // { // scoped_ptr foo(new Foo("wee")); // } // foo goes out of scope, releasing the pointer with it. // // { // scoped_ptr foo; // No pointer managed. // foo.reset(new Foo("wee")); // Now a pointer is managed. // foo.reset(new Foo("wee2")); // Foo("wee") was destroyed. // foo.reset(new Foo("wee3")); // Foo("wee2") was destroyed. // foo->Method(); // Foo::Method() called. // foo.get()->Method(); // Foo::Method() called. // SomeFunc(foo.release()); // SomeFunc takes ownership, foo no longer // // manages a pointer. // foo.reset(new Foo("wee4")); // foo manages a pointer again. // foo.reset(); // Foo("wee4") destroyed, foo no longer // // manages a pointer. // } // foo wasn't managing a pointer, so nothing was destroyed. // // Example usage (scoped_ptr): // { // scoped_ptr foo(new Foo[100]); // foo.get()->Method(); // Foo::Method on the 0th element. // foo[10].Method(); // Foo::Method on the 10th element. // } // // Scopers are testable as booleans: // { // scoped_ptr foo; // if (!foo) // foo.reset(new Foo()); // if (foo) // LOG(INFO) << "This code is reached." // } // // These scopers also implement part of the functionality of C++11 unique_ptr // in that they are "movable but not copyable." You can use the scopers in // the parameter and return types of functions to signify ownership transfer // in to and out of a function. When calling a function that has a scoper // as the argument type, it must be called with an rvalue of a scoper, which // can be created by using std::move(), or the result of another function that // generates a temporary; passing by copy will NOT work. Here is an example // using scoped_ptr: // // void TakesOwnership(scoped_ptr arg) { // // Do something with arg. // } // scoped_ptr CreateFoo() { // // No need for calling std::move() for returning a move-only value, or // // when you already have an rvalue as we do here. // return scoped_ptr(new Foo("new")); // } // scoped_ptr PassThru(scoped_ptr arg) { // return arg; // } // // { // scoped_ptr ptr(new Foo("yay")); // ptr manages Foo("yay"). // TakesOwnership(std::move(ptr)); // ptr no longer owns Foo("yay"). // scoped_ptr ptr2 = CreateFoo(); // ptr2 owns the return Foo. // scoped_ptr ptr3 = // ptr3 now owns what was in ptr2. // PassThru(std::move(ptr2)); // ptr2 is correspondingly nullptr. // } // // Notice that if you do not call std::move() when returning from PassThru(), or // when invoking TakesOwnership(), the code will not compile because scopers // are not copyable; they only implement move semantics which require calling // the std::move() function to signify a destructive transfer of state. // CreateFoo() is different though because we are constructing a temporary on // the return line and thus can avoid needing to call std::move(). // // The conversion move-constructor properly handles upcast in initialization, // i.e. you can use a scoped_ptr to initialize a scoped_ptr: // // scoped_ptr foo(new Foo()); // scoped_ptr parent(std::move(foo)); #ifndef BASE_MEMORY_SCOPED_PTR_H_ #define BASE_MEMORY_SCOPED_PTR_H_ // This is an implementation designed to match the anticipated future TR2 // implementation of the scoped_ptr class. // TODO(dcheng): Clean up these headers, but there are likely lots of existing // IWYU violations. #include #include template > using scoped_ptr = std::unique_ptr; // A function to convert T* into scoped_ptr // Doing e.g. make_scoped_ptr(new FooBarBaz(arg)) is a shorter notation // for scoped_ptr >(new FooBarBaz(arg)) template scoped_ptr make_scoped_ptr(T* ptr) { return scoped_ptr(ptr); } #endif // BASE_MEMORY_SCOPED_PTR_H_