Итератор арифметический тип

Question

Я вижу, что многие люди разрешают подписываться int, но мне кажется, что это из-за невежества, потому что это вызывает несоответствия подписей/без знака для типов контейнеров, которые используют unsigned size_type s.

Поскольку нет способа получить тип контейнера для предоставленных итераторов, я не вижу способа получить size_type предполагаемого контейнера для выполнения точной арифметики.

Какой тип мы должны использовать при выполнении арифметических операций на итераторах? Или еще лучше, как можно получить базовый size_type контейнера, поскольку итераторы не знают своего родительского контейнера?

Edit2:

Что я имею в виду базового типа размера будет, например:

std::vector<some_type>::size_type 

для некоторого итератора, чей контейнер тип std::vector<some_type>

Edit1:

Я думаю, что C++ 17 предоставляет решение этой проблемы через некоторые функции доступа к контейнеру:

Эти функции, не являющиеся членами, предоставляют общий интерфейс для контейнеров, простых массивов и std :: initializer_list.

• (функция) размер (C++ 17) возвращает размер контейнера или массива
• (функция) пустые (C++ 17) проверяет, является ли пустой контейнер
• (функция) данные (C++ 17) получает указатель на базовый массив

Более конкретно размер дает объявленный тип поля размера для родительского контейнера.

Answer 1

Моя рекомендация заключается в использовании std::iterator_traits<It>::difference_type (It - тип итератора), который обычно (но не обязательно) std::ptrdiff_t. std::ptrdiff_t является псевдонимом подписанного типа.

Я рекомендую это из-за следующие факты:

1. std::distance возвращается std::iterator_traits<It>::difference_type.
2. std::next и std::prev принимает std::iterator_traits<It>::difference_type как параметр.
3. Арифметика на двунаправленном итераторе может идти назад.