模板的模板参数匹配报错问题

最新推荐文章于 2025-05-08 11:19:29 发布

Virtual_Func

最新推荐文章于 2025-05-08 11:19:29 发布

阅读量7.3k

点赞数 2

CC 4.0 BY-SA版权

分类专栏： C++知识点文章标签：模板的模板参数模板参数不匹配模板第二个参数不匹配模板的模板实参匹配

本文链接：https://blog.youkuaiyun.com/Virtual_Func/article/details/48247061

C++知识点专栏收录该内容

42 篇文章

订阅专栏

本文探讨了在使用模板的模板参数时遇到的实例化错误，并提供了详细的解决方案。通过调整模板参数列表，使得实例化过程不再出现错误。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

今天写一个模板类，使用了模板的模板参数，在实例化类对象时，报错:

1. 在VS2013中错误编码为：error C3201: 类模板“std::vector”的模板参数列表与模板参数“CONT”的模板参数列表不匹配

2. 在G++中错误信息为： error: type/value mismatch at argument 2 in template parameter list for ‘template<class T,template<class ELEM> class CONT> class X'

以下是简单版的源代码与实例化操作：

template<typename T, template<typename ELEM> class CONT = std::deque>
X
{
    CONT<T> elem;
    public:
        X(CONT<T> const & temp) : elem(T){}
};

int main()
{
    X<int,std::vector> x; //该实例化语句报错
}

研究半天发现原因为：标准库中 std::vector 等类模板还有另一个参数：即第二个参数（也就是内存分配器 allocator），其有一个缺省值，但在匹配CONT 时，类模板 CONT 仅声明了一个模板形参，因此，实例化中的 std::vector 与 CONT 不匹配

解决办法为：修改类模板的声明，改为一下形式：

template <typename T, template< typename ELEM, typename ALLOC = std::allocator<ELEM> > class CONT = std::deque>
class X
{
    //...
};

//此时实例化将不会再出错