什麼是正確的std :: set_union代碼？

This site聲稱set_union等同於下面的代碼：什麼是正確的std :: set_union代碼？

template <class InputIterator1, class InputIterator2, class OutputIterator> 
    OutputIterator set_union (InputIterator1 first1, InputIterator1 last1, 
          InputIterator2 first2, InputIterator2 last2, 
          OutputIterator result) 
{ 
    while (true) 
    { 
    if (*first1<*first2) *result++ = *first1++; 
    else if (*first2<*first1) *result++ = *first2++; 
    else { *result++ = *first1++; first2++; } 

    if (first1==last1) return copy(first2,last2,result); 
    if (first2==last2) return copy(first1,last1,result); 
    } 
}

但是，這似乎有些奇怪：不就是崩潰（或導致其他未定義的行爲）如果範圍之一是空的？這兩個if子句是不是應該在while循環的開頭，而不是結尾？

來源

2010-11-30 Frank

cplusplus.com不是權威的參考。 ISO/IEC 14882是，並且不包含`set_union`的示例代碼，只是規範（允許輸入序列爲空）。 – 2010-11-30 20:53:27

我同意它看起來完全壞了。作爲比較，這裏是STLport代碼：

 
template <class _InputIter1, class _InputIter2, class _OutputIter, 
      class _Compare> 
_OutputIter __set_union(_InputIter1 __first1, _InputIter1 __last1, 
         _InputIter2 __first2, _InputIter2 __last2, 
         _OutputIter __result, _Compare __comp) { 
    _STLP_DEBUG_CHECK(_STLP_PRIV __check_range(__first1, __last1)) 
    _STLP_DEBUG_CHECK(_STLP_PRIV __check_range(__first2, __last2)) 
    while (__first1 != __last1 && __first2 != __last2) { 
    if (__comp(*__first1, *__first2)) { 
     _STLP_VERBOSE_ASSERT(!__comp(*__first2, *__first1), _StlMsg_INVALID_STRICT_WEAK_PREDICATE) 
     *__result = *__first1; 
     ++__first1; 
    } 
    else if (__comp(*__first2, *__first1)) { 
     _STLP_VERBOSE_ASSERT(!__comp(*__first1, *__first2), _StlMsg_INVALID_STRICT_WEAK_PREDICATE) 
     *__result = *__first2; 
     ++__first2; 
    } 
    else { 
     *__result = *__first1; 
     ++__first1; 
     ++__first2; 
    } 
    ++__result; 
    } 
    return _STLP_STD::copy(__first2, __last2, _STLP_STD::copy(__first1, __last1, __result)); 
}

來源

2010-11-30 20:49:26 NPE

什麼是正確的std :: set_union代碼？

回答

相關問題