[经验总结]智能指针不是万能的

     最近看Don Box的<<COM 本质论>>，其中第二章提及了智能指针，作者说使用智能指针是危险的，当时我对这个观点不以为然，微软的代码中CComPt用得满天飞也没见出什么问题。不过实践才能出真知，昨天我写的一段代码中用CComPtr用出了问题，先看下面这段代码：

CComPtr<IXMLDOMNode> spNodeRectNum=spNode; if (strName == _T("ABC")) { CComPtr<IXMLDOMNode> spNodeParent; // 父结点 spNodeMetaData->get_parentNode(&spNodeParent); ASSERT(spNodeParent != NULL); spNodeRectNum->Release(); spNodeParent->removeChild(spNodeMetaData, &spNodeRectNum); // 删除当前结点 ASSERT(spNodeRectNum != NULL); }
 
     编译链接都过了，运行到removeChild一行时弹出p==0的断言错误，直接打开atlcomcli.h 在150行附近有如下代码：
   //The assert on operator& usually indicates a bug. If this is really //what is needed, however, take the address of the p member explicitly. T** operator&() throw() { ATLASSERT(p==NULL); return &p; }
   看到这里，我可以说 "I Got It"了，removeChild接口第二个参数接受的是指针的指针，这意味着removeChild的接口实现会改变p的值，但是removeChild的接口实现中没有用到智能指针，所以接口实现中不会自动AddRef或Releash，这样会造成计数器混乱，内存泄漏。
     以后用智能指针一定要在可控的范围之内。

 

后记： 今天(09/09/25)下午和一位同事聊到智能指针的使用，他说我的这种情况在<<COM本质论>>第二章有讲到，2.6节资源管理和IUnknown一节中有一条定理R3:

        R3. 当被调用方便要改写方法或者函数的[in,out]参数， 并且参数的初始值为非空时。注意，[out]参数往往被 假定 “输入时为空值”，所以被调用永远也不必释放[out]参数。