C++——数组类模板

1.模板参数可以是数值型参数（非类型参数）

模板参数是在编译阶段被处理的单元，所以在编译阶段必须准确无误的唯一确定

变量、浮点数、类对象不能作为模板参数

示例：使用模板参数计算1+2+...+N

#include <iostream> #include<string> using namespace std; template<typename T, int N> void func(){ T a[N] = {0}; for (int i = 0; i < N; i++) { a[i] = i; } for (int i = 0; i < N; i++) { cout << a[i] << endl; } } template<int N> class Sum { public: static const int VALUE = Sum<N - 1>::VALUE + N; }; //类模板特化 template<> class Sum<1> { public: static const int VALUE = 1; //静态常量，属于类本身（无需创建对象即可访问） }; int main() { //Sum<100> 会在编译期通过这种递归推导，直接算出 1+2+...+100 = 5050，运行时只是把这个预计算好的常量值打印出来 cout << "1+2+3+...+100=" << Sum<100>::VALUE << endl; //1+2+3+...+100=5050 return 0; }

使用分文件的方式

Complex.h

#pragma once 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; //数组类对象有可能是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() { }

main.cpp

#include <iostream> #include<string> using namespace std; #include "Complex.h" 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; }

运行结果：

0
1
4
9
16