指针的增量不起作用。我很难理解什么是什么

Question

我最近学习了一些 C++ 指针的基础知识。所以我知道数组的名称只是一个默认设置为数组第一个位置的指针。而且我真的不明白为什么第一个代码可以正常工作，而第二个代码显示错误：tab = tab+1;

你能解释一下为什么它如此模棱两可吗？

#include <iostream>
int main()
{
    int *tab;
    tab = new int[5] {0, 1, 2, 3, 4};

    for(int i=0; i<5; i++)
    {
        std::cout << *tab << std::endl;
        tab++;
    }

    delete []tab;
}

#include <iostream>
int main()
{
    int tab[5] = {0, 1, 2, 3, 4};

    for(int i=0; i<5; i++)
    {
        std::cout << *tab << std::endl;
        tab = tab+1; // ERROR
    }
}

Answer 1

第一个代码“有效”，因为tab 被声明为实际指针，您可以为它分配另一个指针。但是代码也失败了，因为当delete[] 被调用时，由于tab 不再指向new[] 返回的原始内存，它具有未定义的行为。

第二个代码不起作用，因为tab 被声明为数组，而不是指针。它在需要时衰减为指针，但不能将指针分配给数组。

Answer 2

所以我知道数组的名称只是一个默认设置为它的第一个位置的指针。

没有。那是错的。数组不是指针，指针也不是数组。

因为数组可以衰减到它的第一个元素的地址，你可以写int* tab_ptr = tab; 来获得指向第一个元素的指针：

#include <iostream>

int main()
{
    int tab[5] = {0, 1, 2, 3, 4};
    int* tab_ptr = tab;
    for(int i=0; i<5; i++)
    {
        std::cout << *tab_ptr << std::endl;
        tab_ptr = tab_ptr+1;
    }
}

而且由于数组在传递给函数时会衰减到其第一个元素的地址，因此您也可以这样做：

#include <iostream>

void foo(int t[]){
    for(int i=0; i<5; i++)
    {
        std::cout << *t << std::endl;
        t = t+1;
    }
}

int main()
{
    int tab[5] = {0, 1, 2, 3, 4};
    foo(tab);
}

当你写 tab = tab+1 时，你会得到错误：

<source>:23:13: error: incompatible types in assignment of 'int*' to 'int [5]'
   23 |         tab = tab+1;
      |         ~~~~^~~~~~~

因为数组确实衰减到tab+1 中的地址，而tab+1 是一个指针，但您不能将生成的指针分配给数组tab。

第一个版本没有这个问题，因为那里tab确实是一个指向动态数组的指针。