std::advance的内部实现,是否要判断Distance的正负号？

cdsfiui

最近在琢磨algorithm的内部实现方式
std::advance接受一个数字作为Distance，那么我觉得它的内部实现是否应该这样:

1. 
   
2. template<class InputIt, class Distance>
   
3. void advance(InputIt& it, Distance n>
   
4. {
   
5.      advance_impl(it, n, Iterator_trait<InputIt>::categary)
   
6. }
   

复制代码

对于random_access的category

1. 
   
2. template<class InputIt, class Distance>
   
3. void advance_impl(InputIt& it, Distance n>
   
4. {
   
5.   it = it +n
   
6. }
   

复制代码

对于非random_access的category

1. 
   
2. template<class InputIt, class Distance>
   
3. void advance_impl(InputIt& it, Distance n>
   
4. {
   
5.   if(n==0)return
   
6.   else if(n>0)
   
7.   {
   
8.      for(Distance d=0;d<n;++d)
   
9.          ++it
   
10.   }
    
11.   else
    
12.   {
    
13.      for(Distance d=0;d<n;++d)
    
14.          --it;
    
15.   }
    
16. }
    

复制代码

上面只是我的想法，实际的std::advance 需要用这样的if/else来实现吗，对于n=0,>0,<0的情况分别处理?
可能我的实现繁琐了。更好的方式是什么样子的?
谢谢

windoze

只有BidirectionalIterator才能往回退，在这种情况下的确需要判断正负号。
如果是Unidirectional Iterator，其实可以不判断正负的，因为这是调用者的责任，标准说此时用负数是个UB

cokeboL

我是进来看猫哥的

hellioncu

好奇猫版做啥工作的