CSDN博客

img wtong

auto_ptr_ref的奇妙(上)

发表于2003/6/17 11:01:00  1715人阅读

分类: C++

 

auto_ptr_ref的奇妙(上)

auto_ptr是目前C++标准中唯一的一个智能指针(smart pointer),主要是用来自动管理指针所指向的内存资源。资源管理是程序设计中非常重要的一部分。资源(resource)是计算机中很宽泛的一个概念,用来表示程序中数量有限,用完就必须归还的东西,比如常见的互斥锁(mutex lock)、文件指针、Win32中的画刷(brush)……,其中内存(memory)是最常见的一种资源,也是我们最先接触,使用最多的一种资源,因此它的地位至关重要。它的地位到底重要到什么程度?对此有两种截然不同的理念:

1.内存资源是如此的重要,以至于我们不能把它们交给计算机来管理,而必须由程序员来管理。

2.内存资源是如此的重要,以至于我们不能把它们交给程序员来管理,而必须由计算机来管理。

JavaC#Eiffel秉承了第二种理念,把内存资源交给计算机管理,避免了程序员在内存管理上易犯的大量错误,从整体上提高了开发的效率,但是是以损失一定执行时间上的效率为代价的。因此这些语言在实时系统、操作系统、语言编译器……等一些对时间要求比较严格的领域中运用的很少。

C语言秉承了第一种理念,C++也随之继承了这种理念,从而也就把内存资源管理交给了程序员,对于高段C程序员,当然是给了他们更多的灵活性,可以编制出非常精美的艺术品,但是对于初学者和不那么高段的C程序员,内存管理却是麻烦的根源,带给他们更多的不是灵活性,而是挥之不去的连环噩梦。比如内存泄漏(memory leak)、野指针(wild pointer)等导致的一些极难察觉的bug,最后的调试除错可能会让我们觉得世界末日到了。【注1

1:不是有一种玩笑说法吗?真正的程序员用C(或C++),我想,难度颇高的,由程序员本人负责的内存管理可能是支持这个观点的一个重要理由。:)

但是在C++中有了另外一个管理内存(甚至资源)的选择,那就是智能指针(smart pointer),资源获取即初始化(resource acquisition is initialization)理念的具体实现。【注2

2:在C++的准标准Boost库中,引入了几个新的智能指针scoped_ptrscoped_arrayshared_ptrshared_arrayweak_ptr,相对于auto_ptr有它们的许多好处,感兴趣的读者可以到www.boost.org去看一看。Andrei Alexandrescu在他的Loki库中也专门用Policy设计实现了一个可以扩展的SmartPtr模板,里面用到的一些技术还是很有价值的,可以到http://sourceforge.net/projects/loki-lib/下载Loki库阅读

标准中auto_ptr的引入主要就是为了解决内存资源管理这个让人难以驯服的怪兽。不过在解决一个问题的同时,也会带来一些新的问题,auto_ptr本身有拥有权(ownership)的转移(transfer)问题,而且它本身不支持“值(value)语义”概念【注3】,因此不能用在STL容器里面作为元素使用,在比较新的编译器中,如果这样使用的话,编译器会阻止你。但是在稍微老一点的编译器中使用的话,很可能会无风无浪的编译通过,在执行的过程中,那么我恭喜你,其时你正在一个很长的雷区裸奔,能够毫发无损通过的概率那就只有天知道了。:)

3:关于这些概念,可以参考我写的《范式的二维平面》。

auto_ptr本身的正确使用在很多书中有详细的讲解和示例,而且我们也可以直接阅读auto_ptr的源代码获得更直观的感受。所以对于它的使用我不想再浪费时间和笔墨,在auto_ptr目前实现中【注4】,我们会看到一个奇怪的类模板auto_ptr_ref,第一次我在阅读《The C++ Standard Library》的时候,看到讲解auto_ptr的时候提到auto_ptr_ref就百思不得其解,说实话,这本书是写得非常清晰易懂的,不过我觉得在auto_ptr这个地方花的笔墨比较吝啬,没有完全把问题讲清楚。而且我看的很多书、文章上也并没有详细讲解这个auto_ptr_ref问题,今天我想来对此深入探讨一下,希望能够抛砖引玉。

4auto_ptr的早期实现中有一些bug,后来Nicolai M. Josuttis 对此认真修正了,并作出了一个实现。读者可以到http://www.josuttis.com/libbook/util/autoptr.hpp.html查看。代码本身并不长,我将它们全列在最下面了。读者最好对照代码看文章。其中关于成员函数模板,我并没有讲解,很多书上都有,主要是为了解决指针之间的转化,特别是对于多态指针。

auto_ptr_ref就像它的名字一样,把一个值转化为引用(reference),具体的说,也就是把一个右值(rvalue)转化为一个左值(lvalue)。【注5】我们可能会很奇怪,C++什么时候还需要用到这种功能?很不幸,为了保证auto_ptr的正确行为和一定的安全性,需要用到这个功能。

5:到底什么是左值,什么是右值?有许多让人混淆,并不明晰的概念表述,我会在下一篇文章中表明我的观点。

我们都知道,auto_ptr在进行复制操作(assignment operator and copy constructor)的时候,资源的拥有权(ownership)会发生转移,也即原来的auto_ptr所指向的内存资源转给了新的auto_ptr,本身已经为空。所以说auto_ptr不支持“值语义”,即被复制的值不会改变。一个例子可能更能说明问题:

auto_ptr<int> ap1(new int(9));

auto_ptr<int> ap2(ap1);// ap1失去拥有权,现在指向空,ap2现在获得指9//内存资源

ap1 = ap2;//ap2失去拥有权,现在指向空,ap1现在获得指向9的内存资源

我们在观察auto_ptrassignment operatorcopy constructor的实现时,也能够发现它的参数是auto_ptr& rhs,而不是auto_ptr const& rhs【注6】。也就是说,auto_ptr进行复制操作的时候,它的引数(argument)必须是一个可以改变的左值(事实是这个值必定被改变)。

6:这种写法你可能不习惯,其实就是const auto_ptr& rhs,我为什么要用这种写法,可以参考我写的《C之诡谲(下)》,就知道我并不是为了标新立异。:)

我们最常见到的,复制操作的参数类型都是引用到常量(reference to const),这正好是为了避免改变传进来的引数(argument)。由于不会改变被引用的值,所以C++标准规定:常量引用可以引用右值。比如下列代码都是合法的:

int const& ri = 60;//60是右值

list<int> const& rl = list<int>();//list<int>()是右值

int fun(){}; int const& rf = fun();//fun()是右值

但是一般引用(非常量引用)是绝对不可以引用右值的。比如下列代码都是非法的:

int& ri = 60;

list<int>& rl = list<int>();

int fun(){}; int& rf = fun();

to be continued!

吴桐写于2003.6.16

最近修改2003.6.16

0 0

相关博文

我的热门文章

img
取 消
img