最近在写语法分析器,构造AST的时候,发现很容易出现内存泄漏。于是想着找个智能指针来用用,先看看stl的auto_ptr。
- 例子1
class A{
public:
A(){ cout<<"a construct\n";}
~A(){ cout<<"a destruct\n";}
};
auto_ptr<A> fun(){
auto_ptr<A> aa(new A());
return aa;
}
int main() {
auto_ptr<A> ptr = fun();
cout<<"end\n";
return 0;
}
结果:
a construct
end
a destruct
Process finished with exit code 0
将auto_ptr<A> ptr = fun();
改成fun();
结果如下:
a construct
a destruct
end
说明了函数在返回的时候发现没有值的传递,autoptr的作用域就还在函数里,函数结束就立即销毁。如果有传递,作用域就到了main函数里,自然在最后销毁。
- 例子2
class A{
public:
string name;
A(string s){ name = s;cout<<"construct\n";}
~A(){ cout<<"destruct\n";}
void dosth(){cout<<name;}
};
auto_ptr<A> fun(auto_ptr<A> a){
auto_ptr<A> pa = a;
pa->dosth();
return pa;
}
int main() {
auto_ptr<A> b(new A("I'm b\n"));
fun(b);
b->dosth();
cout<<"end\n";
return 0;
}
结果:
construct
I'm b
destruct
Process finished with exit code 11
在执行到b->dosth();
的时候crash了。因为传递参数进去之后,赋值语句将a
的权限给了pa
所以a变成了一种野指针,这在实际软件编写中或许会是很隐蔽的错误。
再看unique_ptr,是c++11中加入的,查了下资料,发现它和auto_ptr是很像的,都是只能自己接管一个对象,不能多个ptr共享一个对象。唯一区别是unique_ptr复制和赋值的时候,需要调用move函数显示说明一下。避免了隐蔽发生的错误。
再看shared_ptr。维护一个引用计数。一旦最后一个这样的指针被销毁,也就是一旦某个对象的引用计数变为0,这个对象会被自动删除。因此对对象的所有权不再是独享了,可以放心的把它放入STL容器中了。
- 例子
class A{
public:
string name;
A(string s){ name = s;cout<<"construct\n";}
~A(){ cout<<"destruct\n";}
void dosth(){cout<<name;}
};
shared_ptr<A> fun(shared_ptr<A> a){
shared_ptr<A> pa = a;
pa->dosth();
return pa;
}
int main() {
shared_ptr<A> b(new A("I'm b\n"));
fun(b);
b->dosth();
cout<<"end\n";
return 0;
}
结果:
construct
I'm b
I'm b
end
destruct
Process finished with exit code 0