C++模板与数组

问题：写一个函数，找出一个整数数组的最大值。

通常的写法都需要传递两个参数，一个表示数组的起始地址，一个表示数组的大小。但是更直接地想法是，数组的大小应该是数组本身的一个属性，每次使用min函数都要告诉它大小，显然是一件烦琐的事。好在C++的模板机制给了我更好的实现方式。先看代码：

template  < typename Type,  int  size >
Type min( const  Type ( & r_array)[size])
... {
    Type min_val=r_array[0];
    for (int i=1;i<size;++i)
        if (r_array[i]<min_val)
            min_val=r_array[i];
    return min_val;
}

template的参数都是在编译期间完成初始化的，因此size的大小是已知的。比较令人惊讶的是这个函数的使用方式：

int  main() ... {
    int ia[]=...{10,7,14,3,25};
    double da[6]=...{10.2,7.1,14.5,3.2,25.0,16.8};
    cout<<min(ia)<<endl;
    cout<<min(da)<<endl;
    system("pause");
    return 0;
}

可以看出，数组的大小确实是数组类型的一部分，不然min根本无法得到size。不像C语言那样，仅仅把数组名当作一个指针。