《白话C++》第10章 STL和boost,Page70~72 boost::scoped_ptr

《泛型》篇中提到的某个IT项目的辩论会,

一派坚持智能指针和裸指针可以“离婚”,它们是std::auto_ptr的支持者,

一派认为智能指针和裸指针不可以“离婚”,boost::scoped_ptr体现了他们的观点:

boost::scoped_ptr基本用法:

《白话C++》第10章 STL和boost,Page70~72 boost::scoped_ptr_第1张图片

void testScopePtr()
{
    boost::scoped_ptr  ss (new S);
    if(ss) ///判断是否不空
    {
        ss->SetA(99);
        cout << ss->a << endl;
        (* ss).SetA(100); //和裸指针一样,也可以先用*取值
        cout << (*ss).a << endl;
    }
}

同样模拟了裸指针的功能(重载了“->”和“*”操作符);

还提供了是否为空的判断(重载了“!”操作符);

禁止了裸指针的偏移计算,比如:p++、p--、p+=5、p-=2等。

既然是智能指针,正如代码所演示的,不需要手工delete。

《白话C++》第10章 STL和boost,Page70~72 boost::scoped_ptr_第2张图片

scoped_ptr明确禁用拷贝构造和赋值操作(回忆一下boost::noncopyable),所以智能通过指针或引用的方式将scoped_ptr对象传给一个函数:

void foo4(boost::scoped_ptr const& csp)
{
    csp->SetA(100);

//    delete csp.get(); //代码阻止不了某些程序原的猥琐
}

《白话C++》第10章 STL和boost,Page70~72 boost::scoped_ptr_第3张图片

《白话C++》第10章 STL和boost,Page70~72 boost::scoped_ptr_第4张图片

正如52行代码注释说明的,程序员有权力强行释放智能指针返回(而非release)的裸指针,这让人欲哭无泪。公司的管理人员很大一部分工作,就是发现这样的程序员,然后劝退

现在scoped_ptr身上犯错,哪怕是新手,可能性也挺小的,你看:

scoped_ptr  sp1(new int);

scoped_ptr  sp2 = sp1; //这样不OK啦
scoped_ptr  sp3(sp1); //这样也不OK啦

甚至在构造时都不允许使用‘=’操作了,比如

scoped_ptr  sp4 = new int; //编译失败,简直是道德洁癖

scoped_ptr中的“scoped”意为“区域,范围”,所以它不仅信奉“从一而终”,而且信奉“老子”的“鸡犬之声相闻,民至老死不相往来”。

因为无法复制,所以当需要传递给函数时,只能以引用或指针形式传入真身,无法传值;用作函数返回值也一样。

scoped_ptr不支持在对象间复制,转移裸指针,但如果它对裸指针不满意,那它可以“谋杀”这个裸指针,然后自行换个新的,这个“谋杀”函数就是“reset()”:

scoped_ptr sp1(new int);
sp1.reset();//所拥有的指针被内部delete掉了
assert(!sp1);

调用reset()之后,sp1又恢复了自由身,现在它不拥有任何裸指针了,直到它看上新的:

boost::scoped_ptr  sp1 (new int);
*sp1 = 38;
sp1.reset(); //释放原有裸指针,恢复自由身
sp1.reset(new int(22)); //改为拥有传入的新指针
cout << *sp1 << endl;

甚至可以在“在谋杀的同时,娶的新人”:

boost::scoped_ptr  sp1(new int);
*sp1 = 38;
sp1.reset(new int(22)); //释放原有,改拥新指针

两个scoped_ptr可以交换所拥有的裸指针,方法是通过成员函数swap();

boost::scoped_ptr sp1(new int(0));
boost::scoped_ptr sp2(new int(1));
cout << *sp1 << endl;
cout << *sp2 << endl;
sp1.swap(sp2);
cout << *sp1 << endl;
cout << *sp2 << endl;

从一个指针管理的功能来看,释放指针(reset),释放指针并替换为新指针(reset(newPtr))、高效地交换两个指针都是必要的,这些功能也都不容易使用出错。

boost::scoped_ptr最本质的改进,就是不允许拥有权的“潜式”转移,也不提供直接交出所有权的操作(类似auto_ptr的release()函数)。

有关scoped_ptr最后也是最重要的问题是:一个变量只在一定范围(scope)内私用,可以自动释放,那不就是“栈”变量吗?为什么一定要使用scoped_ptr?对比一下代码:

使用栈变量 使用“scoped_ptr”

void foo()

{

        int a = 10;

        cout << a << endl;

        ...

}

void foo()

{

        scoped_ptr a (new int(10));

        cout << *a << endl;

        ...

}

很明显,右边使用的“scoped_ptr”方式纯属折腾,看不出任何必要性。

“面向对象”编程时,经常需要使用基类类型的指针,指向或创建派生类;如果有多种派生类,往往需要在运行期才能决定创建哪类对象,此时通常需要使用new操作以动态创建。如果这个堆对象正好符合“此处用完就删除”的特性,就可以使用scoped_ptr加以管理:

《白话C++》第10章 STL和boost,Page70~72 boost::scoped_ptr_第5张图片

《白话C++》第10章 STL和boost,Page70~72 boost::scoped_ptr_第6张图片

《白话C++》第10章 STL和boost,Page70~72 boost::scoped_ptr_第7张图片

《白话C++》第10章 STL和boost,Page70~72 boost::scoped_ptr_第8张图片

Foo函数中事先并不知道将创建AirPlane或Duck的对象,因此需要使用基类指针从堆中动态创建对象,而为了管理该堆对象,可以使用scoped_ptr。

《白话C++》第10章 STL和boost,Page70~72 boost::scoped_ptr_第9张图片

《白话C++》第10章 STL和boost,Page70~72 boost::scoped_ptr_第10张图片

你可能感兴趣的:(《白话C++》智能指针专辑,《白话C++》学习,《白话C++》第10章,STL和boost,c++,开发语言)