template <class InputIt>
InputIt unserialize(InputIt it)
{
std::copy_n(it,sizeof(header_type),reinterpret_cast<char*>(&header));
std::copy_n(it,header.payload_size,std::back_inserter(payload));
it = optional.unserialize(it);
return it;
}
在这种情况下如何提前输入迭代器,以便每次跟随std :: copy_n的调用继续从中读取并最终返回它？
出于性能原因,我希望对迭代器类别(尤其是RandomAccessIterator和InputIterator)具有通用性,并希望可以使用std :: copy方法而无需重写这些方法.像绑定检查这样的东西将由迭代器适配器完成,或者如果已知大小,则在反序列化调用之前检查.
什么不起作用也不可接受：
>使用std :: copy_n< InputIt&>(it,…)可能适用于某些类别但不适用于所有类别,而且它太不可靠.
>在每次调用后使用std :: advance会导致为某些迭代器重新读取相同的块.不是优选的,对某些来源可能是不可能的.
更新使迭代器引用适配器没有帮助随机访问迭代器版本的copy_n返回指向复制的最后一个元素,而输入迭代器版本返回指向复制的最后一个元素的指针.所以我猜我自己的copy_n版本最适合使用额外的迭代器适配器进行绑定检查.
解决方法
template <class InputIt,class N,class OutputIt>
InputIt copy_n_advance_input(InputIt it,N dist,OutputIt outIt)
{
std::copy_n(it,dist,outIt);
return std::next(it,dist);
}
不幸的是 – 问题在于我们想要处理一个通道输入迭代器 – 就像这里(得到’d’ – 不是’c’)：
std::string s = "abcd";
std::istringstream ss{s};
auto e = copy_n_advance_input(std::istream_iterator<char>(ss),2,std::ostream_iterator<char>(std::cout,","));
std::cout << "\n" << *e << "\n";
所以似乎需要像STL一样需要两种形式：
template <class InputIt,class OutputIt>
InputIt copy_n_advance_input_impl(InputIt it,OutputIt outIt,std::input_iterator_tag)
{
while (dist-- > 0)
{
*outIt = *it;
++outIt;
++it;
}
return it;
}
template <class InputIt,std::random_access_iterator_tag)
{
std::copy_n(it,dist);
}
template <class InputIt,OutputIt outIt)
{
return copy_n_advance_input_impl(it,outIt,typename std::iterator_traits<InputIt>::iterator_category {});
}
注意,std :: input_iterator_tag的建议版本效率不如STL(至少对于gcc) – 它为输入做了额外的迭代 – 这次迭代不需要执行复制 – 但是需要返回“之后”的开头复制“range(stl_algo.h)：
754 template<typename _InputIterator,typename _Size,typename _OutputIterator>
755 _OutputIterator
756 __copy_n(_InputIterator __first,_Size __n,757 _OutputIterator __result,input_iterator_tag)
758 {
759 if (__n > 0)
760 {
761 while (true)
762 {
763 *__result = *__first;
764 ++__result;
765 if (--__n > 0)
766 ++__first;
767 else
768 break;
769 }
770 }
771 return __result;
772 }
最后一点 – 对于随机访问迭代器(如std :: vector :: iterator),使用std算法的版本更为明智 – 因为它们可以更加优化 – 例如对于POD类型的连续内存迭代器 – 可以只是memcpy’ied.或者std :: vector< bool>的一些特化或者std :: deque< T>存在,使用其内部结构以最有效的方式执行复制.
