模板函数与模板类可结合实现泛型编程，1. 模板类内定义成员函数模板支持多类型操作，如Box类的assignFrom方法；2. 友元模板函数可访问模板类私有成员，实现通用操作符重载；3. 模板函数可接收模板类对象作为参数，提供统一处理接口；4. C++17支持类模板参数推导，结合辅助函数简化对象创建。核心是提升代码复用性与类型安全。

在C++中，模板函数和模板类可以灵活结合使用，以实现高度通用且类型安全的代码。这种组合常见于泛型编程中，比如STL中的容器与算法就是典型例子。下面介绍几种常见的结合方式和使用技巧。

1. 模板类中的成员函数模板

可以在模板类内部定义模板函数，也就是成员函数本身也是模板。这允许类的某个操作支持多种类型，而不局限于类模板参数。

示例：

定义一个简单的容器类 Box，其类型由模板参数决定，同时提供一个模板方法 assignFrom 用于从其他类型的 Box 赋值。

template
class Box {
public:
    T value;

    Box() = default;
    Box(const T& v) : value(v) {}

    template
    void assignFrom(const Box& other) {
        value = static_cast(other.value);
    }
};

使用方式：

立即学习“C++免费学习笔记（深入）”；

Box intBox(42);
Box doubleBox(3.14);
intBox.assignFrom(doubleBox); // 将 double 转为 int

这里，assignFrom 是一个模板函数，能接受任意类型的 Box，只要能转换为 T。

2. 友元模板函数与模板类的结合

有时需要为模板类定义非成员的友元函数模板（如重载操作符），使其能访问私有成员。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

示例：重载输出操作符

template
class Container {
private:
    T data;
public:
    Container(const T& d) : data(d) {}

    // 声明友元函数模板
    template
    friend std::ostream& operator& c);
};

// 定义友元模板函数
template
std::ostream& operator& c) {
    os     return os;
}

这样就可以对任意 Container 使用 输出。

3. 模板函数调用模板类实例

模板函数可以接收模板类对象作为参数，实现通用处理逻辑。

示例：通用打印函数

template
void printBox(const Box& box) {
    std::cout }

这个函数可以处理任何类型的 Box，无论 T 是 int、string 还是自定义类型。

4. 类模板与函数模板的嵌套推导

C++17 起支持类模板参数推导，结合函数模板可简化使用。

示例：构造函数推导 + 模板函数

template
class Pair {
public:
    T a, b;
    Pair(T a, T b) : a(a), b(b) {}
};

// 辅助函数用于推导类型
template
Pair make_pair(T a, T b) {
    return Pair(a, b);
}

使用时无需显式指定类型：

auto p = make_pair(1, 2); // 推导为 Pair

基本上就这些常见用法。模板函数与模板类结合的核心思想是：通过类型参数化提升代码复用性，同时保持类型安全。关键在于理解每个模板层次的作用域和实例化时机。合理设计模板接口，能让代码更简洁、高效。不复杂但容易忽略细节，比如友元声明的语法或显式实例化需求。