指针容器的自动类型推导

Question

我不明白为什么编译器在第三个for循环中决定将迭代器itr的指针指向in，而不是像在前2个循环中那样选择指向指针的指针。我试图解析演绎规则，但找不到相关的部分。

void foo()
{
    vector<int*> a;
    int b[] =   { 1, 2, 3 };

    for (int i = 0; i < 3; i++)
    {
        a.push_back(&b[i]);
    }
    for (vector<int*>::iterator itr = a.begin(); itr != a.end(); ++itr)
    {
        //itr is a pointer to a pointer to an int
        cout << **itr << endl;
    }
    for (auto itr = a.begin(); itr != a.end(); ++itr)
    {
        //itr is a pointer to a pointer to an int
        cout << **itr << endl;
    }
    for (auto itr : a)
    {
        //itr is a pointer to an int.  Why?
        cout << *itr << endl;
    }
}

Answer 1

来自范围为

( range_declaration : range_expression ) loop_statement (可选) ..。 range_declaration -一个命名变量的声明，的类型是由range_expression表示的序列元素的类型，或者是对该类型的引用。经常使用自动说明符进行自动类型推断。

for (auto itr : a)

在这里，itr获取a中元素的类型，即int*。

你可以写：

for (auto& itr : a)

并获得对a中元素的引用，但是无法获得指向该类型的指针。

另一方面，迭代器表示一个类似指针的实体，它指向容器的元素，这就是为什么您使用取消引用两次:一次用来获取迭代器指向的元素的值，并具有一种类型的int*，第二次是从int*获取实际的int值。