默认模板模板参数的语法

Question

我写了一个类似列表的模板类sll（单链表）。现在，我正在尝试将分配器插入其中。我有默认的分配器 allocator 和基于池的分配器 pool_allocator。这些是在 STL 分配器接口之后设计的，但我需要添加分配器将处理的元素数量（max_size）作为模板参数。所以，我做了以下事情。

enum  {Default_1 = 16};         // for example
template <typename T, size_t N = Default_1>
struct allocator {
};

enum  {Default_2 = 32};         // for example
template <typename T, size_t N = Default_2>
struct pool_allocator {
};

我想支持两种类型的客户端使用：

1. sll<int>  == implying ==> sll<int, allocator<int, Default_1> >

2. sll<int, pool_allocator<int, 4096> >

我遇到的困难是在 sll 模板类中指定默认分配器。最初我有

template<typename T, typename Allocator = allocator<T> > class sll { ...};

它的工作原理，但问题是，用户无法指定分配器的容量。

我尝试过

template<typename T, 
    typename Allocator = allocator< typename T, size_t N = Default_3> >
class sll { ... };

，但收到错误：

error: template argument 1 is invalid

我尝试了一些其他组合，但没有一个起作用。此时，我已经没有主意了，正在向 SO 社区寻求帮助。任何建议或指示表示赞赏。

Answer 1

你必须写：

template<typename T, 
    typename Allocator = allocator<T, Default_3> >
class sll { ... };