Переносимый следующий код?

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 * (как бы странно это ни было; я думаю, что стандарт этого не запрещает), то вызов iseq () для массива целых чисел будет неоднозначным.

Что дает стандартная гарантия для iterator_traits <> typedefs?

0
wilhelmtell 11 Фев 2009 в 23:28

2 ответа

Лучший ответ

difference_type должен быть целочисленным типом, поэтому int* отсутствует.

1
Motti 11 Фев 2009 в 23:42

По словам Йосуттиса, вы должны использовать определения типов, чтобы быть более гибкими и универсальными. Все его примеры, которые начинались с чего-то вроде «вот быстрый способ сделать это», привели к примерам, основанным на определениях типов STL.

0
Harper Shelby 11 Фев 2009 в 23:34