数组的引用

1，数组的引用定义：

 

int array[ 10 ];

int (&array_ref)[ 10 ] = array;    // array_ref is now a reference to array 

圆括号是必须的，否则下面的申明：

int &array_ref[ 10 ];  //would attempt to declare an array of 10 references to ints.

将会申明一个数组，数组有十个元素，每个元素都是一个int&。

 

 

2，数组作为函数实参：

传引用

非引用形式：数组退化为指针decay

template<typename Type> void commonRef(const Type& x) { cout << "x in commonRef(const Type&) : " << typeid(x).name() << endl; } template<typename Type> void commonNoRef(Type x) { cout << "x in commonNoRef(Type) : " << typeid(x).name() << endl; } int array[5] = {0,1,2,3,4}; cout << "-----------------/n"; commonRef(array); commonNoRef(array); const char* pstr="hello"; const char sstr[] = {"hello"}; commonRef(pstr); commonNoRef(pstr); commonRef(sstr); commonNoRef(sstr); cout << "-----------------/n";

//输出

 

-----------------

x in commonRef(const Type&) : int const [5]

x in commonNoRef(Type) : int *

x in commonRef(const Type&) : char const *

x in commonNoRef(Type) : char const *

x in commonRef(const Type&) : char const [6]

x in commonNoRef(Type) : char const *

-----------------

 

3，数组作为函数模板的实参，模板机制可以推导数组的大小：

// 传数组引用

template<typename T, int N> void deduceArrayLength( T const(&arr)[N] ) { cout << typeid(arr).name() << endl; for (int i(0); i<N; i++){ cout << arr[i] << endl; } } int array[5] = {0,1,2,3,4}; deduceArrayLength(array); 

// 不传数组引用

template<typename T, int N> void noArrayLength( const T* arr ) { cout << typeid(arr).name() << endl; for (int i(0); i<N; i++){ cout << arr[i] << endl; } } int array[5] = {0,1,2,3,4}; noArrayLength<int, 5>(array); 

递归推导最高维数：

template<class T, int size> int func(const T(&a)[size]) { int max_len = 0; int len; if (size > max_len) max_len = size; if ((len = func(a[0])) > max_len) max_len = len; return max_len; } int func(...) { return 0; } int main() { int a[2][5][7][3][6]; cout<<func(a)<<endl; system("pause"); return 0; }