c++ - 正しい std::set_union コードは何ですか?

Question

このサイト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);
  }
}

しかし、それは奇妙に思えます: 範囲の 1 つが空の場合、クラッシュ (または他の未定義の動作が発生) しませんか? 2 つのif句は、whileループの最後ではなく最初に置くべきではありませんか?

Answer 1

完全に壊れているように見えることに同意します。比較のために、STLport コードを次に示します。

テンプレート <class _InputIter1, class _InputIter2, class _OutputIter,
          クラス_比較>
_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;
      ++__最初1;
    }
    そうでなければ (__comp(*__first2, *__first1)) {
      _STLP_VERBOSE_ASSERT(!__comp(*__first1, *__first2), _StlMsg_INVALID_STRICT_WEAK_PREDICATE)
      *__result = *__first2;
      ++__最初2;
    }
    そうしないと {
      *__result = *__first1;
      ++__最初1;
      ++__最初2;
    }
    ++__結果;
  }
  return _STLP_STD::copy(__first2, __last2, _STLP_STD::copy(__first1, __last1, __result));
}