非类型模板形参取数组的维数

     我们知道，用模板的时候可以为他提供两种类型的模板形参：一种是类型模板形参，一种是非类型模板形参。例如如下声明：

template< class T> void foo(T t);    // 用的类型模板形参
template< class T, int n> void foo(T t);    // 用了类型模板形参，同时还用到了非类型模板形参int

      两者的区别是：对应类型模板形参，编译器会根据实参（对应模板函数）或者用户指定类型来实例化对应的模板函数或类型。而非类型模板形参主要是用来在模板函数调用时指定该形参的值。
      非类型模板形参最常用的是用来自动获取数组的维数。比如，我们给某个函数传递一个数组，并在函数内部打印这个数组的值，如果没有模板，我们的做法就可能是如下这样：

void print( int r[], int N)
{
     for ( int i=0;i<N;++i)
    {
        cout<<r[i]<<",";
    }
    cout<<endl;
}

      因为我们需要知道数组的维数，所以必须要求用户传递第二个参数作为维数传入。

       但是，如果是用非类型模板参数，又该如何用呢？
      我们如果给出如下的方案，并不能完全达到我们的目的：

template< class T, int N>
void print(T r[N])
{
     for ( int i=0;i<N;++i)
    {
        cout<<r[i]<<",";
    }
    cout<<endl;
}

因为如果这样调用：   

int main(){    
     int ss[] = {1,2,3,4,5,6,7,8,9};
    print(ss);   //或者print< int>(ss);
     return 0;
}

编译器会抱怨说：“void print(T [N])”: 未能从“int [9]”为“int [N]”推导 模板 参数”。也就是我们还是得指定N：print<int,9>(ss)才行。如果是这样，那岂不还不如将维数放到函数的参数里面了。是不是？

其实，这完全不能怪编译器或者模板，因为只要这样写就完全可以了：

template< class T, int N>
void print(T (&r)[N])
{
     for ( int i=0;i<N;++i)
    {
        cout<<r[i]<<",";
    }
    cout<<endl;
}

      我们就可以直接调用:  

print(ss);     //或者 print<int>(ss);

      就可以了。这是为什么呢？

      其实原理是很简单的，如果我们直接将数组名传给一个函数，数组将退化为一个指针，所以编译器自然也就无法用指针来推导维数了。但是我们强调传的是引用的话，编译器就明确知道这是一个数组，所以就去推导维数。我们可以给上面的程序加一句打印语句来测试：

template< class T, int N>
void print(T (&r)[N])
{
    cout<<sizeof(r)<<endl;
    for (int i=0;i<N;++i)
    {
        cout<<r[i]<<",";
    }
    cout<<endl;
}
template< class T, int N>
void print1(T r[N])
{
    cout<<sizeof(r)<<endl;
    for (int i=0;i<N;++i)
    {
        cout<<r[i]<<",";
    }
    cout<<endl;
}
int main()
{    
    int ss[] = {1,2,3,4,5,6,7,8,9};
    print(ss);    
    print1<int,9>(ss);    

    return 0;
}

      运行结果如下：
36
1,2,3,4,5,6,7,8,9,
4
1,2,3,4,5,6,7,8,9,

      很明显可以看出，传引用的方式他知道是一个数组，所以sizeof是按数组的方式计算的4*9=36.而第二种方式尽管我告诉他维数了，并且打印出结果了，但是丝毫没有改变编译器将print1的参数T r[N]视为一个指针的事实，所以sizeof的值为4.


      好了，总结一下就是： 如果希望用非类型模板形参的方式取数组的维数时，请记住用数组引用的方式作为形参！