[ASM/C/C++]数组引用

"数组引用"以避免"数组降阶"（本文曾贴于VCKBASE\C++论坛）

受[hpho]的一段模板函数的启发，特写此文，如有雷同，实在遗憾。
数组降阶是个讨厌的事，这在C语言中是个无法解决的问题，先看一段代码，了解什么是"数组降阶"

#include <iostream>
using namespace std;

void Test( char array[20] )
{
    cout << sizeof(array) << endl; // 输出 4
}

int main( void )
{
    char array[20] = { 0 };
    cout << sizeof(array) << endl; // 输出 20
    Test( array );
}

为什么同样申明的array一个输出20一个输出4？这是因为void Test( char array[20] )中的array被降阶处理了，void Test( char array[20] )等同于void Test( char array[] )，也等同于void Test( char* const array )，如果你BT（开玩笑），它也等同于void Test( char array[999] )。
就是说
void Test( char array[20] )
{
    cout << sizeof(array) << endl;
}
被降成
void Test( char* const array )
{
    cout << sizeof(array) << endl; // 既然是char*，当然输出4
}
这样一来问题大了，你完全可以定义一个不足20个元素的数组，然后传给Test，坐等程序崩溃。在一些要求较高的场合就不能使用数组做参数，真心有不甘。

那么在C语言中怎样解决这个问题？
没办法，应该说没有好办法。a：做个结构，其中仅一个char array[20]，然后用这个结构指针代替char array[20]。可见这是个很繁琐的办法，且不直观；b：在Test内部使用_msize来计算array长度。这更不行，首先它使得错误的发现被推迟到运行期，而不是编译期，其次_msize长度/元素大小>=array长度，也就是说就是new char[19]和new array[20]分配的大小是一样的，这样一来，虽不至于导致程序崩溃，但运算结果却不正确。

感谢[hpho]，受其启发，C++中有C所没有的"引用"，但数组引用是怎样申明的呢？经过几番试验，Look

#include <iostream>
using namespace std;

void Test( char (&array)[20] )    //是不是很像 char *p[20] 和　　　　　　　　　　　　　　　　　                                   //char(*p)[20] 的区别？
{
    cout << sizeof(array) << endl;
}

int main( void )
{
    char array[20] = { 0 };
    cout << sizeof(array) << endl;
    Test( array );
}

载自：http://blog.vckbase.com/bruceteen/archive/2004/05/20/232.aspx

另外一篇：

象如下定义就得到一个数组的引用
        类型名 （&变量明）[N]；
       
        实例
        int int_array[10];
        int (&int_ref)[10] = int_array;
        这样就得到了一个数组的应用

        在函数的声明中用数组的引用定义，就不怕数组退化了。如下

        for_each( int (&int_ref)[10] )
        {
                 for( int i=0; i<10; ++i )
                         std::cout << int_ref[i] << std::endl;
         }

         int main( int argc, char* argv[] )
         {
             int int_array[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }
         
             for_each( int_array );

             return 0;
          }

          在上面的代码中，如果你传入不是10个尺寸的数组，是编译通不过的。代码的安全性提高了。   

         想要定义一个数组引用类型，方法如下
         typedef 类型明 (&数组引用类型明)[N];

         实例
         typedef int (&Array_Ref)[10];
         Array_Ref就是一个数组的引用类型了。

原文转自：http://www.ltesting.net