C语言传递数组到函数的一个发现

本文通过实验探讨了在C语言中,当数组被越界访问时的现象及其表现形式。包括不同数据类型(如int、char、double)下越界的输出结果,并提供了详细的测试代码及运行结果。

今天在调试程序的时候突然发现,将数组首地址和数组长度做为参数传递给函数时,将数组长度作为下标访问数组, 得到的是数组的长度。

环境:

操作系统: Centos 5.6

编译工具:gcc 4.1.2

代码如下:

#include <stdio.h>

static void fun(int *arr, int len)
{
	printf("%d\n", arr[len]);
}

int main(void)
{
	int a[] = { 1, 2, 3 };
	int len = sizeof(a) / sizeof(int);
	fun(a, len);
	return 0;
}



输出结果为3.

进一步测试发现,double类型的数组得到的结果是3059700, char类型的数组得到的是1.如果越过更多,则double之后的结果都是1, char类型之后都是0,int类型之后则是无序的数。测试代码如下:

#include <stdio.h>

/*
0: int
1: char
2: double
   */
static void fun(void *arr, int len, int type)
{
	int i;
	switch(type) {
		case 0:
			printf("integer array: %d\n", ((int *)arr)[len]);
			for(i = 1; i < 100; ++i)
				printf("integer array: %d\n", ((int *)arr)[len + i]);
			break;
		case 1:
			printf("character array: %d\n", ((char *)arr)[len]);
			for(i = 1; i < 100; ++i) 
				printf("character array: %d\n", ((char *)arr)[len + 1]);
			break;
		case 2:
			printf("double array: %d\n", ((double *)arr)[len]);
			for(i = 1; i < 100; ++i) 
				printf("double array: %d\n", ((double *)arr)[len + 1]);
			break;
		default:
			break;
	}
}

int main(void)
{
	/* integer array */
	int int_arr[] = {1, 3, 4};
	int int_len = sizeof(int_arr) / sizeof(int);
	fun(int_arr, int_len, 0);
	/* character array */
	char char_arr[] = { 'a', 'b', 'c' };
	int char_len = sizeof(char_arr) / sizeof(char);
	fun(char_arr, char_len, 1);
	/* double array */
	double double_arr[] = { 1.1, 2.1, 3.3 };
	int double_len = sizeof(double_arr) / sizeof(double);
	fun(double_arr, double_len, 2);
	return 0;
}
测试结果如图所示

在C语言中,将数组作为参数传递函数时,本质上是将数组的首地址作为指针传递。这意味着数组在作为参数传递时并不会进行完整的复制,而是以指针的形式传递数组的起始地址,从而实现对数组内容的访问和修改。 ### 一维数组传递方式 在函数声明中,可以使用以下三种等效方式将一维数组作为参数传递: 1. **使用指针形式**:`void foo(int *array)` 2. **使用数组形式(不指定大小)**:`void foo(int array[])` 3. **使用数组形式(指定大小)**:`void foo(int array[SIZE])` 这三种方式在编译器处理时都会被当作指针来处理,即 `int *array`。例如,定义一个函数来判断数组是否递增: ```c #include <stdio.h> #include <stdbool.h> bool isIncreasing(int *array, int n) { for (int i = 0; i < n - 1; i++) { if (array[i] > array[i + 1]) { return false; } } return true; } int main() { int arr[] = {1, 2, 3, 4, 5}; int len = sizeof(arr) / sizeof(arr[0]); if (isIncreasing(arr, len)) { printf("该数组是递增数组\n"); } else { printf("该数组不是递增数组\n"); } return 0; } ``` 上述函数 `isIncreasing` 接收一个指向 `int` 的指针和数组长度,通过遍历比较相邻元素判断数组是否递增[^1]。 ### 二维数组传递方式 对于二维数组传递方式与一维数组类似,但需要在函数声明中指定每一行的大小,以便编译器正确计算元素地址。例如: ```c #include <stdio.h> void print2DArray(int arr[][4], int rows) { for (int i = 0; i < rows; i++) { for (int j = 0; j < 4; j++) { printf("%d ", arr[i][j]); } printf("\n"); } } int main() { int a[3][4] = {{0, 1, 2, 3}, {4, 5, 6, 7}, {8, 9, 10, 11}}; print2DArray(a, 3); return 0; } ``` 函数 `print2DArray` 接收一个二维数组,其中第二维的大小为 4。这种方式允许函数正确访问每个元素[^4]。 ### 注意事项 - 在函数内部,数组名会退化为指针,因此无法直接使用 `sizeof(array) / sizeof(array[0])` 来获取数组长度,必须显式传递数组长度作为参数。 - 在处理二维数组时,如果省略第二维的大小,会导致指针运算错误,因此必须在函数参数中指定第二维的大小。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值