将运算符 != 与 std::vector 迭代器一起使用时出错

Question

在一些遗留代码中，我看到以下内容：

class myClass : public CObject
{
    DECLARE_DYNAMIC(myClass)

public:
    void myClassMethod() const;
    ....
}
std::vector<const myClass*> vMyClass;
...
for (const myClass *const* Q = vMyClass.begin(); Q != vMyClass.end(); Q++)
        (*Q)->myClassMethod();

我不明白 const 在这里做什么。 （无论是在这个论坛还是在谷歌中，我都无法搜索到它，星号会被去掉，所以搜索解释是没有用的。）

我所知道的是，这段代码通常假设 vector.begin() 返回一个指针而不是迭代器。所以我尝试将for循环重写为：

std::vector<myClass*>::iterator Q;

for (Q = vMyClass.begin(); Q != vMyClass.end(); Q++)
    (*Q)->myClassMethod();

但我从 Visual Studio 2003 C++ 编译器收到以下错误：

error C2678: binary '!=' : no operator found which take a left-hand 'std::vector<_ty>::iterator' 类型的操作数（或者没有 可接受的转换）与 [ _Ty=myClass * ]

我不明白这里出了什么问题...在我的另一部分代码中：

std::vector<myOtherClass> vMyOtherClass;
...
std::vector<myOtherClass>::iterator Z;

for (Z = vMyOtherClass.begin(); Z != vMyOtherClass.end(); ++Z)
    ...

这编译干净。任何想法为什么我会在 vMyClass 循环上收到错误或如何处理它？知道 const 在做什么吗？

新信息

最初，我错误地复制了矢量定义。现在它已经修复（上图），我看到迭代器缺少一个 const。它应该是：

std::vector<const myClass*>::iterator Q;

但是当我在我的代码中进行此修复时，错误消息从对 vector.end() 的调用切换到 vector.begin()：

错误 C2679：二进制“=”：未找到采用右手的运算符 'std::vector<_ty>::const_iterator' 类型的操作数（或者没有 可接受的转换）与 [ _Ty=const myClass * ]

我不明白vector.end() 和operator != 是如何工作的，但是vector.begin() 和operator =... 是错误的？

Answer 1

我不明白 const 在这里做什么。

const 适用于其左侧的东西，除非那里什么都没有，否则它适用于其右侧的东西。

请记住，空格并不重要，所以让我们让您的声明更易于阅读：

const myClass * const * Q

与

相同

const myClass* const *Q

第一个const 应用于myClass，第二个const 应用于第一个*。

声明按从右到左的顺序阅读（请参阅Easy rule to read complicated const declarations?），所以这个声明基本上是这样说的：

“Q 是一个非常量指针，指向一个指向 const MyClass 对象的 const 指针”

基本上，意思是Q本身的值可以改变（有利于迭代），但是Q指向的myClass*指针的值不能改变，myClass myClass* 指针指向的对象也不能更改（只能在其上调用 const 方法）。

Answer 2

以下示例将消除您对const myClass *const* Q 的疑问：

#include <iostream>
using namespace std;

int main(void)
{
    int i = 10;
    int j = 20;
    int *pt = &j;

    /* constant pointer to constant integer */
    const int *const ptr = &i;  

    /* constant pointer to constant poniter */
    const int *const * pptr = &pt;  

    cout<< " Address of i :" << &i << "    Address of J : " << &j <<endl;
    cout<< " value of i :  " << i << "    value of J : " << j << endl;
    cout<<" pptr :   " << pptr << endl;
    cout<<" ptr  :   " << ptr << endl;  // ptr is point to i
    cout<<" *pptr :   " << *pptr << endl; // *pptr is pointing j
    cout<<" *ptr  :   " << *ptr << endl;
    cout<<" **pptr :   " << (*(*pptr)) << endl;

    return 0;
}

输出 ::

Address of i :0x22fe3c    Address of J : 0x22fe38
value of i :  10    value of J : 20
pptr :   0x22fe30
ptr  :   0x22fe3c
*pptr :   0x22fe38
*ptr  :   10
**pptr :   20

希望你现在清楚了。

我所知道的是这段代码通常假设vector.begin()返回一个指针而不是一个迭代器

你错了，它返回一个迭代器。请参阅 vector::begin() reference.

(检查你的myClassMethod函数((*Q)->myClassMethod();)) 并参考error C2678: binary '=' : no operator found which takes a left-hand operand of type 'const Recipe' (or there is no acceptable conversion)

我的建议：使用最新的 C++11/C++14 功能（如auto，...）。

Answer 3

实际上，const 在 两个 处，但效果略有不同。

for (const myClass *const* Q = vMyClass.begin(); Q != vMyClass.end(); Q++)
     ^^1^^          ^^2^^

首先，让我们将声明与其他声明分开：

const myClass *const* Q

让我们首先保持一致，并将每个 const 放在它修改的内容之后。在这种情况下，这意味着只移动第一个：

myClass const *const* Q

对于这样的声明，我们希望从被声明的对象的名称开始，并将“*”读作“指向a的指针”，因此读作如下：

 Q is a pointer to a const pointer to a const myClass

您遇到的问题根本与const 无关。您遇到的问题是代码的作者取决于这样一个事实，即在某些特定库中，std::vector<T>::iterator （显然）被实现为指向 T 的指针。这是允许的，但有一些不良副作用（例如，这意味着vector<derived>::iterator 可以隐式转换为 vector<base>::iterator)，因此现代实现通常会避免它。

如果您想将此代码转换为现代 C++，那么所有这些都不是重点——您可能希望使用如下代码：

for (auto Q : vMyClass)
    Q->myClassMethod();