假设,我有一个STL容器类型(不是对象),比如vector< A>.现在它的value_type是A,所以我想把它改成B.

基本上,我想要这个表单的类模板,或者它的变体：

template<typename container, typename new_value_type>
struct change_value_type
{
    typedef /*....*/  new_container;
};

这样我就可以通过以下方式使用它：

typename change_value_type<vector<A>, B>::new_container  vectorOfB; 
vectorOfB.push_back(B());
vectorOfB.push_back(B());
vectorOfB.push_back(B());
//etc

means,new_container是vector< B>

可能吗？

解决方法:

您可以尝试使用模板模板参数进行专门化.

#include <vector>
#include <list>
#include <deque>
#include <string>

template <class T, class NewType>
struct rebind_sequence_container;

template <class ValueT, class Alloc, template <class, class> class Container, class NewType>
struct rebind_sequence_container<Container<ValueT, Alloc>, NewType >
{
     typedef Container<NewType, typename Alloc::template rebind<NewType>::other > type;
};

template <class Container, class NewType>
void test(const NewType& n)
{
    typename rebind_sequence_container<Container, NewType>::type c;
    c.push_back(n);
}

int main()
{
    std::string s;
    test<std::vector<int> >(s);
    test<std::list<int> >(s);
    test<std::deque<int> >(s);
}

但是,容器可能没有这两个模板参数.

此外,在容器适配器和关联容器中,不仅需要替换分配器(适配器中的底层容器,std :: set中的谓词). OTOH,它们的用法与序列容器有很大不同,很难想象一个适用于任何容器类型的模板.