smart-pointers.h 4.95 KB
Newer Older
1
// Copyright 2011 the V8 project authors. All rights reserved.
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are
// met:
//
//     * Redistributions of source code must retain the above copyright
//       notice, this list of conditions and the following disclaimer.
//     * Redistributions in binary form must reproduce the above
//       copyright notice, this list of conditions and the following
//       disclaimer in the documentation and/or other materials provided
//       with the distribution.
//     * Neither the name of Google Inc. nor the names of its
//       contributors may be used to endorse or promote products derived
//       from this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

28 29
#ifndef V8_SMART_POINTERS_H_
#define V8_SMART_POINTERS_H_
30

31 32
namespace v8 {
namespace internal {
33 34


35 36
template<typename Deallocator, typename T>
class SmartPointerBase {
37
 public:
38
  // Default constructor. Constructs an empty scoped pointer.
39
  inline SmartPointerBase() : p_(NULL) {}
40

41
  // Constructs a scoped pointer from a plain one.
42
  explicit inline SmartPointerBase(T* ptr) : p_(ptr) {}
43 44 45

  // Copy constructor removes the pointer from the original to avoid double
  // freeing.
46 47 48
  inline SmartPointerBase(const SmartPointerBase<Deallocator, T>& rhs)
      : p_(rhs.p_) {
    const_cast<SmartPointerBase<Deallocator, T>&>(rhs).p_ = NULL;
49 50
  }

51 52 53
  // When the destructor of the scoped pointer is executed the plain pointer
  // is deleted using DeleteArray.  This implies that you must allocate with
  // NewArray.
54
  inline ~SmartPointerBase() { if (p_) Deallocator::Delete(p_); }
55

56
  inline T* operator->() const { return p_; }
57

58
  // You can get the underlying pointer out with the * operator.
59
  inline T* operator*() { return p_; }
60

61
  // You can use [n] to index as if it was a plain pointer.
62
  inline T& operator[](size_t i) {
63
    return p_[i];
64
  }
65

66 67 68 69 70
  // You can use [n] to index as if it was a plain pointer.
  const inline T& operator[](size_t i) const {
    return p_[i];
  }

71 72
  // We don't have implicit conversion to a T* since that hinders migration:
  // You would not be able to change a method from returning a T* to
73
  // returning an SmartArrayPointer<T> and then get errors wherever it is used.
74 75 76 77 78 79


  // If you want to take out the plain pointer and don't want it automatically
  // deleted then call Detach().  Afterwards, the smart pointer is empty
  // (NULL).
  inline T* Detach() {
80 81
    T* temp = p_;
    p_ = NULL;
82 83 84
    return temp;
  }

85 86 87 88 89
  inline void Reset(T* new_value) {
    if (p_) Deallocator::Delete(p_);
    p_ = new_value;
  }

90
  // Assignment requires an empty (NULL) SmartArrayPointer as the receiver. Like
91 92
  // the copy constructor it removes the pointer in the original to avoid
  // double freeing.
93 94
  inline SmartPointerBase<Deallocator, T>& operator=(
      const SmartPointerBase<Deallocator, T>& rhs) {
95
    ASSERT(is_empty());
96
    T* tmp = rhs.p_;  // swap to handle self-assignment
97
    const_cast<SmartPointerBase<Deallocator, T>&>(rhs).p_ = NULL;
98
    p_ = tmp;
99 100 101
    return *this;
  }

102
  inline bool is_empty() { return p_ == NULL; }
103

104
 private:
105
  T* p_;
106 107
};

108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131
// A 'scoped array pointer' that calls DeleteArray on its pointer when the
// destructor is called.

template<typename T>
struct ArrayDeallocator {
  static void Delete(T* array) {
    DeleteArray(array);
  }
};


template<typename T>
class SmartArrayPointer: public SmartPointerBase<ArrayDeallocator<T>, T> {
 public:
  inline SmartArrayPointer() { }
  explicit inline SmartArrayPointer(T* ptr)
      : SmartPointerBase<ArrayDeallocator<T>, T>(ptr) { }
  inline SmartArrayPointer(const SmartArrayPointer<T>& rhs)
      : SmartPointerBase<ArrayDeallocator<T>, T>(rhs) { }
};


template<typename T>
struct ObjectDeallocator {
132 133
  static void Delete(T* object) {
    delete object;
134 135 136
  }
};

137

138 139 140 141 142 143 144 145 146 147
template<typename T>
class SmartPointer: public SmartPointerBase<ObjectDeallocator<T>, T> {
 public:
  inline SmartPointer() { }
  explicit inline SmartPointer(T* ptr)
      : SmartPointerBase<ObjectDeallocator<T>, T>(ptr) { }
  inline SmartPointer(const SmartPointer<T>& rhs)
      : SmartPointerBase<ObjectDeallocator<T>, T>(rhs) { }
};

148 149
} }  // namespace v8::internal

150
#endif  // V8_SMART_POINTERS_H_