数组是按值传递还是按引用传递？

Question

我肯定知道

function(int *a); function(int a[]);

在C中是相同的,函数(int a [])将被转换为函数(int*a)

int *a = malloc(20);
int b[] = {1,2,3,4,5};

这两个不一样,第一个是指针,第二个是数组.当我调用函数(b)时会发生什么？(函数(int*a))我知道b在堆栈上,那么如何传递给该函数？

其次,字符串:

char *c1 = "string";
char c2 [] = "string";

在这种情况下,我不知道c1在哪里,我想c2在堆栈上.假设函数现在是:function(char*c),它与函数(char c [])相同,当我调用函数(c1)和函数(c2)时会发生什么,字符串将通过引用传递或值？

Answer 1

有一个关键点,使这里,一切都是真的通过了由价值为例,这将传递一个副本的a来foo()(这恰好是一个指向一些内存):

int *a = malloc(20);
foo(a);

这就是为什么如果你做这样的事情,foo()它并没有真正改变指针a,main()但改变了本地副本:

foo(int *a)
{
  a = NULL; /*changes local copy of the pointer*/
}

换句话说,您可以使用foo()本地副本a来更改"a" 指向的内存,但不能更改a 指向的内容main().

现在,为了传递"通过引用"的东西,你将一个指向指针的副本传递给函数(类似于a-> b-> memory):

int *a = malloc(20);
foo(&a);

因此,当您分配给它时foo(),更改指针main():

foo(int **a)
{
  *a = NULL; /*changes the pointer in main */
}

现在回答一些其他问题,当您使用数组名称时,它将转换为指向数组第一个元素的指针:

int *a = malloc(20);
int b[] = {1,2,3,4,5};
foo(a);
foo(b);

最后两个函数调用是等效的,因为它们都将指针传递给某个内存的第一个元素,区别在于a堆上分配的内存,b然而,内存是在堆栈上分配的.

最后,字符串,下面是类似的,就是同样的原则也适用,但第一个是一个常量字符串文字和应该被定义为const,你应该不会尝试任何地方修改它,但你可以改变第二个:

const char *c1 = "string";
char c2 [] = "string";

 

Answer 2

来自K&R2

When an array name is passed to a function, what is passed is the 
location of the initial element. Within the called function, this 
argument is a local variable, and so an array name parameter is a 
pointer, that is, a variable containing an address.

参数声明char c2 [] 只是语法糖char* c2.

C中的所有内容都作为值传递.有关此用途的进一步说明请使用此链接.

Eli Bendersky也有一篇很好的文章讨论同样的问题.