没有可移植的方式来做你正在尝试的事情,因为不要求 a(const_)iterator
可以从指向基础值类型的指针构造。libstdc++ 恰好提供了这样的构造函数,但 VS 标准库实现却没有。相反,它的(const_)iterator
构造函数接受一个指向底层值类型的指针和一个指向容器本身的指针,它用于在调试构建期间执行额外的验证。
最简单的解决方案是替换std::vector<unsigned char>::const_iterator
为unsigned char const *
. 原始指针属于 RandomAccessIterator 类别,与vector::(const_)iterator
s 相同。
unsigned char const *foo::begin() {
return value;
}
unsigned char const *foo::end() {
return value + length;
}
如果您需要迭代器是类类型,那么您需要创建一个自定义迭代器。虽然这可以从头开始完成,但使用Boost.IteratorFacade会容易得多,它将提供大量用于构建自定义迭代器的必要样板。
#include <boost/iterator/iterator_facade.hpp>
struct const_foo_iterator : boost::iterator_facade<const_foo_iterator,
unsigned char const,
boost::random_access_traversal_tag>
{
const_foo_iterator() = default;
const_foo_iterator(unsigned char const *iter) : iter(iter) {}
private:
friend class boost::iterator_core_access;
void increment() { ++iter; }
void decrement() { --iter; }
void advance(std::ptrdiff_t n) { iter += n; }
std::ptrdiff_t distance_to(const_foo_iterator const& other) const
{ return iter - other.iter; }
bool equal(const_foo_iterator const& other) const
{ return this->iter == other.iter; }
unsigned char const& dereference() const { return *iter; }
unsigned char const* iter = nullptr;
};
const_foo_iterator foo::begin() {
return value;
}
const_foo_iterator foo::end() {
return value + length;
}
static_assert(std::is_same<std::iterator_traits<const_foo_iterator>::value_type,
unsigned char>::value, "value_type");
static_assert(std::is_same<std::iterator_traits<const_foo_iterator>::pointer,
unsigned char const *>::value, "pointer");
static_assert(std::is_same<std::iterator_traits<const_foo_iterator>::iterator_category,
std::random_access_iterator_tag>::value, "iterator_category");
现场演示