C++ 类模板是一种通用的类或函数的模板，它可以用来创建支持不同数据类型的通用类或函数。类模板可以在编译时生成特定类型的类或函数，使得代码可以更加灵活和可重用。
使用场景：
- 当需要编写支持多种数据类型的通用类或函数时，可以使用类模板。比如，可以使用类模板创建一个通用的容器类，这个容器类可以存储不同类型的数据。
- 当需要避免代码重复并提高代码重用性时，类模板也非常有用。
优缺点：
优点：
- 增加代码的重用性和灵活性，可以减少重复编码。
- 可以帮助开发者编写更加通用的代码。
缺点：
- 可能会增加编译时间和代码体积。
- 对于一些特定的场景，使用类模板可能会导致代码可读性降低。
举例：
// 定义一个简单的类模板
template <class T>
class Pair {
private:
T first, second;
public:
Pair(T a, T b) : first(a), second(b) {}
T getFirst() { return first; }
T getSecond() { return second; }
};
int main() {
// 实例化一个Pair类模板，支持int类型
Pair<int> intPair(1, 2);
cout << intPair.getFirst() << ", " << intPair.getSecond() << endl;
// 实例化一个Pair类模板，支持double类型
Pair<double> doublePair(3.14, 2.7);
cout << doublePair.getFirst() << ", " << doublePair.getSecond() << endl;
return 0;
}
++ 类模板容易出错的点有很多，主要包括以下几个方面。
- 编写类模板时，需要注意模板参数和模板类体中的具体类型使用一致，否则可能会导致编译错误。
- 类模板中如果使用了其他类型的模板，需要确保模板参数列表中的类型与该类型的模板参数类型一致。
- 在使用类模板时，需要根据模板参数的实际类型来确定实例化出的模板类的成员函数的实现。
- 在使用模板类时，需要确保该类模板已经被定义或者实例化了，否则可能会导致编译错误。
为了避免这些问题，可以采用以下措施：
- 仔细检查模板参数和模板类体中具体类型的使用，确保一致性。
- 在使用其他类型的模板时，需要检查模板参数列表中的类型的正确性，并确保使用了正确的模板。
- 在使用模板类时，可以通过使用模板别名（typedef）或者类型定义（type alias）来简化代码，避免出现错误。
- 为了确保类模板在使用前已经被定义或者实例化，可以将类模板定义和实例化放在同一个头文件中，并使用预编译指令（#ifndef、#define、#endif）来防止重复定义。
举个例子：在以下的代码中，我们定义了一个List类模板，但其中有一个错误。在该模板类定义中，我们在成员函数std::list::find()的实现中使用了类型T的递增运算符“++”。但是，T类型可能是不支持递增运算符的类型（例如自定义结构体类型）。因此，编译会报错，我们需要在实现中添加类型约束（要求T类型必须支持递增运算符）来避免这个错误。
#include <list>
using namespace std;
template <typename T>
class List {
public:
typedef typename std::list<T>::iterator iterator;
bool contains(const T& value) const { return (list_.end() != find(value)); }
private:
list<T> list_;
iterator find(const T& value) const {
return std::find(list_.begin(), list_.end(), value);
}
};
要解决这个问题，我们可以在类模板定义中使用类型约束（type constraints）来要求T类型必须支持递增运算符，如下所示：
template <typename T>
class List {
public:
// 要求T类型必须支持递增运算符，否则编译会报错
static_assert(std::is_same<decltype(++std::declval<T>()), T&>::value,
"T must support prefix increment operator (++T)");
typedef typename std::list<T>::iterator iterator;
bool contains(const T& value) const { return (list_.end() != find(value)); }
private:
list<T> list_;
iterator find(const T& value) const {
return std::find(list_.begin(), list_.end(), value);
}
};
这样，当使用不支持递增运算符的类型实例化该模板类时，编译器会产生编译错误，在编写代码时可以及时发现并修改这个问题。
