用智能指针可以简化内存管理。以树为例,如果用普通指针,通常是在插入新节点时用new,在析构函数中调用delete;但有了unique_ptr类型的智能指针,就不需要在析构函数中delete了,因为当unique_ptr类型的指针P生命结束时(比如对于局部变量,程序执行到局部变量的作用域范围之外),P会自动delete它拥有的资源(指针指向的空间)。对于shared_ptr,情况更加复杂一些,shared_ptr会维护一个use count,即有多少个指针共享这一资源,当use count为0时,资源被自动释放。
有一篇wiki专门解释了这种模式(将资源的获取与释放与对象的生命周期绑定),http://en.wikipedia.org/wiki/Resource_Acquisition_Is_Initialization
这篇文章主要关注unique_ptr,如果不熟悉,可以先读一下这个:http://www.cplusplus.com/reference/memory/unique_ptr/
这里用排序二叉树的简单实现来展示如何使用unique_ptr,我们只实现插入一个int,以及中序遍历输出所有数字的功能,这已经足以解释unique_ptr的使用方法(其实是,我不太会写二叉树的平衡- -)
TreeNode代表一个树节点,包括一个int值,和指向左右子树的智能指针。我们在TreeNode和BST里都实现了insert(int)和inOrder(),BST中的方法基本上是调用TreeNode的对应方法(BST的方法只是一个wrapper,真正干活的是TreeNode里的对应方法)
#include <cstdio>
#include <iostream>
#include <sstream>
#include <string>
#include <memory>
using namespace std;
class TreeNode{
public:
unique_ptr<TreeNode> left;
unique_ptr<TreeNode> right;
int val;
TreeNode(){}
TreeNode(int value): val(value){}
void insert(int value){
if (value <= val) {
if (left) {
left->insert(value);
} else {
left.reset(new TreeNode(value));
}
} else {
if (right) {
right->insert(value);
} else {
right.reset(new TreeNode(value));
}
}
}
void inOrder(stringstream& ss){
if (left){
left->inOrder(ss);
}
ss << val << " ";
if (right) {
right->inOrder(ss);
}
}
};
class BST {
public:
BST ();
virtual ~BST ();
void insert(int value);
string inOrder();
private:
unique_ptr<TreeNode> root;
};
BST::BST(){}
BST::~BST(){}
void BST::insert(int value){
if(root){
root->insert(value);
} else {
root.reset(new TreeNode(value));
}
}
string BST::inOrder(){
if (root) {
stringstream ss;
root->inOrder(ss);
return ss.str();
} else {
return "";
} }
int main(int argc, const char *argv[])
{
BST bst;
bst.insert();
bst.insert();
bst.insert();
bst.insert();
cout << bst.inOrder() << endl;
return ;
}
有人提到可能要把TreeNode指定为NonCopyable,见http://*.com/questions/6679482/smart-pointers-for-modelling-a-general-tree-structure-its-iterators,挺有道理的,这个实现不算复杂,可以参考http://en.wikibooks.org/wiki/More_C%2B%2B_Idioms/Non-copyable_Mixin