C++代码复用技巧：基于gh_mirrors/st/STL的模板与继承

白秦朔Beneficient

372人浏览 · 2025-10-17 09:08:09

白秦朔Beneficient · 2025-10-17 09:08:09 发布

C++代码复用技巧：基于gh_mirrors/st/STL的模板与继承

【免费下载链接】STL MSVC's implementation of the C++ Standard Library. 项目地址: https://gitcode.com/gh_mirrors/st/STL

你是否还在重复编写相似功能的代码？是否希望通过更高效的方式实现代码复用？本文将深入解析MSVC C++标准库（STL）中的两大核心复用机制——模板与继承，带你掌握如何像STL开发者一样编写灵活且可复用的代码。读完本文，你将能够：理解STL容器的复用设计、掌握模板参数化复用技巧、学会通过继承扩展现有功能、以及在实际项目中灵活运用这些技术。

模板：参数化复用的基石

模板（Template）是STL实现通用容器和算法的核心技术，它允许我们编写与数据类型无关的代码，从而实现高度的复用。在STL中，几乎所有容器都是通过模板实现的，例如vector和list。

容器模板的实现剖析

以vector容器为例，其定义位于stl/inc/vector文件中。核心定义如下：

template <class _Ty, class _Alloc = allocator<_Ty>>
class vector {
public:
    using value_type = _Ty;
    using allocator_type = _Alloc;
    // ... 其他成员定义
private:
    using _Scary_val = _Vector_val<...>;
    _Compressed_pair<_Alty, _Scary_val> _Mypair;
};

这里的_Ty（元素类型）和_Alloc（分配器类型）是模板参数，它们使得vector能够存储任何类型的数据，并使用不同的内存分配策略。这种参数化设计让一个vector模板能够衍生出无数个具体的容器类型，如vector<int>、vector<string>等。

迭代器的模板继承

STL中的迭代器也广泛使用模板和继承来实现复用。在vector的实现中，迭代器类_Vector_iterator继承自_Vector_const_iterator：

template <class _Myvec>
class _Vector_iterator : public _Vector_const_iterator<_Myvec> {
public:
    using reference = typename _Myvec::value_type&;
    // 重写operator*以返回非const引用
    _NODISCARD _CONSTEXPR20 reference operator*() const noexcept {
        return const_cast<reference>(_Mybase::operator*());
    }
    // ... 其他迭代器操作
};

通过继承_Vector_const_iterator，_Vector_iterator复用了所有常量迭代器的功能，只需重写需要修改的部分（如返回非const引用）。这种设计遵循了"少重复，多复用"的原则。

继承：层次化复用的利器

继承是另一种重要的代码复用方式，STL通过继承实现了迭代器分类、容器适配器等功能。与模板的参数化复用不同，继承更适合实现具有层次关系的功能复用。

双向迭代器的继承层次

在stl/inc/list文件中，_List_iterator的实现展示了继承的巧妙应用：

template <class _Mylist>
class _List_const_iterator : public _List_unchecked_const_iterator<_Mylist, _Iterator_base> {
    // 实现带调试检查的迭代器操作
};

template <class _Mylist>
class _List_iterator : public _List_const_iterator<_Mylist> {
    // 继承const迭代器并添加非const操作
};

这里形成了_List_unchecked_const_iterator → _List_const_iterator → _List_iterator的继承链，每层迭代器添加不同的功能：基础操作→调试检查→非const操作。这种层次化设计使得代码结构清晰，功能划分明确。

算法中的条件继承

STL算法也利用继承实现条件编译和功能扩展。在stl/inc/algorithm中，_Minmax_element_vectorized函数根据元素类型选择不同的实现：

template <class _Ty>
pair<_Ty*, _Ty*> _Minmax_element_vectorized(_Ty* const _First, _Ty* const _Last) noexcept {
    if constexpr (is_same_v<remove_const_t<_Ty>, float>) {
        _Res = ::__std_minmax_element_f(_First, _Last, false);
    } else if constexpr (sizeof(_Ty) == 4) {
        _Res = ::__std_minmax_element_4(_First, _Last, is_signed_v<_Ty>);
    }
    // ... 其他类型特化
}

虽然这不是传统的类继承，但通过constexpr条件判断实现了类似"编译时多态"的效果，根据不同类型选择最优实现，这也是一种形式的代码复用。

模板与继承的协同应用

在STL中，模板和继承很少单独使用，更多是协同工作以实现复杂的复用需求。vector的内存管理部分就是一个很好的例子。

压缩对的模板继承

vector使用_Compressed_pair来存储分配器和数据指针，其定义结合了模板和继承：

template <class _Ty1, class _Ty2, bool = is_empty_v<_Ty1> && !is_final_v<_Ty1>>
class _Compressed_pair : private _Ty1 {
    _Ty2 _Myval2;
public:
    // 访问第一个元素（继承而来）
    _Ty1& _Get_first() noexcept { return *this; }
    // 访问第二个元素
    _Ty2& _Get_second() noexcept { return _Myval2; }
};

通过私有继承空类_Ty1（通常是分配器），_Compressed_pair实现了"空基类优化"，节省了内存空间。这种模板与继承的结合，展示了STL开发者对代码效率的极致追求。

算法与容器的协同设计

STL的算法和容器是分开设计的，但通过模板参数实现了完美协同。例如，sort算法可以用于任何提供随机访问迭代器的容器：

template <class _RanIt>
_CONSTEXPR20 void sort(_RanIt _First, _RanIt _Last) {
    // 实现排序算法
}

// 使用示例
vector<int> v = {3, 1, 4};
sort(v.begin(), v.end()); // 对vector排序
list<int> l = {3, 1, 4};
sort(l.begin(), l.end()); // 编译错误，list不支持随机访问

这种设计使得算法可以复用在各种容器上，同时容器也可以配合各种算法使用，体现了"策略模式"的设计思想。

实际应用：构建可复用组件

理解了STL的复用技巧后，我们可以尝试构建自己的可复用组件。以下是一个结合模板和继承的日志器组件示例：

// 基础日志器模板
template <class OutputPolicy>
class BasicLogger : public OutputPolicy {
public:
    void log(const string& message) {
        // 使用OutputPolicy的write方法
        this->write("[" + getTimestamp() + "] " + message);
    }
private:
    string getTimestamp() {
        // 实现时间戳生成
        return "2023-10-17 10:00:00";
    }
};

// 控制台输出策略
class ConsoleOutput {
public:
    void write(const string& message) {
        cout << message << endl;
    }
};

// 文件输出策略
class FileOutput {
private:
    ofstream file;
public:
    FileOutput(const string& filename) : file(filename) {}
    void write(const string& message) {
        file << message << endl;
    }
};

// 使用示例
using ConsoleLogger = BasicLogger<ConsoleOutput>;
using FileLogger = BasicLogger<FileOutput>;

ConsoleLogger consoleLogger;
consoleLogger.log("Hello, World!");

FileLogger fileLogger("app.log");
fileLogger.log("Hello, File!");

这个例子中，BasicLogger是一个模板类，它继承自输出策略类（如ConsoleOutput），从而复用不同的输出功能。这种"策略模式+继承"的设计使得日志器既灵活又易于扩展。