c++ - 不指定内部类型的模板模板参数

Question

我想知道是否有可能拥有具有以下行为的代码：

int main()
{
    func<vector>(/*some arguments*/);
}

也就是说，我希望用户能够指定容器而不指定它所操作的类型。

例如，可能定义的一些（元）代码（不适用于上述代码）func如下：

template<typename ContainerType>
int func(/*some parameters*/)
{
    ContainerType<int> some_container;
    /*
        operate on some_container here
    */
    return find_value(some_container);
}

Answer 1

语法是

template <template <typename...> class ContainerType>
int func(/*some parameters*/)
{
    // Your code with ContainerType<int>
}

注意：class不能替换为typename（直到 c++17）。

你不能简单地使用typename代替typename...因为std::vector 需要类型和分配器（默认）：std::vector<T, Allocator>

Answer 2

尝试这个：

template<template<typename,typename> class ContainerType>
int func (/*some parameters*/)
{

}

您需要两个内部模板参数，因为std::vector定义为：

template < class T, class Alloc = allocator<T> > class vector;