什么时候将const_iterator声明为一个常量迭代器？

Question

例如，我可以定义在某种程度上类似于一个容器：

template <typename T> 
class Example 
{ 
public: 
    using value_type = T; 
    using iterator = value_type*; 
    using const_iterator = const iterator; 
    //etc 
}; 

然而，是不是好与用户定义的迭代器做到这一点？

template<typename T> 
class Example 
{ 
public: 
    using value_type = T; 
    /*friend?*/ class iterator; 
    using const_iterator = const iterator; //is this okay? 
    //etc 
}; 

详细的解释将被赞赏。

Answer 1

A const_iterator和const iterator代表两个不同的事情。在每种情况下，const都适用于不同的东西：对象在第一种情况下由迭代器指向，迭代器在第二种情况下指向。因此，使用另一个永远不会“足够”。在指针说话（指针是迭代器）中，这将是“指向常量”和“常量指针”之间的区别。

const int* it; // pointer to const int: a const_iterator 
int* it const; // const pointer to int: a const iterator 

你甚至可以有常量迭代器为const，或const const_iterator：

const int* it const;