《STL原始碼剖析》-- memory

凝霜發表於2011-07-27
原始碼
// Filename:    memory

// Comment By:  凝霜
// E-mail:      mdl2009@vip.qq.com
// Blog:        http://blog.csdn.net/mdl13412

// 智慧指標在STL中只有一個auto_ptr, 用於對原生指標的生命週期進行管理,
// 但是其本身有許多另其不安全的特性, 例如以一個auto_ptr去構造另一個
// auto_ptr會導致物件所有權的轉移, 另外如果兩個只能指標同時指向一個
// 原聲指標就可能導致指標被意外的提前釋放, 另一個auto_ptr對其解引用時,
// 就會導致錯誤
//
// C++0x已經通過了::Boost::scoped_ptr的決案, 所以任何使用auto_ptr的
// 情景都應該使用scoped_ptr替代, 因為其更安全, 但是仍然不能解決多個
// 智慧指標同時擁有一個物件導致的提前釋放問題, 要解決這個問題, 請使用
// ::Boost::shared_ptr

// 我部落格中還有一個我實現的auto_ptr, 大家可以參考
// http://blog.csdn.net/mdl13412/article/details/6244631

/*
 * Copyright (c) 1997
 * Silicon Graphics Computer Systems, Inc.
 *
 * Permission to use, copy, modify, distribute and sell this software
 * and its documentation for any purpose is hereby granted without fee,
 * provided that the above copyright notice appear in all copies and
 * that both that copyright notice and this permission notice appear
 * in supporting documentation.  Silicon Graphics makes no
 * representations about the suitability of this software for any
 * purpose.  It is provided "as is" without express or implied warranty.
 *
 */

#ifndef __SGI_STL_MEMORY
#define __SGI_STL_MEMORY

#include <stl_algobase.h>
#include <stl_alloc.h>
#include <stl_construct.h>
#include <stl_tempbuf.h>
#include <stl_uninitialized.h>
#include <stl_raw_storage_iter.h>

// Note: auto_ptr is commented out in this release because the details
//  of the interface are still being discussed by the C++ standardization
//  committee.  It will be included once the iterface is finalized.

#if 0
#if defined(_MUTABLE_IS_KEYWORD) && defined(_EXPLICIT_IS_KEYWORD) && \
    defined(__STL_MEMBER_TEMPLATES)

__STL_BEGIN_NAMESPACE

template <class X> class auto_ptr
{
private:
  X* ptr;               // 託管的原生指標
  mutable bool owns;    // 是否擁有託管指標
public:
  typedef X element_type;

  // 顯式建構函式, 防止隱式轉換
  // 通常接收一個原生指標進行構造
  // 建構函式不能失敗, 故不能丟擲異常
  explicit auto_ptr(X* p = 0) __STL_NOTHROW : ptr(p), owns(p) {}

  // auto_ptr 可以以相同型別的 auto_ptr 進行構造
  // 注意: 物件所有權發生轉移, 用於構造的只能指標釋放物件所有權
  auto_ptr(const auto_ptr& a) __STL_NOTHROW : ptr(a.ptr), owns(a.owns) {
    a.owns = 0;
  }

  // auto_ptr 可以以另一種相關型別的 auto_ptr 進行構造
  // 注意: T 必須能轉換成 X 型別, 物件所有權發生轉移
  template <class T> auto_ptr(const auto_ptr<T>& a) __STL_NOTHROW
    : ptr(a.ptr), owns(a.owns) {
      a.owns = 0;
  }

  // 過載operator =, 首先判斷是否是本身, 如果不是則進行物件所有權的轉移
  auto_ptr& operator=(const auto_ptr& a) __STL_NOTHROW {
    if (&a != this) {
      if (owns)
        delete ptr;
      owns = a.owns;
      ptr = a.ptr;
      a.owns = 0;
    }
    // 個人感覺應該在此加上
    // return *this;
  }

  // 和上面的operator =功能一樣, 但是提供了相容型別的轉換操作
  template <class T> auto_ptr& operator=(const auto_ptr<T>& a) __STL_NOTHROW {
    if (&a != this) {
      if (owns)
        delete ptr;
      owns = a.owns;
      ptr = a.ptr;
      a.owns = 0;
    }

    // 個人感覺應該在此加上
    // return *this;
  }

  // auto_ptr生命週期結束, 釋放物件所有權, 實現資源釋放目的
  ~auto_ptr() {
    if (owns)
      delete ptr;
  }

  // 提供和原生指標一樣的操作
  X& operator*() const __STL_NOTHROW { return *ptr; }
  X* operator->() const __STL_NOTHROW { return ptr; }

  // 獲取原生指標的地址, 主要用於一些只接受原生指標的函式
  X* get() const __STL_NOTHROW { return ptr; }
  // 釋放指標所有權, 並返回原生指標
  // 主要用於取消指標託管
  X* release const __STL_NOTHROW { owns = false; return ptr }
};

__STL_END_NAMESPACE
#endif /* mutable && explicit && member templates */
#endif /* 0 */


#endif /* __SGI_STL_MEMORY */


// Local Variables:
// mode:C++
// End:

相關文章