0

好的，我正在尝试使用可变参数模板在 n 维中实现范围树。我有基本的设置工作，但我希望能够有选择地在模板列表中传递一个比较函数对象，以按 std::less 以外的东西对树进行排序。

我的第一个想法是，我可以使用包含一对作为第一个元素的版本来重载模板列表，其中包含类型和比较函数的对。但我看不到要编译模板声明行。Visual C++ (2015) 从 C2079 开始：“std::pair::first uses undefined class 'T'”。

无论如何，上代码。这是一个小片段来显示我正在尝试做的事情：

template <class... Args> class rangetree{
};

template <class T, class... Args> class rangetree<T, Args...> {
public:
  map <T, rangetree<Args...> * > tree;
};

这一切正常。但是当我添加另一个版本的 rangetree 时，将一对作为第一个模板成员，我遇到了问题：

template <pair<class T, class Compare>, class... Args> class rangetree<pair<T, Compare>, Args...>{
public:
  map <T, rangetree <Args...> *, Compare> tree;
};

这是我似乎可以以编译器满意的方式格式化的部分。这个想法是可选地将模板成员与比较函数配对，如果应该使用更少的东西。

4

1 回答 1

0

您正在寻找的语法是：

template <class T, class Compare, class... Args>
class rangetree<pair<T, Compare>, Args...>
{
    ...
};

或者，如果您在这里所做的只是提供添加比较器的能力，您可以将这项工作外包给元函数：

template <typename T>
struct range_types {
    using key = T;
    using compare = std::less<T>;
};

template <typename T, typename Comp>
struct range_types<pair<T, Comp>>
{
    using key = T;
    using compare = Comp;
};

template <class T, class... Args>
class rangetree<T, Args...>
{
    map <typename range_types<T>::key,
         rangetree <Args...> *,
         typename range_types<T>::compare
         > tree;
};
于 2015-10-02T20:42:20.633 回答