C_and_CPP 版 (精华区)

发信人: seaboy (浪小), 信区: C_and_CPP
标  题: Getting to the Point 
发信站: 哈工大紫丁香 (2003年06月23日08:38:38 星期一), 站内信件

Getting to the Point 
WQ翻译

-------------------------------------------------------------------------------
-

“啊！” 

这一个小时内我第七次受挫后的大叫。 温迪明显不胜其扰了。”瞧瞧，朋友，安静一下，
好吧？”她的声音飘过隔间。我觉得她的反应比以前好多了。 

我以前就和auto_ptrs搏斗过了。在为Guru干活的最初几天内，我已经领教过auto_ptrs的
价值了－以及它那不显眼的陷阱[1]. 我已经被auto_ptr那奇怪的所有权问题扎过一次了。
auto_ptr使用伪装为拷贝操作的移交操作。想像一下这种情况: 你在操作一个复印机，放
上你的表格，然后按 “拷贝”按钮。过了一会儿，复印机给你副本－然后将原件送入碎纸
器。这就是auto_ptr的拷贝和赋值操作干的好事。 

无论如何，我现在已经更聪明和更富有经验了，可仍然正陷入在auto_ptr的形形色色的限
制之中。比如说，auto_ptr不能用来包容指向数组的指针。我玩弄了一个Hacking的技巧来
绕开它，通过使用显式的数组delete： 

auto_ptr<T> autoArray(new T[10]);

//...

delete [] autoArray.release;()

但立刻就后悔了。我可以预见到这个 “面目可憎的东西”(Guru会也会这么称呼它) 的许
多危险。最重要的是，嗯，auto_ptr的卖点就是拥有和销毁内存；手工这么做完全打破了
使用它的本意。 

因此,我决定改用一个vector来拥有数组。它比我所需要的还更强劲一些，因为我不需要动
态更改vector的大小，而它提供了此功能。 我实际上想要是一个能自动处理指针和内存管
理的灵巧指针，并且可以用来处理数组。 

“使用Boost库, 天行者，”我听到身后Guru的声音。 

“是不是‘使用大场，天行者’？” 我侧肩答道。 “而且，不要叫我天行者。” 

“Boost是能量的源泉，”Guru继续于她的电影台词之中。 

我今天没心情，于是我打断了她。”嗯，我们能今天不用演戏吗？鲍伯在伦敦的办公室里
，也没有新员神情反常。” 

她来到附近，我看见了她的微笑和耸肩。”哦，我仅仅感到无聊，”她叹了口气。”你看
过Boost库中的灵巧指针了吗？” 

“嗯，”我吞吞吐吐的，”我还没空仔细去看Boost库。它怎么实现灵巧指针的？” 

“共有五种灵巧指针，”Guru一边坐下一边说着。”两个处理指针的单所有权，两个处理
共享所有权。” 

“共享所有权？哦，类似于带引用计数的类？” 

“完全正确。灵巧指针是成对的，一个处理指向单一物体的指针，另一个处理指向数组的
指针。”在说的时候，她在白板上写下：scoped_ptr，scoped_array，shared_ptr和 
shared_array。 

“只有四个，你前面说有五个？”我问。 

“剩下的一个叫weak_ptr。它是shared_ptr的非拥有关系的观察者。我随后讲它。 
scoped_*形灵巧指针在它们离开生存范围时，自动析构所指向的对象。一个提议用途是实
现Pimpl惯用法－指向实现的指针，”在我发问前，她急忙加了一句。 

“如此说来...他们象auto_ptr，对吧？” 

“不十分象。scoped_ptr和scoped_array不可拷贝。” 

“不可拷贝？那么，如果我将一个指针作为类的成员－”我边说边在白板上潦草地写着： 


class T

{

scoped_ptr<TImpl> p;

...

“－我如何实现拷贝和赋值？” 

“和auto_ptr一样，”Guru边答边写： 

T( const T& other )

: p(new TImpl(*other.p)

{

}

T& operator=( const T& other )

{

scoped_ptr<TImpl> tmp(new TImpl(*other.p));

p.swap;(tmp)

}

“Ooookay，”我懒洋洋地说着，装作我已经懂了。“ 于是，当我使用scoped_ptr的时候,
 我必须同样完成使用auto_ptr时所必须做的所有工作，对吧？那么为什么不就使用auto_p
tr？” 

“因为使用auto_ptr时能编译，但是做错事, 因为自动生成的函数。 使用 scoped_ptr 使
得极难忽略拷贝语义，因为如果你使用编辑器自动生成的版本时，编辑器将会拒绝编译这
个类。同样，scoped_ptr不能够在一个不完全的类型上被使用。”我给予了Guru我擅长的
车前灯前的鹿的目光。 她叹了口气。“考虑这种情况，”她边说边在白板上写: 

class Simple;

Simple * CreateSimple();

void f()

{

auto_ptr<Simple>autoS(CreateSimple());

scoped_ptr<Simple>scopedS(CreateSimple());

//...

}

“在函数体中，Simple是一个不完全的类型。如果它的析构函数是有行为的，那么通过aut
o_ptr或scoped_ptr销毁它，其结果为未定义。一些编译器在你实例化auto_ptr时将会警告
你这一点，但不是所有编译器都会这么做。相对的，scoped_ptr为确保语义正确而做了些
小动作以造成编译错误，如果是在实例化一个不完全类型的话。” 

“哦，是的，当然，” 我来劲了，以显示我理解了。 “因此我们应该始终使用scoped_pt
r来代替auto_ptr，对吧？” 

“错，抱歉，” 她失望地说道。“auto_ptr仍然有它的用处。不像auto_ptr，scoped_ptr
 没有release()成员－它不能够放弃指针的所有权。 因为这个，以及因为scoped_ptr不能
够被复制，当scoped_ptr离开生存范围时，它所管理的指针总是被delete。这使得scoped_
ptr不适用于需要传递所有权的地方，比如厂。” 

“使用scoped_ptr向其他程序员表明你的意图。它告诉其他人，‘这个指针不应该在当前
范围外被复制’。正相反，auto_ptr允许从产生指针的代码空间向外传递所有权，但是它
维持对指针的控制除非所有权的传递是完全地。 这当然对写异常安全的代码有重要意义。
” 

“啊，好，我明白了，”我嘟囔着。“ 你提到的另一种灵巧指针是怎么回事？” 

“scoped_array的行为和scoped_ptr相同，除了它处理是对象数组而不是单个对象。 
scoped_array 提供了稍有差别的访问函数。它没有operator*或operator->，但它有opera
tor[]。我相信，”她总结道，“你需要是一个 scoped_array。” 

“也许吧，”我答道，”但是我认为在作决定之前我应该多了解些shared_*形的灵巧指针
。” 

“非常明智，我的徒……弟，抱歉，叫习惯了。”Guru歉意地笑了一下。“是的, 熟悉各
个选择之后再作决定是个好习惯。” 

她指着白板上的shared_ptr 和 shared_array说道：“shared_*形的灵巧指针是非常有用
的工具。 他们是引用计数型的指针，能够区分出所有者和观察者。举例来说, 使用上面的
class T：” 

void sharing()

{

shared_ptr<T> firstShared(new T);

shared_ptr<T> secondShared;(firstShared)

//...

}

“两个shared_ptr对象指向相同的T对象。引用计数现在是2。既然shared_ptr是引用计数
的，对象一直不被销毁直到最后一个shared_ptr离开生存范围－此时引用计数降为0。shar
ed_*的灵巧指针有相当的柔性，你可以使用它们包容指向不完全类型的指针。” 

“我想你说过的，这很糟吧？” 

“是很糟，如果你不小心的话。 shared_*的灵巧指针可以用一个指向不完全类型的指针来
实例化，但必须要指明一个函数或函数子供销毁被拥有对象时调用。比如说，我们修改了
上面的f函数：” 

void DestroySimple( Simple* );

void f()

{

shared_ptr<Simple>sharedSFails( CreateSimple() );

shared_ptr<Simple>sharedSSucceeds( CreateSimple(), DestroySimple );

}

“第一个shared_ptr失败了, 因为Simple是一个不完全类型。第二个成功了，因为你明确
地告诉了 shared_ptr 该如何销毁这个指针。 

“因为 shared_ 指针被设计可被拷贝，它们完全适用于标准容器, 包括associative 容器
。并且，在那些必须强制类型转换的特别场合上，可以定义特别的类型转换操作以生成新
的shared_*形的灵巧指针。 例如，如果我们有一个类Base以及公有继承而来的Derived，
和一个无关类，那么你将遇到：” 

void g()

{

shared_ptr<Base>sharedBase( new Derived );

shared_ptr<Derived> sharedDer =

shared_dynamic_cast<Derived>( sharedBase);

shared_ptr<Unrelated> sharedUnrelated =

shared_dynamic_cast<Unrelated>( sharedBase);

try

{

shared_ptr<Unrelated> oops =

shared_polymorphic_cast<Unrelated>( sharedBase);

       }

      catch( bad_cast)

      {

           //...

      }

}

“同样还存在着一个shared_static_cast，供那些特别场合使用，”Guru总结道。 

我对这个函数研究了一会儿。“好吧，让我试试是否能推算出将发生什么。第一个shared_
dynamic_cast在灵巧指针上执行了一个dynamic_cast，返回一个新的灵巧指针。 假如dyna
mic_cast失败了怎么办－在引用计数上将发生什么？” 

Guru满意地点点头。“在那种情况下，原始的计数不被影响，而且新的hared_ptr包容的是
一个NULL指针。正如你从try/catch语句推测的，shared_polymorphic_cast将试图在被容
纳的指针上执行dynamic_cast。 如果转换失败，它将抛出bad_cast异常。” 

“哇，”我赞叹道，“这个类可真完备。看起来很不错。” 

“的确，”Guru同意。 “但还有些事情是必须要知道的。引用计算过于简单而不能检测任
何形式的循环引用。同样，shared_ptr也没有实现任何形式的写时拷贝（copy-on-write）
，因此用它来实现Pimpl惯用法时必须仔细衡量。” 

我深思熟虑后确定我喜欢它。“嗨，”我追问道，我还记着呢，“你提到过的weak_ptr是
怎么回事？” 

“啊，是的。weak_ptr与shared_ptrs联合使用。weak_ptr是观察者，不影响共享对象的引
用计数。weak_ptr的主要目的是允许shared_ptr参与循环依赖－A引用B，B反过来又引用A
。我喜欢将它想象成俱乐部中的准会员－它没有投票权，但是能参加俱乐部的会议。” 

“Hmmm……” 我仔细想了一下。“因为 weak_ptr不影响引用计数，如果俱乐部解散了怎
么办－也就是说，最後一个shared_ptr离开了生存范围－而此时 weak_ptr正在使用共享对
象？” 

“在那情况下，weak_ptr维护的指针被设置为NULL。而对于NULL，不能进行任何dereferen
cing操作，例如operator*、operator->、或operator[]，在dereferencing指针前应该进
行NULL检查。于是，正如dereferencing内建指针前必须进行NULL检查，你也一定要检查灵
巧指针是否为NULL。这个限制适用于Boost库中的所有灵巧指针。” 

“天那，要记太多的东西了，”我一边说一边盯着潦草地写在白板上的东西。 

“别担心，”Guru微笑着站起离开了。“我会email给你Boost库的URL，以及练习和示范各
种不同指针的一个小程序。”她当然说到做到，几分钟内我收到了她的email。 我读到这
句时立即就闭上了眼睛： 

“我的徒弟，如前所说，这是Boost库中的说明文档: [2]。 阅读并思考附上问题[3]。” 



-------------------------------------------------------------------------------
-

[感谢] 
Thanks to Peter Dimov and Bjorn Karlsson for providing valuable comments and 
updates. 


-------------------------------------------------------------------------------
-

[注释]
[1] Jim Hyslop and Herb Sutter. “Conversations #1,” C++ Report, April 2000. 

[2] The most recent version of the library and documentation can also be 
obtained via anonymous CVS checkout from the Source Forge project. Detailed 
instructions can be found at: . 

[3] The sample code can be downloaded from the CUJ website: hyslop.zip. 
 
--
才知道   
原来
自己需要的是   
100万
份勇气。。。

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.239.80]