STL typedef的可移植性如何?

template<typename In>
struct input_sequence_range : public pair<In,In> {
    input_sequence_range(In first, In last) : pair<In,In>(first, last) { }
};

template<typename Arr>
input_sequence_range<Arr*> iseq(Arr* a,
                                typename iterator_traits<Arr*>::difference_type n)
{
    return input_sequence_range<Arr*>(a, a + n);
}

template<typename Iter>
input_sequence_range<Iter> iseq(Iter first, Iter last)
{
    return input_sequence_range<Iter>(first, last);
}

我特别质疑std::iterator_traits上重载的可移植性<>::不同类型。如果它的typedefed是int*(尽管这可能很奇怪;我认为标准并不禁止这样做),那么为int数组调用iseq()将是不明确的。

迭代器特性的标准保证是什么<&燃气轮机;typedefs?