C++模板编程进阶：类模板详解

C++模板编程进阶：类模板详解

本文基于C++模板编程项目中的类模板实现，深入讲解类模板的核心概念、特化机制以及实际应用场景。通过本文，你将掌握如何设计和使用类模板来构建泛型数据结构。

类模板基础概念

类模板是C++泛型编程的核心工具之一，它允许我们定义能够处理多种数据类型的类结构。与函数模板类似，类模板通过类型参数化来实现代码复用。

基本语法

类模板的定义以template关键字开头，后跟模板参数列表：

template <typename T>
class MyContainer {
    // 类成员定义
};

类模板实例化

编译器会根据使用情况自动实例化类模板。例如：

MyContainer<int> intContainer;  // 实例化int版本的MyContainer
MyContainer<double> doubleContainer;  // 实例化double版本的MyContainer

有向无环图(DAG)类模板实现

项目中提供了一个完整的DAG图实现，展示了类模板的强大功能。这个实现支持：

1. 节点添加和边连接
2. 拓扑排序遍历
3. 头尾节点识别
4. 图的分量分析

核心数据结构

template <typename K, typename V>
struct DAGNode {
    K k;  // 节点键值
    V v;  // 节点值
    std::set<DAGNode<K, V>*> in;  // 入边节点集合
    std::set<DAGNode<K, V>*> out; // 出边节点集合
};

关键功能实现

添加边

template <typename K, typename V>
bool DAGGraph<K, V>::AddEdge(const K& from, const K& to) {
    // 检查是否形成环
    if (IsCyclic(bucket_.at(from), bucket_.at(to))) {
        return false;
    }
    // 更新图结构
    bucket_.at(from).out.emplace(&bucket_.at(to));
    bucket_.at(to).in.emplace(&bucket_.at(from));
    // 更新头尾节点集合
    heads_.erase(to);
    tails_.erase(from);
    return true;
}

拓扑排序

template <typename K, typename V>
std::vector<K> DAGGraph<K, V>::TopologicalSequence(
    const std::set<K>& connected_components, bool start_from_head) const {
    // 构建邻接表和入度表
    std::map<K, std::vector<K>> adjacency_list;
    std::map<K, int32_t> in_degree;
    
    // 使用队列实现拓扑排序
    std::queue<K> q;
    std::vector<K> res;
    
    // 标准拓扑排序算法实现
    while (!q.empty()) {
        const K key = q.front();
        q.pop();
        res.emplace_back(key);
        // 更新相邻节点的入度
    }
    
    return res;
}

类模板特化机制

C++提供了两种特化机制：全特化和偏特化。

全特化

全特化为特定类型提供完全不同的实现：

template <>
class A<int> {
    // 针对int类型的特殊实现
};

偏特化

偏特化为一类类型提供特殊实现：

template <typename T>
class A<T*> {
    // 针对所有指针类型的实现
};

类模板中的友元

类模板中的友元声明需要特别注意：

1. 类内定义的友元函数会随类模板实例化而实例化
2. 类外定义的友元需要额外模板参数声明
3. 可以将特定模板实例声明为友元

template <typename T>
class A {
    friend std::ostream& operator<< <T>(std::ostream&, const A<T>&);
};

实际应用示例

项目中提供了一个MockPipelineEngine的测试用例，展示了如何使用DAG图来管理管道引擎的生命周期：

DAGGraph<int, std::unique_ptr<MockPipelineEngine>> d;

// 构建图结构
d.AddEdge(0, 1);
d.AddEdge(0, 3);
// ...更多边连接

// 按拓扑顺序启动引擎
d.Walk([](int key, auto& pipeline) {
    pipeline->Start();
}, true);

// 按逆拓扑顺序停止引擎
d.Walk([](int key, auto& pipeline) {
    pipeline->Stop();
}, false);

总结

类模板是C++泛型编程的核心工具，通过本文的讲解，你应该已经掌握了：

1. 类模板的基本语法和实例化机制
2. 如何设计复杂的泛型数据结构（如DAG图）
3. 类模板特化的两种形式及其应用场景
4. 类模板中友元的正确使用方法

在实际项目中，合理使用类模板可以大大提高代码的复用性和灵活性，但也需要注意模板实例化带来的代码膨胀问题。