使用Boost iterator_facade时std::iterator_traits缺失value_type错误

我使用Boost 1.84和C++17，创建了一个继承自boost::iterator_facade的polymorphic_iterator类，简化代码如下：

namespace iterator {

template <typename TValue,
    typename TCategory,
    typename TRef = TValue &,
    typename TDiff = std::ptrdiff_t>
class polymorphic_iterator : public boost::iterator_facade<
    polymorphic_iterator<TValue, TCategory, TRef, TDiff>,
    TValue,
    TCategory,
    TRef,
    TDiff>
{
public:
    polymorphic_iterator() {}

    template <typename TIter> polymorphic_iterator(TIter iter)
    // ...
};

} // namespace iterator

在单元测试中使用该迭代器时，出现如下错误：

error: no type named 'value_type' in 'std::iterator_traits<iterator::polymorphic_iterator<const char, boost::iterators::incrementable_traversal_tag>>'

我原本认为boost::iterator_facade会为std::iterator_traits提供必要的迭代器特征，请问为何会出现此错误？该如何修复？

测试中创建迭代器的代码为：

iterator::polymorphic_iterator<const char, boost::incrementable_traversal_tag> iter; 

我尝试过显式定义using value_type = TValue;，但问题仍未解决。以下是我的最小复现代码：

#include <boost/scoped_ptr.hpp>
#include <cassert>

namespace detail {

template <typename TValue, typename TRef, typename TDiff>
struct poly_iter_base {
    virtual ~poly_iter_base() {}
    virtual poly_iter_base* clone() const = 0;
};

template <typename TIter, typename TValue, typename TRef, typename TDiff>
struct poly_iter_impl : public poly_iter_base<TValue, TRef, TDiff> {
    TIter iter_;

    poly_iter_impl(TIter iter) : iter_(iter) {}

    poly_iter_base<TValue, TRef, TDiff>* clone() const override {
        return new poly_iter_impl(iter_);
    }
};

} // namespace detail

namespace iterator {

template <typename TValue, typename TCategory, typename TRef = TValue &, typename TDiff = std::ptrdiff_t>
class polymorphic_iterator : public boost::iterator_facade<
    polymorphic_iterator<TValue, TCategory, TRef, TDiff>,
    TValue,
    TCategory,
    TRef,
    TDiff>
{
public:
    typedef boost::scoped_ptr<detail::poly_iter_base<TValue, TRef, TDiff>> iter_ptr;

    polymorphic_iterator() : iter_(nullptr) {}

    template <typename TIter> polymorphic_iterator(TIter iter) : iter_(new detail::poly_iter_impl<TIter, TValue, TRef, TDiff>(iter)) {}

    polymorphic_iterator(const polymorphic_iterator &other) : iter_((other.iter_.get()) ? other.iter_->clone() : nullptr) {}

private:
    iter_ptr iter_;

    friend class boost::iterator_core_access;

    void increment() {
        // Implement increment logic here
    }

    bool equal(const polymorphic_iterator& other) const {
        // Implement equality comparison logic here
        return false; // Placeholder return
    }

    TValue& dereference() const {
        // Implement dereference logic here
        static TValue placeholder; // Placeholder return
        return placeholder;
    }
};

} // namespace iterator

template <typename TIter>
void incrementable_iterator_test(TIter iter)
{
    const char* TestString = "Hello, World!";
    // Test the iter is assignable and copy constructable
    iter = TIter(TestString);
    TIter iter_copy(iter);
    assert(*iter == *iter_copy);

    // Test the incrementability of the iterator
    assert(&iter == &++iter);
    assert(*(++iter_copy) == *iter++);
    assert(*iter == TestString[2]);
}

int main() {
    const char* TestString = "Hello, World!";
    iterator::polymorphic_iterator<const char, boost::incrementable_traversal_tag> iter(TestString);
    incrementable_iterator_test(iter);
    return 0;
}

问题出在boost::incrementable_traversal_tag这个遍历标签上。boost::iterator_facade会根据指定的遍历类别自动生成迭代器特征，但**incrementable_traversal_tag属于最低级别的遍历类别，对应的单步迭代器并不要求暴露value_type**。因此iterator_facade不会为这种遍历类别的迭代器自动添加value_type相关的嵌套类型，导致std::iterator_traits无法找到对应类型。

手动添加using value_type = TValue;无效，是因为当遍历类别为incrementable_traversal_tag时，iterator_facade的模板逻辑会屏蔽这些类型的导出，自定义的嵌套类型无法被std::iterator_traits正确识别。

有两种可行的修复方式：

方式一：升级遍历类别 #

如果你的迭代器实际支持更高等级的遍历（比如单遍迭代），可以将模板参数中的boost::incrementable_traversal_tag替换为boost::single_pass_traversal_tag。更高等级的遍历类别要求迭代器暴露完整特征类型，iterator_facade会自动生成value_type、reference等嵌套类型，std::iterator_traits就能正常获取这些类型。

修改测试代码中的迭代器声明：

iterator::polymorphic_iterator<const char, boost::single_pass_traversal_tag> iter(TestString);

方式二：显式特化std::iterator_traits #

如果必须使用incrementable_traversal_tag，可以手动为polymorphic_iterator特化std::iterator_traits，直接提供所需的类型特征：

namespace std {
template <typename TValue, typename TCategory, typename TRef, typename TDiff>
struct iterator_traits<iterator::polymorphic_iterator<TValue, TCategory, TRef, TDiff>> {
    using value_type = TValue;
    using reference = TRef;
    using difference_type = TDiff;
    using iterator_category = TCategory;
    using pointer = std::add_pointer_t<TValue>; // 根据实际需求调整
};
} // namespace std

根据C++标准，允许用户为自定义类型特化std命名空间中的模板，这种做法合法。

内容的提问来源于stack exchange，提问作者Mitchell Sainty