c++ 中sizeof 与数组形参

最新推荐文章于 2023-03-08 10:37:18 发布

原创最新推荐文章于 2023-03-08 10:37:18 发布 · 1k 阅读

3 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #c语言

C++ 专栏收录该内容

6 篇文章

订阅专栏

本文探讨了C++中sizeof运算符与数组的关系，详细解释了如何通过sizeof获取数组的大小，尤其是在函数参数中处理数组时的情况。文章还介绍了如何正确使用数组引用和非类型模板参数来获取数组的实际长度。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

c++ 中sizeof 与数组形参

sizeof，返回表达式或类型名所占用的字节数。


	int x[10];
	int* p = x;
	cout << sizeof(x)  << endl; //40，结果为数组占用的总空间
	cout << sizeof(*x) << endl; //4，结果为数组类型占用的空间
	cout << sizeof(p) << endl;  //4，结果为指针占用的空间
	cout << sizeof(*p) << endl; //4，结果为int占用的空间



	cout << sizeof(x) / sizeof(*x) << endl; //10
	cout << sizeof(p) / sizeof(*p) << endl; //1

数组两大特殊性质：

不允许拷贝数组。
使用数组时通常会将数组转换为指针。

所以，当数组作为函数形参时，由于性质1，无法进行值传递，所以实际上传入的是指向数组首元素的指针。举个粒子，如下函数：

void func(int* arr){
	int length = sizeof(arr)/sizeof(*arr);
    cout<<length<<endl;
}
int main(){
	int arr[6] = {9,1,1,2,3,7};
    func(arr);
}

我们将会看到，输出结果为1，因为我们的实参根据性质2转换成指针了，sizeof分别对指针和指针指向类型int运算，而上面我们知道他们得出的结果分别是4/4，所以我们并没有得到数组的长度。

C++允许将形参定义成数组的引用，将形参作为数组的引用。

int length(const int(&arr)[6]) {
	int length = sizeof(arr) / sizeof(int);
	return length;
}
int main(){
    int arr[6] = {1,1,2,3,7};
   	int index = length(arr);
	cout << "index: " << index2 << endl;;
}

这样就可以传入数组实参，在函数中获得数组的长度了，但实际上这操作太蠢了，因为数组的大小我们也要同时传入，这带来极大不便，所以我们可以使用另一种方法：非类型模板参数。

非类型模板参数，当编译器实例化模板时，编译器可以推断出该参数值，绑定到此参数值的实参必须为常量表达式。写个二分模板如下：

template<typename _Ty,size_t Size>
int binary(const _Ty (&arr)[Size],_Ty target) {
	_Ty left = 0;
	_Ty right = sizeof(arr) / sizeof(_Ty) - 1;


	/*int mid = 0;*/
	while (left <= right) {
		_Ty mid = left + (right - left) / 2;
		if (arr[mid] == target) {
			cout<< "mid"<<mid  <<endl;
			return mid;

		}
		else if (arr[mid] < target) {
			left = mid + 1;
		}
		else if (arr[mid] > target) {
			right = mid - 1;
		}
	}

	return -1;
	
}