为什么我需要取消引用迭代器？

Question

为什么我需要取消引用迭代器？例如在下面的程序中

#include <iostream>
#include <string>
#include <vector>

int main()
{
    using namespace std;
    string s("some string");

    for(auto it = s.begin(); it != s.end(); && !isspace(*it); ++it)
        *it = isupper(*it);
    cout<<s;
}

为什么必须使用isupper(*it); 而不仅仅是isupper(it);？

Answer 1

为了区分指针 T 上的操作和主题 T 上的操作，必须有一个解引用运算符。

例如：

int* x = ...;

x++;

你的意思是你想增加指针，让它指向内存中的下一个 int 吗？还是要增加 x 指向的 int？

如果没有引用运算符，这将是模棱两可的。

迭代器只是指针接口的泛化。

与参考文献对比：

int& x = ...;

x++;

引用具有替代语义，不需要取消引用。对 T 的引用的操作适用于主题 T。缺点是您不能修改引用本身。

Answer 2

您需要能够对迭代器本身执行操作，例如你的代码是 it != s.end() 和 ++it

有时您需要能够对迭代器指向的对象执行操作，例如isupper(*it)

必须有 some 操作来表明你想引用它所引用的东西而不是迭代器本身，否则如果你测试 if (it == another_it) 编译器如何知道你是否试图比较迭代器或它们指向的东西？ ++it 操作也是如此，它想要修改迭代器，而不是它指向的东西。

迭代器可以有一个 get() 成员来返回它们所引用的东西，所以你会这样做 isupper(it.get()) 但它们支持解引用运算符，它更少输入并且与指针一致并允许使用指针在任何需要迭代器的代码中。

Answer 3

Iterator 是一个通用指针。它指向某物。如果你有一个函数需要这个东西（在这种情况下是 char 或 int），而不是“指针”本身，你需要取消对迭代器的引用。

例如，标准的advance 函数将迭代器作为其参数。因此，您传递迭代器而不取消引用它，如

std::advance(it, n);

但是，如果您有一个指向 int 的迭代器，并且您想将该整数增加 4，则需要

(*it) += 4;

我建议你阅读a good book on C++。

顺便说一句，你的整个循环可以被一个转换调用替换

 std::transform(s.begin(), s.end(), s.begin(), toupper);