使用Incrementale类型的boost counting_迭代器

我正在尝试将Incrementale类型与boost::counting_iterator一起使用。

boost::counting_iterator文档指出，迭代器适用于可增量类型，即CopyConstructable、Assignable、PreIncrementale和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

我想我需要为实现迭代器类别

• 我的Incrementale类型的counting_迭代器
• 或者，正如错误所说，对于我的Incrementale类型（这有意义吗？我的Incmmentale类型不是迭代器）

从文档中（完全省略了这个主题），两者都不清楚，我在库的其他部分也找不到任何关于它的信息。

因此，我在boost::detail命名空间中添加了以下内容：

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

现在一切都按预期编译和工作。尽管如此，我真的很怀疑这个库是否打算以这种方式使用。

有人知道实现这一点的正确/干净的方法吗？

Steve Jessop的建议：专门化std::numeric_limits也有效：

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

不过，我不知道这对一个会增加的类型来说是否是正确的做法。