模板函数与模板类可结合实现泛型编程，1. 模板类内定义成员函数模板支持多类型操作，如Box类的assignFrom方法；2. 友元模板函数可访问模板类私有成员，实现通用操作符重载；3. 模板函数可接收模板类对象作为参数，提供统一处理接口；4. C++17支持类模板参数推导，结合辅助函数简化对象创建。核心是提升代码复用性与类型安全。
在C++中，模板函数和模板类可以灵活结合使用，以实现高度通用且类型安全的代码。这种组合常见于泛型编程中，比如STL中的容器与算法就是典型例子。下面介绍几种常见的结合方式和使用技巧。
1. 模板类中的成员函数模板
可以在模板类内部定义模板函数，也就是成员函数本身也是模板。这允许类的某个操作支持多种类型，而不局限于类模板参数。
示例：定义一个简单的容器类 Box，其类型由模板参数决定，同时提供一个模板方法 assignFrom 用于从其他类型的 Box 赋值。
template <typename T>
class Box {
public:
T value;
Box() = default;
Box(const T& v) : value(v) {}
template <typename U>
void assignFrom(const Box<U>& other) {
value = static_cast<T>(other.value);
}
};
使用方式：
立即学习“C++免费学习笔记（深入）”；
Box<int> intBox(42);
Box<double> doubleBox(3.14);
intBox.assignFrom(doubleBox); // 将 double 转为 int
这里，assignFrom 是一个模板函数，能接受任意类型的 Box<U>，只要能转换为 T。
2. 友元模板函数与模板类的结合
有时需要为模板类定义非成员的友元函数模板（如重载操作符），使其能访问私有成员。
示例：重载输出操作符
template <typename T>
class Container {
private:
T data;
public:
Container(const T& d) : data(d) {}
// 声明友元函数模板
template <typename U>
friend std::ostream& operator<<(std::ostream& os, const Container<U>& c);
};
// 定义友元模板函数
template <typename T>
std::ostream& operator<<(std::ostream& os, const Container<T>& c) {
os << "Data: " << c.data;
return os;
}
这样就可以对任意 Container<T> 使用 << 输出。
3. 模板函数调用模板类实例
模板函数可以接收模板类对象作为参数，实现通用处理逻辑。
示例：通用打印函数
template <typename T>
void printBox(const Box<T>& box) {
std::cout << "Box contains: " << box.value << std::endl;
}
这个函数可以处理任何类型的 Box<T>，无论 T 是 int、string 还是自定义类型。
4. 类模板与函数模板的嵌套推导
C++17 起支持类模板参数推导，结合函数模板可简化使用。
示例：构造函数推导 + 模板函数
template <typename T>
class Pair {
public:
T a, b;
Pair(T a, T b) : a(a), b(b) {}
};
// 辅助函数用于推导类型
template <typename T>
Pair<T> make_pair(T a, T b) {
return Pair<T>(a, b);
}
使用时无需显式指定类型：
auto p = make_pair(1, 2); // 推导为 Pair<int>
基本上就这些常见用法。模板函数与模板类结合的核心思想是：通过类型参数化提升代码复用性，同时保持类型安全。关键在于理解每个模板层次的作用域和实例化时机。合理设计模板接口，能让代码更简洁、高效。不复杂但容易忽略细节，比如友元声明的语法或显式实例化需求。
