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<> 的标准保证是什么？ 类型定义？

Answer 1

difference_type 必须是整型，因此 int* 不适用。

Answer 2

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