STL容器的赋值运算符可以更灵活吗?
(转载请注明来源于金庆的专栏)
STL容器如果元素类型不同是不能相互赋值的,
即使元素类型是兼容的.
如两个list, 一个存放基类B指针, 一个存放派生类D指针:
class B {};
class D : public B {};
std::list<B*> lB;
std::list<D*> lD;
lB = lD; // ERROR!
编译报错
error: no match for 'operator=' in 'lB = lD'|
list.tcc|121|note: candidates are:
std::list<_Tp, _Alloc>& std::list<_Tp, _Alloc>::operator=(
const std::list<_Tp, _Alloc>&)
[with _Tp = B*, _Alloc = std::allocator<B*>]|
而boost::shared_ptr<B>与boost::shared_ptr<D>之间却可以仍然保持兼容性.
以下赋值与指针赋值一样是正确的.
boost::shared_ptr<B> pB;
boost::shared_ptr<D> pD;
pB = pD;
因为STL容器与boost::shared_ptr的赋值运算符定义方式不一样.
boost::shared_ptr赋值运算符中参数的模板参数与类的模板参数不同,
所以支持更灵活的赋值.
boost::shared_ptr<T>& boost::shared_ptr<T>::operator=(
const boost::shared_ptr<Y>&)
只要改写STL容器的赋值运算符的参数, 同样可以扩大灵活性.
例如将
list<_Tp,_Alloc>&
list<_Tp,_Alloc>::
operator=(const list& __x)
改为:
list<_Tp,_Alloc>&
list<_Tp,_Alloc>::
operator=(const list<_Tp2, _Alloc2> & __x)
不知为什么STL没有放开这种灵活性?