C++模板

Question

我试图通过实现一个通用容器类来理解C++模板模板。以下是代码：

    using namespace std;

    template <typename T, template <typename STORETYPE> class Container>
    class Store {
    public:
        ~Store() {};
        Store() {};
        void someFunc( const T & ) {};
        //...
    private:
        Container<T> storage;
    };




    int main(int argc, char *argv[])
    {
        Store<int,deque> myStore;   // error here, won't compile!
    }

上面的代码生成编译器错误消息。错误信息是：

“模板参数具有与其对应的模板参数存储aStack1不同的模板参数；

我也不知道原因。怎么了？

Answer 1

您的问题是，std::deque (和其他标准容器)不只是一个模板参数。除了存储的类型外，还可以指定要使用的分配器函子类型。

如果您不关心这些附加参数，那么只需使用一个不同的模板就可以了：

template <typename T, template <typename...> class Container>
//                             variadic ^^^
class Store {

如果还希望支持将可选参数传递给容器类型，则可以这样转发它们：

template <template <typename ...> class Container, typename T, typename... ContainerArgs>
class Store {
    //...
    Container<T,ContainerArgs...> storage;
};

然后实例化如下：

Store<deque,int> myStore;
Store<deque,int,MyIntAllocator> mySpecialStore;

但是，您可能只想使用专门化提取模板参数：

template <typename Container>
class Store;

template <template <typename...> class ContainerType, typename T, typename... OtherArgs>
class Store<ContainerType<T,OtherArgs...>>
{
    //...
};

这将使客户端代码像这样实例化：

Store<deque<int>> myStore;
Store<deque<int,MyIntAllocator>> mySpecialStore;
Store<T> myOtherStore; //where T is some specialized container type

Answer 2

std::deque被定义为

template <class T, class Allocator = allocator<T> > class deque;

因此，您应该更改Store的定义以匹配：

template <typename T, template <typename...> class Container>
class Store {

但实际上，您甚至不需要模板模板参数。只需将容器类型作为参数传递，就可以获得更多的通用性，例如，Storage将支持甚至std::map。

template <typename  Container>
class Store {
public:
    using value_type = typename Container::value_type;
    ~Store() {};
    Store() {};
    void someFunc( const value_type& ) {};
    //...
private:
    Container storage;
};

Store<std::map<int, float>> myStore; 

Answer 3

作为@TartanLlama回答的另一种选择，您还可以为deque使用别名。

template<typename T>
using deque_alias = deque<T>;

int main(int argc, char *argv[])
{
    Store<int,deque_alias> myStore;   // now it will compile!
}

然后，还正确使用默认模板参数(此处为std::allocator<T>)。(像MSVC这样的编译器有问题，否则会失败，因为他们需要两个模板参数，例如here )。