数组类指针

模板参数可以是字面量型参数（非类型参数），

template <typename T,int N>  // N是字面量型参数
void function()
{
    
}

function<double,10>();  // 调用时

字面量型参数限制：变量，浮点数（无法精确表示），类对象不能作为模板参数。（模板参数是在编译阶段是要被确定的）

// 类模板实现递归

template
< int N >  // 字面量参数模板
class Sum
{
public:
    static const int VALUE = Sum<N-1>::VALUE + N;  // 递归过程是由编译器完成的
};

template
< >      // 参数为字面量的完全特化模板
class Sum < 1 >   // 当N为1时调用这里的模板，递归的截至条件
{
public:
    static const int VALUE = 1;  // VALUE 可能存入静态存储区，可能存入常量表。由于定义了值，所以进入常量表。由于被static声明，所以进入静态存储区。
};

int main()
{
    cout << Sum<10>::VALUE << endl;  // 编译时就做了递归操作，所以VALUE值是一个常量值，这里只是访问
    return 0;
}

数组模板类：

#ifndef _ARRAY_H_
#define _ARRAY_H_

template
< typename T, int N >
class Array
{
    T m_array[N];
public:
    int length();
    bool set(int index, T value);
    bool get(int index, T& value);
    T& operator[] (int index);
    T operator[] (int index) const;
    virtual ~Array();
};

template
< typename T, int N >
int Array<T, N>::length()
{
    return N;
}

template
< typename T, int N >
bool Array<T, N>::set(int index, T value)
{
    bool ret = (0 <= index) && (index < N);
    
    if( ret )
    {
        m_array[index] = value;
    }
    
    return ret;
}

template
< typename T, int N >
bool Array<T, N>::get(int index, T& value)
{
    bool ret = (0 <= index) && (index < N);
    
    if( ret )
    {
        value = m_array[index];
    }
    
    return ret;
}

template
< typename T, int N >
T& Array<T, N>::operator[] (int index)
{
    return m_array[index];
}

template
< typename T, int N >
T Array<T, N>::operator[] (int index) const
{
    return m_array[index];
}

template
< typename T, int N >
Array<T, N>::~Array()
{

}

#endif

#include <iostream>
#include <string>
#include "Array.h"
#include "HeapArray.h"

using namespace std;

int main()
{
    Array<double, 5> ad;
    
    for(int i=0; i<ad.length(); i++)
    {
        ad[i] = i * i;
    }
    
    for(int i=0; i<ad.length(); i++)
    {
        cout << ad[i] << endl;
    }
    

    return 0;
}