ITPub博客

首页 > 应用开发 > IT综合 > STL Container和ATL智能包裹类的冲突 (转)

STL Container和ATL智能包裹类的冲突 (转)

原创 IT综合 作者:worldblog 时间:2007-12-13 12:23:59 0 删除 编辑
STL Container和ATL智能包裹类的冲突 (转)[@more@]

STL Container和ATL智能包裹类的冲突XML:namespace prefix = o ns = "urn:schemas-microsoft-com:Office:office" />

Article last modified on 2002-8-7

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

The information in this article applies to:

-  C/C++

-  Microsoft Visual C++ 6.0(SP5)

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

现象:编译错误

如果你在程序中这么声明:

std::list< CComBSTR > list;

那么MSVC6.0(SP5)就会产生一个编译错误:

f:program filesmicrosoft Visual Studiovc98includelist(238) : error C2664: 'destroy' : cannot convert parameter 1 from 'unsigned short ** ' to 'class ATL::CComBSTR *'

Types pointed to are unrelated; conversion requires reinterpret_cast, C-style cast or function-style cast

f:program filesmicrosoft visual studiovc98includelist(235) : while compiling class-template member function 'class std::list >::iterator __thiscall std::list >::erase(class std::list >::iterator)'

错误定位于List头文件的238行:

iterator erase(iterator _P)

  {_Nodeptr _S = (_P++)._Mynode();

  _Acc::_Next(_Acc::_Prev(_S)) = _Acc::_Next(_S);

  _Acc::_Prev(_Acc::_Next(_S)) = _Acc::_Prev(_S);

  allocator.destroy(&_Acc::_Value(_S));

  _Freenode(_S);

  --_Size;

  return (_P); }

原因:重载operator&的行为破坏了CopyConstructible

按照C++标准,可以存储在任何容器中的对象都必须有CopyConstructible。

CopyConstructible的一个要求就是,假设t是存储在容器中的一个类型为T的对象,那么&t就返回T*,也就是t的地址。

而ATL的智能包裹类,如CComBSTr、CCOMPtr等,却都重载了操作符&,CComBSTR类的&操作符返回CComBSTR::m_str,这是一个BSTR类型。这样就破坏了CopyConstructible的要求。

说到这里,我们就不难理解为什么“error C2664: 'destroy' : cannot convert parameter 1 from 'unsigned short ** ' to 'class ATL::CComBSTR *'”了。

这种重载了&操作符的行为,在与STL联合使用时,会导致各种各样的问题(从内存泄漏到随机崩溃)。

这些危险对象包括有:

CComPtr

CComQIPtr

CComBSTR

_com_ptr_t

千万不要把它们放入任何STL容器中。当然也要留意其他重载了operator&的类。

解决办法:使用CAdapt模板类

ATL为我们提供了解决办法:CAdapt模板类。

这个模板重载了&操作符,不再让它返回对象的地址:

//  AtlBase.h  Line 864

template

class CAdapt

{

public:

  。。。

  operator T&()

  {

  return m_T;

  }

  operator const T&() const

  {

  return m_T;

  }

  T m_T;

};

CAdapt模板的历史意义就在于此。

这样我们就可以放心大胆地声明道:

std::vector< CAdapt > vect;


typedef vector< CAdapt< CComPtr< IWhatever > > > TWhateverVector;


不再会有麻烦。

总结:

下面的声明都不会有编译错误:

std::vector vecBSTR;

std::vector< CComPtr > vecPDH0;

只有当容器是std::list时,才会发生编译错误。

而且,实际上使用下面的代码似乎也没有出现问题,比如内存泄漏等:

std::vector vec;

vec.push_back(CComBSTR("string"));

对于这种情况,Igor Tandetnik是这么说的:

“有时候,你在STL Container中没有用CAdapt,看上去平安无事。但是,这样的话,你的代码就和STL厂商的具体实现密切相关了。从而当你调用以前从没有用过的容器的某一个方法时,可能会发生一些未定义的事情。所以,Just to be on the safe side,无论何时,当你要把CComBSTR或者其他重载了operator&的类放入任何STL容器中时,请使用CAdapt。”

 

 

 

 

本文档所包含的信息代表了在发布之日,ZhengYun 对所讨论问题的当前看法,Zhengyun 不保证所给信息在发布之日以后的准确性。

本文档仅供参考。对本文档中的信息,Zhengyun 不做任何明示或默示的保证。

Written by zhengyun@tomosoft.com


来自 “ ITPUB博客 ” ,链接:http://blog.itpub.net/10752043/viewspace-992783/,如需转载,请注明出处,否则将追究法律责任。

请登录后发表评论 登录
全部评论
  • 博文量
    6241
  • 访问量
    2449936