【发布时间】：2022-01-12 22:05:54
【问题描述】：
我正在制作我自己的矢量容器，并且我正在尝试使用 C++98 标准实现一个像真实的迭代器一样工作的迭代器。
这是作业，所以我不希望答案只是提示我应该看哪里以及应该学习什么才能解决这个问题。
所以基本上我正在尝试使这段代码工作：
ft::vector<int> v (100, 100);
ft::vector<int>::iterator it = v.begin();
ft::vector<int>::const_iterator cit = it;
std::cout << (cit == it) << std::endl; //comparison 1 /// works
std::cout << (it == cit) << std::endl; //comparison 2 /// doesn't compile
std::cout << (cit + 1 == it + 1) << std::endl; //doesn't work
std::cout << (it + 1 == cit + 1) << std::endl; //doesn't work
iterator 和 const_iterator 是这样的类型定义：
typedef typename ft::iterator_vector<value_type> iterator;
typedef typename ft::iterator_vector<const value_type> const_iterator;
值类型是传递给向量模板的类型。
直到我在迭代器模板中添加一个用户定义的转换运算符以将 iterator<const foo> 转换为 iterator<foo>operator iterator_vector<const value_type>() const { return _p; }
但是编译器说我现在需要能够将iterator<const foo> 转换为const iterator<foo>，我不知道如何继续。
这是我的迭代器的实现：
template <class T>
class iterator_vector : public ft::iterator<std::random_access_iterator_tag, T> {
public:
typedef ft::iterator<std::random_access_iterator_tag, T> iterator;
typedef ft::iterator_traits<iterator> iterator_traits;
typedef typename iterator_traits::difference_type difference_type;
typedef typename iterator_traits::value_type value_type;
typedef typename iterator_traits::pointer pointer;
typedef typename iterator_traits::reference reference;
typedef typename iterator_traits::iterator_category iterator_category;
/*
** Member functions
*/
iterator_vector(pointer p = 0) : _p(p) {}
~iterator_vector(void) {}
operator iterator_vector<const value_type>() const { return _p; }
iterator_vector& operator++() { ++_p; return *this; }
iterator_vector operator++(int)
{
iterator_vector r = *this;
++_p;
return r;
}
iterator_vector& operator--() { --_p; return *this; }
iterator_vector operator--(int)
{
iterator_vector r = *this;
--_p;
return r;
}
iterator_vector operator+(size_t n) const { return iterator_vector(_p + n); }
iterator_vector operator-(size_t n) const { return iterator_vector(_p - n); }
iterator_vector& operator+=(size_t n) { _p += n; return *this; }
iterator_vector& operator-=(size_t n) { _p -= n; return *this; }
difference_type operator+(iterator_vector rhs) const { return _p + rhs._p; }
difference_type operator-(iterator_vector rhs) const { return _p - rhs._p; }
reference operator*(void) const { return *_p; }
pointer operator->() const { return _p; }
reference operator[](size_t n) const { return _p[n]; }
bool operator==(const iterator_vector& rhs) const { return _p == rhs._p; }
bool operator!=(const iterator_vector& rhs) const { return _p != rhs._p; }
bool operator<(const iterator_vector& rhs) const { return _p > rhs._p; }
bool operator>(const iterator_vector& rhs) const { return _p < rhs._p; }
bool operator<=(const iterator_vector& rhs) const { return _p <= rhs._p; }
bool operator>=(const iterator_vector& rhs) const { return _p >= rhs._p; }
/*
** Non-member functions
*/
friend iterator_vector operator+(size_t n, const iterator_vector& rhs) { return iterator_vector(rhs._p + n); }
friend iterator_vector operator-(size_t n, const iterator_vector& rhs) { return iterator_vector(rhs._p - n); }
private:
pointer _p;
};
【问题讨论】：
-
通常你会有一个“iterator”和一个“const_iterator”。在这里查看en.cppreference.com/w/cpp/container/vector
-
@Jellyboy 你是什么意思？我已经有一个 const_iterator 了。我使用我的迭代器模板，但使用 iterator
而不是 iterator 。你的意思是我应该有两个单独的类模板而不是重用相同的迭代器模板？ -
@tvanbesi 不，如果您制作基于模板的迭代器，您很可能不应该有两个单独的模板。
-
您不想要这种转换。你真的不知道。想象一下如果
const char*可以隐式转换为char * const会发生什么。迭代器是花哨的指针，应该像指针一样工作。 -
@n.1.8e9-where's-my-sharem。我也对此做出了反应。我更新了我的答案来解决这个问题。
标签： c++ templates compiler-errors c++98 qualifiers