STL容器的赋值运算符可以更灵活吗?

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没有放开这种灵活性?