一维数组传参问题

一维数组传参问题

• 能否向函数传递一个数组？看例子：

void fun(char a[10])
{
   char c = a[3];
}

int main()
{
   char b[10] = "abcdefg";
   fun(b[10]);
   return 0;
}

编译会出现警告，但是不会报错，但是运行出错。分析：

1. 第一：b[10]并不存在，在编译的时候由于没有去实际地址取值，所以没有出错，但是在运行时，将计算b[10]的实际地址，并且取值。这时候发生越界错误。
2. 第二：编译器的警告已经告诉我们编译器需要的是一个char*类型的参数，而传递过去的是一个char 类型的参数，这时候fun 函数会将传入的char 类型的数据当地址处理，同样会发生错误。

那怎么办呢？

 fun(b[10]);  改为  fun(b); 

成功。

• 无法向函数传递一个数组

我们完全可以验证一下：

void fun(char a[10])
{
   int i = sizeof（a）；
   char c = a[3];
}

如果数组b 真正传递到函数内部，那i 的值应该为10。但是我们测试后发现i 的值竟然为4！为什么会这样呢？难道数组b 真的没有传递到函数内部？是的，确实没有传递过去，这是因为这样一条规则：
C 语言中，当一维数组作为函数参数的时候，编译器总是把它解析成一个指向其首元素首地址的指针。

 

这么做是有原因的。在C 语言中，所有非数组形式的数据实参均以传值形式（对实参做一份拷贝并传递给被调用的函数，函数不能修改作为实参的实际变量的值，而只能修改传递给它的那份拷贝）调用。然而，如果要拷贝整个数组，无论在空间上还是在时间上，其开销都是非常大的。更重要的是，在绝大部分情况下，你其实并不需要整个数组的拷贝，你只想告诉函数在那一刻对哪个特定的数组感兴趣。这样的话，为了节省时间和空间，提高程序运行的效率，于是就有了上述的规则。同样的，函数的返回值也不能是一个数组，而只能是指针。这里要明确的一个概念就是：函数本身是没有类型的，只有函数的返回值才有类型。

 

经过上面的解释，相信你已经理解上述的规定以及它的来由。上面编译器给出的提示，说函数的参数是一个char*类型的指针，这点相信也可以理解。既然如此，我们完全可以把fun 函数改写成下面的样子：

void fun(char *p)
{
   char c = p[3];//或者是char c = *(p+3);
}

同样，你还可以试试这样子：

void fun(char a[10])
{
   char c = a[3];
}
int main()
{
   char b[100] = "abcdefg";
   fun(b);
   return 0;
}

运行完全没有问题。实际传递的数组大小与函数形参指定的数组大小没有关系。既然如此，那我们也可以改写成下面的样子：

void fun(char a[ ])
{
   char c = a[3];
}

改写成这样或许比较好，至少不会让人误会成只能传递一个10 个元素的数组。

个人理解：编译器把数组首地址视为指针，那么指针本身传递会拷贝一份，但是原指针和拷贝指针都指向同一块内存，所以可以操作同一块内存（和下面指针参数原理一样）。

一级指针参数

• 能否把指针变量本身传递给一个函数

我们把上一节讨论的列子再改写一下：

void fun(char *p)
{
   char c = p[3];//或者是char c = *(p+3);
}

int main()
{
   char *p2 = "abcdefg";
   fun（p2）;
   return 0;
}

这个函数调用，真的把p2 本身传递到了fun 函数内部吗？

我们知道p2 是main 函数内的一个局部变量，它只在main 函数内部有效。（这里需要澄清一个问题：main 函数内的变量不是全局变量，而是局部变量，只不过它的生命周期和全局变量一样长而已。全局变量一定是定义在函数外部的。初学者往往弄错这点。）既然它是局部变量，fun 函数肯定无法使用p2 的真身。那函数调用怎么办？好办：对实参做一份拷贝并传递给被调用的函数。即对p2 做一份拷贝，假设其拷贝名为_p2。那传递到函数内部的就是_p2 而并非p2 本身。

个人理解：虽然p2并不是真身传入进去，是重新拷贝p2的副本传入，但是指针p2和p都指向“abcdefg”这个字符串的首地址，但是p2和p的指针地址即&p2和&p不同（印证了p是重弄新分配的p2副本）。

• 无法把指针变量本身传递给一个函数

这很像孙悟空拔下一根猴毛变成自己的样子去忽悠小妖怪（说明小猴子是重新分配的），但是小猴子都像孙悟空（说明小猴子都指的是孙悟空）。所以fun 函数实际运行时，用到的都是_p2 这个变量而非p2 本身。如此，我们看下面的例子（该例子也是经典的常见面试题，本人以前面试碰到几次）：

void GetMemory（char * p, int num）
{
   p = (char *)malloc(num*sizeof(char));
}

int main()
{
   char *str = NULL;
   GetMemory（str，10）;
   strcpy(str,"hello");
   free（str）；//free 并没有起作用，内存泄漏
   return 0;
}

在运行strcpy(str,”hello”)语句的时候发生错误。这时候观察str 的值，发现仍然为NULL。也就是说str 本身并没有改变，我们malloc 的内存的地址并没有赋给str，而是赋给了_str。

而这个_str 是编译器自动分配和回收的，我们根本就无法使用。所以想这样获取一块内存是不行的。那怎么办? 两个办法：
第一：用return。

char * GetMemory（char * p, int num）
{
   p = (char *)malloc(num*sizeof(char));
   return p；
}

int main()
{
   char *str = NULL;
   str = GetMemory（str，10）;
   strcpy(str,"hello");
   free（str）；
   return 0;
}

这个方法简单，容易理解。

第二：用二级指针。

void GetMemory（char ** p, int num）
{
   *p = (char *)malloc(num*sizeof(char));
   return p；
}

int main()
{
   char *str = NULL;
   GetMemory（&str，10）;
   strcpy(str,"hello");
   free（str）；
   return 0;
}

注意，这里的参数是&str 而非str。这样的话传递过去的是str 的地址，是一个值。在函数内部，用钥匙（“*”）来开锁：*(&str)，其值就是str。所以malloc 分配的内存地址是真正赋值给了str 本身。

---

参考原文：

 http://c.biancheng.net/cpp/html/478.html