什么是自动指针auto_ptr,为什么没有自动数组
auto_ptr 是一个非常简单的句柄类的例子,在<memory>中定义,通过“资源获得即初始化”技术支持异常安全。auto_ptr 保存着一个指针,能够象指针一样被使用,并在生存期结束时释放指向的对象。举例:
#include<memory>
using namespace std;
struct X {
int m;
// ..
};
void f(){
auto_ptr<X> p(new X);
X* q = new X;
p->m++; // 象一个指针一样使用p
q->m++;
// ...
delete q;
}
如果在...部分抛出了一个异常,p 持有的对象将被auto_ptr 的析构函数正确地释放,而q 指向的X 对象则产生了内存泄漏。
auto_ptr 是一个非常简单的类。特别地,它不是一个引用计数(reference counted)的指针。如果你将一个auto_ptr 赋值给另一个,那么被赋值的auto_ptr 将持有指针,而原来的auto_ptr 将持有0。举例:
#include<memory>
#include<iostream>
using namespace std;
struct X {
int m;
// ..
};
int main(){
auto_ptr<X> p(new X);
auto_ptr<X> q(p);
cout << "p " << p.get() << " q " << q.get() << "\n";
}
将会打印出一个指向0 的指针和一个指向非0 的指针。例如:
p 0x0 q 0x378d0
auto_ptr::get()返回那个辅助的指针。
这种“转移”语义不同于通常的“复制”语义,这是令人惊讶的。特别地,永远不要使用auto_ptr 作为一个标准容器的成员。标准容器需要通常的“复制”语义。例如:
std::vector<auto_ptr<X> >v; // 错误
auto_ptr 只持有指向一个单独元素的指针,而不是指向一个数组的指针:
void f(int n){
auto_ptr<X> p(new X[n]); //错误
// ...
}
这是错误的,因为析构函数会调用delete 而不是delete[]来释放指针,这样就不会调用余下的n-1 个X 的析构函数。
那么我们需要一个auto_array 来持有数组吗?不。没有auto_array。原因是根本没有这种需要。更好的解决方案是使用vector:
void f(int n){
vector<X> v(n);
// ...
}
当...部分发生异常时,v 的析构函数会被正确地调用。
#include<memory>
using namespace std;
struct X {
int m;
// ..
};
void f(){
auto_ptr<X> p(new X);
X* q = new X;
p->m++; // 象一个指针一样使用p
q->m++;
// ...
delete q;
}
如果在...部分抛出了一个异常,p 持有的对象将被auto_ptr 的析构函数正确地释放,而q 指向的X 对象则产生了内存泄漏。
auto_ptr 是一个非常简单的类。特别地,它不是一个引用计数(reference counted)的指针。如果你将一个auto_ptr 赋值给另一个,那么被赋值的auto_ptr 将持有指针,而原来的auto_ptr 将持有0。举例:
#include<memory>
#include<iostream>
using namespace std;
struct X {
int m;
// ..
};
int main(){
auto_ptr<X> p(new X);
auto_ptr<X> q(p);
cout << "p " << p.get() << " q " << q.get() << "\n";
}
将会打印出一个指向0 的指针和一个指向非0 的指针。例如:
p 0x0 q 0x378d0
auto_ptr::get()返回那个辅助的指针。
这种“转移”语义不同于通常的“复制”语义,这是令人惊讶的。特别地,永远不要使用auto_ptr 作为一个标准容器的成员。标准容器需要通常的“复制”语义。例如:
std::vector<auto_ptr<X> >v; // 错误
auto_ptr 只持有指向一个单独元素的指针,而不是指向一个数组的指针:
void f(int n){
auto_ptr<X> p(new X[n]); //错误
// ...
}
这是错误的,因为析构函数会调用delete 而不是delete[]来释放指针,这样就不会调用余下的n-1 个X 的析构函数。
那么我们需要一个auto_array 来持有数组吗?不。没有auto_array。原因是根本没有这种需要。更好的解决方案是使用vector:
void f(int n){
vector<X> v(n);
// ...
}
当...部分发生异常时,v 的析构函数会被正确地调用。