Использование boost counting_iterator с типом Incrementable

Я пытаюсь использовать инкрементный тип с boost::counting_iterator,

boost::counting_iterator документация говорит что итератор работает с типами Incrementable, то есть с типами CopyConstructible, Assignable, PreIncrementable и EqualityComparable.

Мой тип увеличения:

template<class T> struct Incrementable {
// CopyConstructible:
Incrementable() : value(0) {}
Incrementable(const Incrementable& other) : value(other.value) {}
explicit Incrementable(const T& other) : value(other) {}
// Assignable:
inline Incrementable& operator=(const Incrementable& other) {
value = other.value;
return *this;
}
// PreIncrementable:
inline Incrementable& operator++() {
++value;
return *this;
}
// EqualityComparable:
friend
inline bool operator==(const Incrementable& a, const Incrementable& b) {
return a.value == b.value;
}

T value;
};

Это не в состоянии скомпилировать:

#include <boost/iterator/counting_iterator.hpp>
#include "incrementable.h"int main() {
boost::counting_iterator<Incrementable<int>> a(Incrementable<int>(0));
return 0;
}

Ошибка:

usr/local/include/boost/iterator/iterator_categories.hpp:161:60: error: no type named 'iterator_category' in 'boost::detail::iterator_traits<Incrementable<int> >'
typename boost::detail::iterator_traits<Iterator>::iterator_category

Я предполагаю, что мне нужно реализовать iterator_category либо для:

• counting_iterator моего инкрементного типа,
• или, как говорится в ошибке, для моего типа Incrementable (имеет ли это смысл? мой тип Incrementable не является итератор).

Ни то, ни другое не ясно из документации (которая полностью исключает эту тему), и я не могу найти какую-либо информацию об этом в других частях библиотеки.

Поэтому я добавил следующее boost::detail Пространство имен:

namespace boost { namespace detail {
template <class T> struct is_numeric<Incrementable<T>>
: mpl::true_ {};
}} // boost::detail namespace

и теперь все компилируется и работает как положено. Тем не менее, я действительно сомневаюсь, что библиотека была предназначена для использования таким образом.

Кто-нибудь знает правильный / чистый способ реализации этого?

Предложение Стива Джессопа: специализация std::numeric_limits также работает:

namespace std {
template<class T>
class numeric_limits<Incrementable<T>> : public numeric_limits<T> {
public:
static const bool is_specialized = true;
};
}

Тем не менее, я не знаю, правильно ли это делать для инкрементного типа.