36、C++ 模板编程全解析：从函数模板到类模板

C++ 模板编程全解析：从函数模板到类模板

1. 函数模板的基础与错误处理

在 C++ 中，函数模板是一种强大的工具，它允许我们编写通用的代码，适用于多种数据类型。然而，使用函数模板时可能会遇到一些错误。例如，当编译器不知道模板参数 T 的具体类型时，它无法理解某些表达式的含义。

// 假设存在这样一个错误的模板函数
template<class T>
T add(T lhs, T rhs) {
    return lhs(rhs); // 这里会出错，因为编译器不知道 lhs(rhs) 是什么意思
}

要让编译器报告这类错误，可以在 main 函数中添加调用该模板函数的代码，如 return add(0, 0); 。这样，编译器就会指出模板定义中不合理的表达式。

2. 模板参数

在 C++ 程序中，看到 T 时，很可能是在处理模板。要找到模板参数，需要在源文件中向前查找以 template 关键字开头的模板头。使用 T 作为模板参数名只是一种约定，大多数情况下都会这么用。不过，也可以用 typename 来声明模板参数类型，它在这种上下文中和 class 含义相同。 typename 的优点是避免了非类类型带来的混淆，但它在模板上下文中有多种用途，在复杂的模板定义中可能会让读者困惑。