util.h的swap_range不会检查数组越界问题吗

template <class ForwardIter1, class ForwardIter2>
ForwardIter2 swap_range(ForwardIter1 first1, ForwardIter1 last1,
                        ForwardIter2 first2) {
    for (; first1 != last1; ++first1, (void)++first2)
        mystl::swap(*first1, *first2);
    return first2;
}

int a[5] = {1, 2, 3, 4, 5};
int b[2] = {6, 7};
mystl::swap_range(a, a + 3, b);