C++对数组的引用实例分析
C++中所谓数组引用,即指向数组的引用;
如:
inta[10]; int(&b)[10]=a;
如果写成:
inta[10]; int*&b=a;
系统将会报错:cannotconvertfrom'int[10]'to'int*&'。
或许你会说在数组名不就是指向这个数组的一个指针吗?题中a是int*类型的,b是指向int*的引用,按理应该是正确的啊,为什么会报错呢?这是因为编译器对指向数组的引用检查更加严格,需要检查数组的维数,在这里a被理解成指向10个int数组的指针int[10],对于引用也需要相应的引用类型int(&)[10],即指向10个int数组的指针的引用。
c和c++中有一个“数组降价”问题。如下所示:
#include<iostream> voidtest(chararr[100]) { std::cout<<sizeof(arr)<<std::endl;//输出4 } intmain() { chararr[100]={0}; std::cout<<sizeof(arr)<<std::endl;//输出100 test(arr); return0; }
这段代码的输出是:
100
4
对于同样的arr,一个输出100,另一个输出4。是因为voidtest(chararr[100])中的arr被降价了。
voidtest(chararr[100])中的arr被降阶处理了,
voidtest(chararr[100])等同于voidtest(chararr[]),也等同于voidtest(char*constarr)如果你原意,它甚至等同于voidtest(chararr[10])
编译器对数组的维数不作检查。也就是说:
voidtest(chararr[100]) { std::cout<<sizeof(arr)<<std::endl; }
被降成
voidtest(char*constarr) { std::cout<<sizeof(arr)<<std::endl;//既然是char*,当然输出4 }
这样,即然不检查数组的大小,对于需要保证数组大小的程序就会带来问题。如何解决这个问题呢?可以用c++中的对数组的引用。
看下面这段代码:
...... voidtest(constchar(&arr)[100]) { std::cout<<sizeof(arr)<<std::endl;//输出100 } ...... chararr[100]={0}; std::cout<<sizeof(arr)<<std::endl;//输出100 test(arr); ......
这样test就能接受100个char的数组,且只能接受大小为100的char数组。
如果:
chararr[20]={0}; test(arr);
就会报错
在C++中,对数组的引用可以直接传递数组名,因为数组的大小的信息已在形参里提供了。但是这样一来我们只能固定数组的大小来用这个函数了。用模板加数组的引用可以解决这个问题,看如下代码:
template<intsz> voidtest(char(&arr)[sz]) { for(inti=0;i<sz;i++) ......} chara[2]={0},b[15]={0}; test(a);//ok test(b);//ok......
这样解决了数组长度可变的问题,但也引入了新的问题:
(1)当有多个不同的test调用时,会产生多份test代码。而传统的函数调用只有一份代,也调用的次数无关。
(2)由于这些代码都是在编译阶段生成的,它需要知道引用数组的大小。所以这样写的函数显然不能用指针变量作为函数的参数,因此不能用这个函数处理动态分配的内存区域,这样的区域的大小是在运行时确定的。