C++：为常量迭代器重载list.end（）和list.begin（）方法

Question

我仍然试图实现我自己版本的LinkedList类，现在我对常量迭代器的重载方法有问题。例如，当我尝试使用此代码打印出清单：

cout << "citer:" << endl; 
for (UberList<int>::CIter it = ulist.begin(); it != ulist.end(); ++it) 
{ 
cout << *it << " "; 
} 
cout << endl; 

我有这些错误：

Error E2034 UberList2.cpp 532: Cannot convert 'UberList<int>::Iter' to 'UberList<int>::CIter' in function main() 
Error E2094 UberList2.cpp 532: 'operator!=' not implemented in type 'UberList<int>::CIter' for arguments of type 'UberList<int>::Iter' in function main() 

所以据我的理解，这意味着那些平常结束，并开始迭代方法被使用。下面是这些方法是如何在我的类中声明：

Iter begin(); 
Iter end(); 
CIter begin() const; 
CIter end() const; 

和

template<class T> 
typename UberList<T>::Iter UberList<T>::begin() 
{ 
    Iter it; 
    it.curr = head; 
    return it; 
} 

template<class T> 
typename UberList<T>::Iter UberList<T>::end() 
{ 
Iter it; 
it.curr = tail->next; 
return it; 
} 

template<class T> 
typename UberList<T>::CIter UberList<T>::begin() const 
{ 
CIter it; 
it.ccurr = head; 
return it; 
} 

template<class T> 
typename UberList<T>::CIter UberList<T>::end() const 
{ 
CIter it; 
it.ccurr = tail->next; 
return it; 
} 

有什么办法，我可以强迫我的程序使用的常量迭代器，而不是常使用的这些常量的方法呢？我很乐意听到任何建议。

哦，这是我在一个文件类的代码，以防万一：http://pastebin.com/Jbvv5Hht

Answer 1

您应该Iter到CIter提供一个转换。标准集装箱做（表65中，23.1“集装箱需求”，说X::iterator可转换为X::const_iterator）

主叫方可以确保const过载使用const引用调用，但你不应该强迫他们做到这一点，因为他们将不得不写类似：

UberList<int>::CIter it = static_cast<const UberList<int> &>(ulist).begin() 

如果您提供的“必需的”转换那么就没有必要为您的来电者做什么特别的：你原来的代码将工作，只是因为它的标准容器。

Answer 2

你需要

teamplate<class T> bool operator!=(UberList<T>::CIter,UberList<T>::CIter); 

Answer 3

它使用常规的方法开始，因为变量不是常量。所以固定它的一种方式是使另一个（参考）变量，常量：

UberList<int> const & culist = ulist; 
for (UberList<int>::Citer it = culist.begin(); ...) 

或者，使用的const_cast。

Answer 4

对OP代码的更多评论。考虑分离那个巨大的uberl33tlist类并将其分解成更小的文件。看到所有这些朋友类的声明让我感到很不舒服。也有一些棘手的语义，当你使用像

friend class UberList; 
friend class CIter; 

东西在某些情况下，这些语句也结束了向前声明这些类，如果尚不存在他们。还有一些不太正确的寻找你的赋值运算符的位置：

UberList<T> operator = (const UberList<T>& OL) 
{ 
    UberList<T> NL = new (OL); 
    return NL; 
} 

而且在主你有

it2++; 
ulist.insertAfter(b, it2); 
//... 

您使用后缀运算符++的IT2，但没有实现你的迭代器类。Borland通过使用前缀来接受它，但是会给出警告。 Gcc实际上将其标记为错误并拒绝代码。可能要考虑这样做

Answer 5

感叹：这里有可以隐藏在概念上你想要做什么，不能用C自动完成++，因为它不理解差异的事实两轮牛车的水平。其他一些语言（包括Ocaml）也可以。

如果你有一个函子（这是C++程序员的一个模板类），问题是它和各种函数如何随参数的变化而变化，比如从T到T const的转换。你真正想要的是：

List<T> --> List<T const> 

换句话说，你希望列表仿函数是协变的。但不，实际上，List模板根本不是函子，因为函子必须是结构保留的，并且转换不会按照需要反映出来。这又意味着要么C++模板被破坏，要么const的概念被破坏，因为不支持参数多义的类型系统被指定破坏:)

提供“const_iterator”不能解决这个问题，它只是简单的修补休息。 volatile和const_volatile版本在哪里？双重间接如何？

如果你不明白双重间接性：考虑的T向量的树，这两个模板：

Tree<Vector<T>> 

这里最好的解决办法就是放弃支持常量性。只是不要打扰。无论如何，它是困惑的：“const vector”怎么样？那是什么？一个矢量你不能再延长，但它仍然允许你编写元素？

实际要求是变换通勤，例如：

vector<T> const == vector<T const> 

[或它们如果变换是禁忌变体抗通勤]

事实上不会发生这种情况表明，矢量不是功能性的，换句话说，模板不能有效地用于参数多态性。如果你想真正让你的内裤打结，可以考虑带有函数参数的模板，并询问函数的返回类型和参数的变化，以及这会如何影响容器。一个很好的例子是如何编写两个函数，以便他们在一对中工作。如果他们是增变器，那么“const”如何工作呢？