Cxx primer-chap16-Templates and Generic Programming

1. OOP和generic programming都是处理在写程序时不知道类型的情况：，同时，模版是C++中泛型编程的基础，它就是创建类或函数的蓝图。将泛型转换成具体类或函数的过程发生在编译时。
2. 如果我们想要处理用户提供的类型，那么就必须要实现模版：
3. 函数模版的定义形式：，对于模版参数T，其具体类型在编译时确定。我觉得也不该在运行时确定，因为后续还要做一些检查等？对于将具体类型替换模版参数的过程称为模版的实例化：
4. 关键字typename和class在用于定义type parameters时可以交替使用：
5. 非类型模版参数代表数组而非一个类型，例如因为数组类型，其长度也是类型的一部分，所以为了处理变长数组，可以定义一个非类型模版参数来接收数组长度：，则遇到时，编译器将使用字面量的大小来实例化一个模板版本，并用 N 和 M 的大小来替代：，具体原因：
6. 对于模版而言，应该在实现时减少对实参类型的要求：，调用者需要保证传递给模版参数的类型支持模版使用的操作。此外，需要将模版函数的实现/模版类的实现放入到头文件中：
7. 参考容器，类模版需要显式提供template arguments，因为编译器无法自动推断：，，个人认为模版到类/函数 实例化的过程，不同于类到对象实例化的过程：，前者生成的类/函数独一无二，互不相关，但是后者似乎还能相互赋个值啥的～。
8. 如果想要使用模版类中定义的类型，需要使用typename类型：
9. 变长模版参数：，其中变长函数通常用于既不知道参数数量也不知道参数类型的时候：，实例为，相比于initializer_list，其不要求参数类型相同，因此更加灵活。

感觉这一章细节很多，本次走马观花，希望之后遇到相关知识能耐心回头，再品其中妙处。