源文:http://www.codesky.net/article/200504/63245.html
最近,在原有项目基础上做开发。项目主要使用Visual studio 2005 ,代码中存在大量 std::vector<CComPtr<XXXX>>这类代码,一直以来运行正常。
我在开发时,出于空间和时间的综合考虑,有时会使用list,但是当写出std::list<CComPtr<XXXX>>,然后push_back时,编译器报出了错误
error C2664: 'std::allocator<_Ty>::construct' : cannot convert parameter 1 from 'XXXX **' to 'ATL::CComPtr<T> *'
查资料,看代码,发现原来是CComPtr这个模板重载了&操作符引起的。
(以下内容转载:)
原因:重载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 T>
class CAdapt
{
public:
。。。
operator T&()
{
return m_T;
}
operator const T&() const
{
return m_T;
}
T m_T;
};
CAdapt模板的历史意义就在于此。
这样我们就可以放心大胆地声明道:
std::vector< CAdapt <CComBSTR> > vect;
typedef vector< CAdapt< CComPtr< IWhatever > > > TWhateverVector;
不再会有麻烦。
总结:
下面的声明都不会有编译错误:
std::vector<CComBSTR > vecBSTR;
std::vector< CComPtr<IPDH> > vecPDH0;
只有当容器是std::list时,才会发生编译错误。
而且,实际上使用下面的代码似乎也没有出现问题,比如内存泄漏等:
std::vector<CComBSTR > vec;
vec.push_back(CComBSTR("string"));
对于这种情况,Igor Tandetnik是这么说的:
“有时候,你在STL Container中没有用CAdapt,看上去平安无事。但是,这样的话,你的代码就和STL厂商的具体实现密切相关了。从而当你调用以前从没有用过的容器的某一个方法时,可能会发生一些未定义的事情。所以,Just to be on the safe side,无论何时,当你要把CComBSTR或者其他重载了operator&的类放入任何STL容器中时,请使用CAdapt。”