c - 指针运算和数组 : what's really legal?

Question

考虑以下语句:

int    *pFarr, *pVarr;

int    farr[3] = {11,22,33};
int    varr[3] = {7,8,9};

pFarr = &(farr[0]);
pVarr = varr;

在这个阶段，两个指针都指向每个相应数组地址的开头。对于 *pFarr，我们目前正在寻找 11，对于 *pVarr，我们目前正在寻找 7。

同样，如果我通过*farr 和*varr 请求每个数组的内容，我也得到11 和7。

到目前为止一切顺利。

现在，让我们试试 pFarr++ 和 pVarr++。伟大的。正如预期的那样，我们现在正在查看 22 和 8。

但是现在...

试图向上移动 farr++ 和 varr++ ......我们得到“错误的递增参数类型”。

现在，我认识到数组指针和常规指针之间的区别，但由于它们的行为相似，为什么会有这种限制？

当我还考虑到在同一个程序中我可以以一种表面上正确的方式和另一种不正确的方式调用以下函数时，这让我更加困惑，而且我得到了相同的行为，尽管与代码贴在上面!？

working_on_pointers ( pFarr, farr );  // calling with expected parameters
working_on_pointers ( farr, pFarr );  // calling with inverted parameters 

.

void working_on_pointers ( int *pExpect, int aExpect[] ) {

    printf("%i", *pExpect);  // displays the contents of pExpect ok
    printf("%i", *aExpect);  // displays the contents of aExpect ok

    pExpect++;               // no warnings or errors
    aExpect++;               // no warnings or errors

    printf("%i", *pExpect);  // displays the next element or an overflow element (with no errors)
    printf("%i", *aExpect);  // displays the next element or an overflow element (with no errors)

}

谁能帮我理解为什么数组指针和指针在某些上下文中的行为相似，而在其他上下文中却不同？

非常感谢。

编辑:像我这样的菜鸟可以从这个资源中进一步受益: http://www.panix.com/~elflord/cpp/gotchas/index.shtml

Answer 1

不同之处在于，要使 farr++ 生效，编译器需要在某处存储 farr 将计算为数组第二个元素的地址。但是没有地方存放这些信息。编译器只为 3 整数分配位置。

现在当你声明一个函数参数是一个数组时，函数参数将不是一个数组。函数参数将是一个指针。 C中没有数组参数，所以下面两个声明是等价的

void f(int *a);
void f(int a[]);

括号中的数字是多少并不重要 - 因为参数实际上是一个指针，所以“大小”将被忽略。

这对于函数也是一样的——下面两个是等价的，并且有一个函数指针作为参数:

void f(void (*p)());
void f(void p()); 

虽然您可以同时调用函数指针和函数(因此它们的用法相似)，但您也不能写入函数，因为它不是指针 - 它只是转换 指向一个指针:

f = NULL; // error!

与您无法修改数组的方式大致相同。