Question

我正在尝试了解模板的工作原理，并且我已经提出了这个问题。现在，我完全清楚它可以使用多态来解决，但我很想知道它是否可以通过使用模板来解决。情况如下：

假设我有两种类型的队列，其定义如下：

#include <queue>
template <typename GenType, typename Comparator>
class Priority
{
public:
    Priority()
    { }
    ~Priority()
    { }
    void insert(GenType const& t)
    { mQueue.push(t); }
private:
    std::priority_queue<GenType, std::vector<GenType>, Comparator> mQueue;
};

template<typename GenType>
class FIFO
{
public:
    FIFO()
    { }
    ~FIFO()
    { }
    void insert(GenType const& t)
    { mList.push_front(t); }
private:
    std::deque<GenType> mList;
};

现在，我有一个类可以使用Queue或FIFO（或任何其他类型的队列），如下所示：

// I'm not sure that this is how it should be declared...
template <typename GenType, 
    template<typename, typename...> class List>
class User
{
public:
    User()
    { }
    ~User()
    { }
    void add(GenType const& t)
    { mList.insert(t); }
private:
    // This line gives an error.
    List mList;
};

按照目前的情况，标记的行会出错，我明白这一点，因为我实际上没有将任何模板参数传递给List。问题是我不知道如何解决这个错误。

为了给出一些上下文，这个用例就是能够使User类采用任何类型的队列，并且可以像这样使用：

User<int, FIFO> u1;
// Not sure if it is this way:
User<int, Priority, std::less<int>> u2; 
// Or this way:
User<int, Priority, std::less> u2;

有关如何解决此问题的任何建议？

Answer 1

不要这样做。

相反，让您的User类模板使用它将要使用的容器的完整类型，并让容器指出它所采用的值的类型：< / p>

template <typename Container>
class User
{
public:
    using value_type = typename Container::value_type; // you'll have to add this
                                                       // typedef to your containers

    User() = default;
    ~User() = default;

    void add(value_type const& t)
    {
        mList.insert(t);
    }

private:
    Container mList;
};

这样，作为类模板的用户，我可以提供正确的东西。如果我想使用你的优先级队列，我可以直接传入我想要的比较器：

User<Priority<int, std::less<>>> u;

或不：

User<FIFO<int>> u2;

或许我写了一个自己的容器，它甚至不是一个类模板：

User<SpecialContainer> u3;

你的工作方式无论如何。通用是好的。

Answer 2

已经有一个已接受的答案，但我想展示所需的语法。

private:
    // This line doesn't give an error.
    List<GenType> mList;
};

现在这行编译也是如此：

User<int, FIFO> u1;

无法编译最后两行，因为模板User只接受两个参数。只需添加第三个参数。

包含使用可变参数模板的成员的类

2 个答案: