使用模板传入具体的类型的数据

概述

之前我们使用模板，不用去为不同的类型实现重复的函数或者类。

除类型之外，实际模板也是可以传递具体的数据的。

看下面代码

template<typename T, int SIZE>
class Array {
private:
	T m_arr[SIZE];
public:
	int getSize()const {
		return SIZE;
	}
};

int main() {
	Array<int, 2> a1;
	std::cout << a1.getSize() << std::endl;

	std::cin.get();
	return 0;
}

明显代码中，我们使用模板传递了一个整形数据2。它是一个具体类型的数据，我们这里传递它的目的是作为数组的下标。

我们知道，在c或c++中定义数组的时候，数组的大小必须在编译的时候就得确定，所以我们在正常情况是不能使用变量来指定数组长度的。

但是，我们前面说到，模板如果我们不去使用它，它就是一个模板，不真实存在。(即使有些编译器会检验其语法的合法性)，只有当我们真实去使用的时候，才会去根据模板创建。

所以，上面我们在类模板的成员定义一个数组，数组的大小由一个模板参数SIZE指定。在没有使用的时候，它不真实存在，所以这样写没有问题。
当我们真实去使用数组的时候，会给SIZE传入具体的值，这时候会根据模板实现具体的类型，在实现的过程中T和SIZE都会替换成我们传入的参数，也就是2。然后，就行编译，此时数组的大小依然是可以确定的。 


在c++标准库中的array其实和此场景是类似的，我们在使用的过程中需要传递一个整数来指定内部数组的大小。