数组赋值

Question

让我用一个例子来解释-

#include <iostream>

void foo( int a[2], int b[2] ) // I understand that, compiler doesn't bother about the
                               // array index and converts them to int *a, int *b
{
    a = b ;  // At this point, how ever assignment operation is valid.

}

int main()
{
    int a[] = { 1,2 };
    int b[] = { 3,4 };

    foo( a, b );

    a = b; // Why is this invalid here.

    return 0;
}

是不是因为数组在传递给函数foo(..)时会衰减为指针，所以可以进行赋值操作。而在main 中，是不是因为它们的类型为int[]，它使赋值操作无效。 a,b 在这两种情况下不是意味着相同吗？谢谢。

编辑 1：

当我在函数foo 中执行此操作时，它会将b's 起始元素位置分配给a。所以，考虑到它，是什么让语言开发人员在main() 中没有做同样的事情。想知道原因。

Answer 1

您回答了自己的问题。

因为这些

int a[] = { 1,2 };
int b[] = { 3,4 };

类型为int[2]。但是这些

void foo( int a[2], int b[2] )

类型为int*。

你可以复制指针，但不能复制数组。

Answer 2

答案在“按值传递”的概念中，这意味着被调用的函数接收参数的副本——它们是指向整数的指针。所以a 和b 是这些指针的本地副本（调用者中不存在它们；它们是数组转换的结果，即它们的第一个元素的地址）。如果你写了也没什么不同

void foo( int aparam[2], int bparam[2] )
{
    int* a = aparam;
    int* b = bparam;

    a = b ;
}

Dennis Ritchie 承认参数的数组语法是语言上的一个缺陷，它只是为了简化 B 程序的转换——古老的历史！它还对 C++ 的设计产生了有害影响，因为数组不能按值传递。这种语法一直是混乱的根源。所以... 不要使用它;假装不合法。如果每个人都这样做，它可能会逐渐消失，并且可能在几十年后被赋予适当的语义。

更新：有关按值调用（C 和 Java 中唯一的调用形式；请参阅下面的我的 cmets）、按引用调用（在 C++ 中添加）和其他评估策略，见http://en.wikipedia.org/wiki/Evaluation_strategy

Answer 3

在主函数中
a 和 b 是常量指针，实际上它们是第一个元素的地址。它们就像 l 值。你不能复制到左值，但你可以改变它们指向的整数的值。

在 foo 函数中
a 和 b 是指针。这样您就可以更改它们的值。