C语言小白容易出现的一个错误——用sizeof计算数组大小

笔者最近在写Shellsort（希尔排序）的时候遇到了一个错误，相信很多c语言新手都会踩坑。

话不多说，上错误代码

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
#include<Windows.h>
#define MAXSIZE 10

void printarr(int arr[]) {
	for (int i = 0;i < MAXSIZE;i++) {
		printf("%d ", arr[i]);
	}
}

void a_Shellsort(int arr[], int dk) {
	int j = 0;
	for (int i = dk;i < MAXSIZE;i++) {
		int temp = arr[i];
		if (arr[i] < arr[i - dk]) {
			for (j = i - dk;j >= 0 && temp < arr[j];j -= dk) {
				arr[j + dk] = arr[j];
			}
			arr[j + dk] = temp;
		}
	}
}

//希尔排序
void Shellsort(int arr[], int dt[]) {
    int sz = sizeof(dt)/sizeof(dt[0]);
	for (int k = 0;k < sz;k++) {
		a_Shellsort(arr, dt[k]);
	}
}


int main() {
	int test[10] = { 9,4,7,1,2,5,6,3,8,10 };
	int dt[3] = { 7,3,1 };//2^k-1
	//int sz = sizeof(dt) / sizeof(dt[0]);
	Shellsort(test, dt);
	printarr(test);
	system("pause");
	return 0;
}

运行结果如下：

 

对于希尔排序的本身内容，感兴趣的朋友可以看一下

这段代码本来是对于main函数中test = { 9，4，7，1，2，5，6，3，8，10 }进行递增排序，正常的输出结果应该是“1，2，3，4，5，6，7，8，9，10”，但结果却是乱序的，这是为什么呢？

实际上错误出在这里：

f11调试可发现：

很显然，主函数的dt数组是拥有三个整形元素的数组，sz的值应该为3才对，但这里却是2。

计算数组大小的方法大家应该熟悉的不能再熟悉：用数组大小除以数组的元素大小，也就是用到sizeof。正常来说，sz的值的确应该为3，但这里为什么为2呢？

其实，大家可以看到，我计算sz的是在函数内部计算的，传入的参数是dt这个数组。大家应该都知道，c语言把数组作为形数传进去的时候，传入的实际上是数组首元素的地址，也就是一个整形指针，在64位操作系统中指针内存占8个字节。

（原理可参考链接：https://blog.csdn.net/IOSSHAN/article/details/88944637）

那么sizeof(dt)指的是这个指针的大小，也就是8个字节，sizeof(dt[0])由于dt数组存的是int类型，int类型大小为4个字节，故这个表达式sizeof(dt) / sizeof(dt[0]) = 8 / 4 = 2，sz的大小为2，出现了以上错误。

改正的方法也很简单，将sz在函数外部计算，再作为参数传进去就行。

void Shellsort(int arr[], int dt[], int sz){
     .....
}

int main(){
    int dt[3] = { 7,3,1};
    int sz = sizeof(dt) / sizeof(dt[0]);
    ...
}

这样结果就正确了！

（ps：笔者也是c语言小白，若以上解释有错误，敬请指正！）