模板、通用容器和独特的 C++

Question

我创建了一个通用容器，扩展了向量的功能...添加了常用函数的新功能。

但是，我有一个问题：删除重复的唯一项目。它包含更多步骤：排序、使项目唯一、擦除...新功能在于通过主 ID 对对象重新编号并重新计算一些哈希值。所以它不能在类 List 之外完成...

让我们想象一下通用容器的以下示例（简化）：

template <typename Item>
class List
{
protected:
            typename TList <Item>::Type items;
    ...
};

比较器已使用函子实现...

template <typename Item>
class isEqual
{
        public:
            bool operator() ( const Item &i1, const Item &i2 )   const
            {
                  ...
            }
};

我们创建新列表并删除重复项：

List <Object> list;
list.rem_duplic(items.begin(), items.end(), isEqual <Object>);

如何实现函数 rem_duplicit有模板参数...如果List代表一个模板类，那么在声明list时必须指定函子的模板参数：

List <Object, Comparator <Type> > list;

并且它可以是限制性的：重复项只能通过一个条件删除，删除重复时不能设置函子items...这种构造是非法的：

template <typename Item>
class List
{
protected:
            typename TList <Item>::Type items;
    public:
            template <typename Functor>
            void rem_duplic(typename TList <Item>::Type ::iterator begin, typename TList <Item>::Type ::iterator end, Functor <Item>) ();
            ...
};

template <typename Item> template <typename Functor>  //Illegal
void List<Item>::rem_duplic(typename TList <Item>::Type ::iterator begin,     typename TList   <Item>::Type ::iterator end, Functor <Item>)
{

}

我怎样才能合理地实现这样的功能，即我可以用模板化参数做什么

Functor <Item> ? 

{}之间的内部功能我很清楚...

Answer 1

如果要编写一个可以采用任意比较函数/函子作为参数的函数，请将该函数设置为通过比较器类型进行参数化的模板。例如：

template <typename ForwardIterator, typename Comparator>
void MakeUnique(ForwardIterator begin, ForwardIterator end,
                Comparator comp) {
    std::unique(begin, end, comp); // For example
}

因为最后一个参数是模板参数，所以调用者可以传入任何他们想要的类型，只要它可以用作比较器即可。

Answer 2

最后一个参数声明中的 是多余的。只是：（

template <typename Functor>
void rem_duplic(items::iterator begin, items::iterator end, Functor f);

注意，您可以使用上面在声明中引入的 typedef 来缩短它）。该函数并不关心传递的参数是否是模板 - 它所需要做的就是使用参数（类型为 Item）调用它，编译器将正确替换。

事实上，有时函子是一个模板，而另一些时候它只是比较指定类型的函数。

两个注意事项：

1. 最好也让迭代器成为模板参数。为什么要限制自己只使用来自容器的物品。请记住，普通指针也是迭代器，也许有一天您会碰巧拥有一个静态数组，或者您将从其他库或其他库中获取数据。
2. 该函数的语义并不是很明显。它接受一个范围并对其执行某些操作，但同时它是一个成员函数，因此我认为它正在对调用者执行某些操作。

请注意，可以声明模板采用另一个模板作为其参数，但您在这里不需要类似的东西。