C语言——惊天BUG

惊天BUG：数组作为函数参数的时候，会被隐式转换成一个指向首元素的指针
                   sizeof(指针)结果在32位系统下就是4

为了便于理解，我用一个例题来说明

例题：在整型数组中查找指定的数字

源代码：

#include<stdio.h>
#include<stdlib.h>
int main() {
 int arr[] = { 1,3,4,5,7,9 };
 int to_find = 9;
 int i = 0;
 for (i = 0; i < sizeof(arr) / sizeof(arr[0]); i++) {
  if (arr[i] == to_find) {
   break;
  }
 }
 if (i < sizeof(arr) / sizeof(arr[0])) {
  printf("找到了！下标为%d\n", i);
 }
 else {
  printf("没找到！\n");
 }
 system("pause");
 return 0;
}

运行结果：

这里可以看到使用了(i < sizeof(arr) / sizeof(arr[0]) 这样就避免了去数数组元素的个数
但是当我们把上述代码封装成函数形式时，结果会不一样的

源代码：

#include<stdio.h>
#include<stdlib.h>
int Find(int arr[], int to_find) {
 int i = 0;
 for (i = 0; i < sizeof(arr) / sizeof(arr[0]);i++) {
  if (arr[i] == to_find) {
   return i;
  }
 }
 return -1;
}
int main() {
 int arr[] = { 1,3,4,5,7,9 };
 int to_find = 9;
 int i = Find(arr, to_find);
 if (i == -1) {
  printf("没找到！\n");
 }
 else {
  printf("找到了！下标为%d\n", i);
 }
 system("pause");
 return 0;
}

运行结果：

这是因为C语言中存在的惊天BUG
数组作为函数参数的时候，会被隐式转换成一个指向首元素的指针
sizeof(指针)结果在32位系统下就是4

我们可以在第四行后面加一个语句来验证
printf("%d\n", sizeof(arr));
运行结果：

可以看到运行的结果并不是我们想要的6，而是4
为了避免出现这种BUG情况，我们可以重新定义一个变量size在main函数中让变量size=sizeof(arr) / sizeof(arr[0])
则变量size就表示数组元素的个数

源代码(避免出现BUG的新方法)：

#include<stdio.h>
#include<stdlib.h>
int Find(int arr[], int size, int to_find) {
 int i = 0;
 printf("%d\n", size);
 for (i = 0; i < size; i++) {
  if (arr[i] == to_find) {
   return i;
  }
 }
 return -1;
}
int main() {
 int arr[] = { 1,3,4,5,7,9 };
 int to_find = 9;
 int size = sizeof(arr) / sizeof(arr[0]);
 int i = Find(arr, size, to_find);
 if (i == -1) {
  printf("没找到！\n");
 }
 else {
  printf("找到了！下标为%d\n", i);
 }
 system("pause");
 return 0;
}

运行结果：

可以看到了我们想要的数组元素个数为6，且找到了数字。