假设我们有个函数用来揭示处理程序的优先权,另一个函数用来在某动态分配所得的Widget上进行某些带有优先权的处理:
int priority();
void processWidget(std::shared_ptr<Widget> pw, int priority);
根据以对象管理资源的条款,processWidget决定其动态分配得来得Widget运用智能指针。
现在考虑调用processWidget:
processWidget(new Widget, priority());
它不能通过编译。shared_ptr构造函数需要一个原始指针,但构造函数是个explicit函数,无法进行隐式转换,将 new Widget
的原始指针转换为 shared_ptr。如果写成这样就可通过编译:
processWidget(std::shared_ptr<Widget>(new Widget), priority());
虽然我们在此使用对象管理资源,上述调用却可能泄露资源。稍后将祥加解释。
std::shared_ptr<Widget>(new Widget)
由两部分组成:
- 执行
new Widget
表达式 - 调用
std::shared_ptr
构造函数
于是在调用processWidget之前,编译器必须创建代码,做以下三件事:
- 调用
priority()
- 执行
new Widget
表达式 - 调用
std::shared_ptr
构造函数
编译器以什么样的顺序完成这些事是未定义行为,但是 new Widget
一定先于 std::shared_ptr
执行。如果最终获得这样的顺序:
- 执行
new Widget
表达式 - 调用
priority()
- 调用
std::shared_ptr
构造函数
万一对priority调用导致异常,shared_ptr无法接收指针,造成资源泄露。
解决这类问题的办法很简单:使用分离语句:
std::shared_ptr<Widget> pe(new Widget);
processWidget(pe, priority());
以上语句保证对象能得到资源,执行顺序是固定的。
请记住
- 以独立语句将new对象置于智能指针内。如果不这样做,一旦异常被抛出,有可能导致难以察觉的资源泄露。