C++模板进阶，C++模板进阶详解

摘要：本文介绍了C++模板的进阶内容。通过深入了解模板的概念、语法和特性，可以更好地使用C++模板来编写高效、可重用和灵活的代码。本文涵盖了模板的多种应用场景，包括泛型编程、函数模板和类模板等。掌握这些进阶知识，将有助于提升C++编程技能，更好地应对实际开发中的挑战。

模板参数

模板是什么？模板就是一个半成品，需要实例化才能使用，模板就像一个模具，丢进去什么东西，就变成什么东西，丢进去铁就变成铁剑，丢进去金就变成金剑，剑的作用都是一样的，但不同的剑适用于不同的场景。

函数参数是（T 对象），而模板参数则分为函数模板（可以推导）和类模板（必须实例化）。

非类型模板（传常量）

目前只支持整型int、char、unsigned_int、size_t等，一般传常量使用宏，但宏有一个缺点是不可改变，需要10个大小的数组时宏还可以，但如果需要20或更大的数字则无法满足，而非类型模板参数可以解决这一问题，数组参数为N，你可以传N的参数为任何数值，编译器会生成相应大小的类。

按需实例化

在编译过程中，编译器会根据需求实例化，生成具体的类，再进行语法编译，如果你有一个模板类，里面有100个成员函数，但只用到其中一个，那么编译器只会实例化你需要的那个成员函数，这意味着，如果某个成员函数有语法错误，但因为没有被实例化，编译器不会对其进行检查，因此不会报错，具体实例如下：

namespace me {
 template<int N> // 这里指定了一个整型模板参数N
 class A { // 定义了一个名为A的模板类
 public:
 void func1() { // 定义了一个成员函数func1
 cout << "Hello World!" << endl; // 输出Hello World!
 }
 }; // 类定义结束
} // 命名空间结束

在这个例子中，A是一个模板类，它有一个整型模板参数N，当你实例化这个类并调用func1函数时，编译器只会实例化这个函数，而不会检查其他未使用的函数是否有语法错误。