Question

我正在尝试实现一个允许用户输入某种类型的开始和结束迭代器的函数，然后所有函数都对数据执行一些操作。但是，该函数必须足够通用，它应该适用于许多类型的迭代器（例如std::vector::iterator，std::string::iterator，std::iterator等。唯一的限制是迭代器必须至少具有forward_iterator_tag个能力。

我的函数原型如下所示：

template <class key_type, class data_type> std::shared_ptr<data_type> 
    remove(std::iterator<std::forward_iterator_tag, key_type> key_start, 
    std::iterator<std::forward_iterator_tag, key_type> key_end);

但是，这限制了我特别使用forward_iterator_tag迭代器，因此尝试调用这样的函数：

remove<char, char>(std::iterator<std::random_access_iterator_tag, char>(), std::iterator<std::random_access_iterator_tag, char());

将失败，因为编译器无法将std::iterator<std::random_access_iterator_tag,...>转换为std::iterator<std::forward_access_iterator_tag,...>。此外，此方法不适用于字符串迭代器，矢量迭代器或其他stl迭代器。

有人知道stl如何实现容器/字符串来互相接受迭代器吗？例如，这可以正确编译：

std::string a = "hello";
std::vector<char> v(a.begin(), a.end());

Answer 1

template < typename Iter >
void fun_impl(Iter begin, Iter end, std::forward_iterator_tag)
{
  // do your stuff here...
}

template < typename Iter >
void fun(Iter begin, Iter end)
{
  fun_impl(begin,end, std::iterator_traits<Iter>::iterator_category());
}

begin()和end()为各种容器返回的类型不是iterator<category...>类型，而是类别（有时）的子类。在编写通用代码时，您永远不会以特定的迭代器类型为目标。相反，您使用“标记调度”来对迭代器进行分类并调用正确的实现。由于random_iterator_tag是一个forward_iterator_tag，因此会自动将其转换为此类内容，以便上述fun_impl能够正确解析任何forward_iterator或扩展程序。

迭代器和模板

1 个答案: