STL typedef的可移植性如何？

Question

以下代码可移植吗？

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 <> :: difference_type上重载的可移植性。 如果将它的类型定义为int *（可能很奇怪；我认为标准不禁止这样做），那么为一个int数组调用iseq（）将会是模棱两可的。

标准对iterator_traits <> typedef的保证是什么？

Answer 1

difference_type必须是整数类型，因此int*不可用。

Answer 2

根据Josuttis的说法， 应该使用typedef以便更加灵活和适当地通用。 他所有的示例都以“这是一种快速的方法”开头，最终导致了基于STL typedef的示例。