AI 助理
备案控制台
开发者社区 开发与运维 文章 正文

【C++篇】从零实现 C++ Vector：深度剖析 STL 的核心机制与优化1

2024-10-08 53
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： 【C++篇】从零实现 C++ Vector：深度剖析 STL 的核心机制与优化

从零实现 C++ Vector

💬 欢迎讨论：学习过程中有问题吗？随时在评论区与我交流。你们的互动是我创作的动力！

👍 支持我：如果你觉得这篇文章对你有帮助，请点赞、收藏并分享给更多朋友吧！

🚀 一起成长：欢迎分享给更多对计算机视觉和图像处理感兴趣的小伙伴，让我们共同进步！


前言

在现代 C++ 编程中，容器类 vector 是不可或缺的数据结构。作为一个动态数组，它提供了高效的随机访问和动态内存管理。为了加深对 vector 的理解，本文将从零开始模拟实现一个 vector，详细解析其核心机制。我们不仅会展示基础的构造、拷贝、扩展和元素插入操作，还将采用现代 C++ 的最佳实践来优化代码，尤其是在异常安全和性能上。


通过从浅入深的分步骤实现与测试，希望让读者能够全面掌握 vector 的核心逻辑与细节。本教程不仅适合初学者，也适合想深入理解 C++ STL 背后实现的开发者。

1. 基本结构与初始化细分

1.1 空构造函数的实现与测试

  • 实现一个空的vector，不分配任何内存。
  • 测试是否创建了容量为0的vector。
实现代码：
namespace W {
    template<class T>
    class vector {
    public:
        typedef T* iterator;

        vector() : _start(nullptr), _finish(nullptr), _endOfStorage(nullptr) {}

        size_t size() const { return _finish - _start; }
        size_t capacity() const { return _endOfStorage - _start; }
        bool empty() const { return _start == _finish; }

    private:
        iterator _start;
        iterator _finish;
        iterator _endOfStorage;
    };
}
测试用例：
void TestEmptyVector() {
    W::vector<int> v;
    assert(v.size() == 0);  // 验证大小
    assert(v.capacity() == 0);  // 验证容量
    assert(v.empty());  // 验证是否为空
    std::cout << "TestEmptyVector passed" << std::endl;
}
输出：
TestEmptyVector passed

1.2 带大小和默认值的构造函数

  • 初始化一个给定大小的vector，并使用默认值填充。
  • 测试构造后大小、容量是否符合要求。
实现代码：
namespace W {
    template<class T>
    class vector {
    public:
        typedef T* iterator;

        vector(size_t n, const T& value = T()) {
            _start = new T[n];
            _finish = _start + n;
            _endOfStorage = _finish;
            for (size_t i = 0; i < n; ++i) {
                _start[i] = value;  // 填充默认值
            }
        }

        size_t size() const { return _finish - _start; }
        size_t capacity() const { return _endOfStorage - _start; }
        bool empty() const { return _start == _finish; }

        T& operator[](size_t pos) { return _start[pos]; }

        ~vector()
    {
      if (_start)
      {
        delete[] _start;
        _start = _finish = _endOfStorage = nullptr;
      }
    }

    private:
        iterator _start;
        iterator _finish;
        iterator _endOfStorage;
    };
}
测试用例：
void TestInitVector() {
    W::vector<int> v(5, 10);
    assert(v.size() == 5);  // 验证大小
    assert(v.capacity() == 5);  // 验证容量
    assert(!v.empty());  // 验证非空
    for (size_t i = 0; i < 5; ++i) {
        assert(v[i] == 10);  // 验证默认值
    }
    std::cout << "TestInitVector passed" << std::endl;
}
输出：
TestInitVector passed

1.3 拷贝构造函数

  • 实现vector的拷贝构造函数。
  • 测试拷贝后的vector是否完全复制原来的内容和容量。
实现代码：
namespace W {
    template<class T>
    class vector {
    public:
        typedef T* iterator;

        vector(const vector<T>& v) {
            size_t n = v.size();
            _start = new T[n];
            _finish = _start + n;
            _endOfStorage = _finish;
            for (size_t i = 0; i < n; ++i) {
                _start[i] = v._start[i];  // 复制数据
            }
        }

        size_t size() const { return _finish - _start; }
        size_t capacity() const { return _endOfStorage - _start; }
        bool empty() const { return _start == _finish; }

        T& operator[](size_t pos) { return _start[pos]; }

        ~vector()
    {
      if (_start)
      {
        delete[] _start;
        _start = _finish = _endOfStorage = nullptr;
      }
    }

    private:
        iterator _start;
        iterator _finish;
        iterator _endOfStorage;
    };
}
测试用例：
void TestCopyVector() {
    W::vector<int> v1(5, 10);
    W::vector<int> v2(v1);
    assert(v2.size() == 5);  // 验证大小
    assert(v2.capacity() == 5);  // 验证容量
    for (size_t i = 0; i < 5; ++i) {
        assert(v2[i] == 10);  // 验证数据拷贝
    }
    std::cout << "TestCopyVector passed" << std::endl;
}


输出：
TestCopyVector passed

1.4 赋值操作符的实现

  • 实现赋值操作符重载。
  • 测试两个vector赋值后，是否正确拷贝了内容和容量。
实现代码：
namespace W {
    template<class T>
    class vector {
    public:
        typedef T* iterator;

        vector<T>& operator=(const vector<T>& v) {
            if (this != &v) {
                delete[] _start;  // 释放旧的空间
                size_t n = v.size();
                _start = new T[n];
                _finish = _start + n;
                _endOfStorage = _finish;
                for (size_t i = 0; i < n; ++i) {
                    _start[i] = v._start[i];  // 复制数据
                }
            }
            return *this;
        }

        size_t size() const { return _finish - _start; }
        size_t capacity() const { return _endOfStorage - _start; }
        bool empty() const { return _start == _finish; }

        T& operator[](size_t pos) { return _start[pos]; }

       ~vector()
    {
      if (_start)
      {
        delete[] _start;
        _start = _finish = _endOfStorage = nullptr;
      }
    }

    private:
        iterator _start;
        iterator _finish;
        iterator _endOfStorage;
    };
}
测试用例：
void TestAssignVector() {
    W::vector<int> v1(5, 10);
    W::vector<int> v2 = v1;  // 赋值操作
    assert(v2.size() == 5);  // 验证大小
    assert(v2.capacity() == 5);  // 验证容量
    for (size_t i = 0; i < 5; ++i) {
        assert(v2[i] == 10);  // 验证数据拷贝
    }
    std::cout << "TestAssignVector passed" << std::endl;
}
输出：
TestAssignVector passed

2. 容量管理的实现与测试

2.1 reserve函数：动态扩容

  • 实现reserve函数，测试在容量不足时是否能正确扩展。
实现代码：
namespace W {
    template<class T>
    class vector {
    public:
        void reserve(size_t n) {
            if (n > capacity()) {
                size_t oldSize = size();
                T* tmp = new T[n];
                for (size_t i = 0; i < oldSize; ++i) {
                    tmp[i] = _start[i];
                }
                delete[] _start;
                _start = tmp;
                _finish = _start + oldSize;
                _endOfStorage = _start + n;
            }
        }
    };
}
测试用例：
void TestReserveVector() {
    W::vector<int> v(5, 10);
    v.reserve(10);  // 预留容量
    assert(v.capacity() == 10);  // 验证容量扩展
    for (size_t i = 0; i < 5; ++i) {
        assert(v[i] == 10);  // 验证数据保持不变
    }
    std::cout << "TestReserveVector passed" << std::endl;
}
输出：
TestReserveVector passed

2.2 resize函数：改变大小

  • 实现resize函数，测试增加或减少vector大小。
实现代码：
namespace W {
    template<class T>
    class vector {
    public:
        void resize(size_t n, const T& value = T()) {
            if (n < size()) {
                _finish = _start + n;  // 缩小大小
            } else {
                reserve(n);
                for (iterator it = _finish; it != _start + n; ++it)
          {
                    *it = value;  // 填充新值
                }
                _finish = _start + n;
            }
        }
    };
}
测试用例：
void TestResizeVector() {
    W::vector<int> v(5, 10);
    v.resize(8, 20);  // 扩展大小并填充新值
    assert(v.size() == 8);  // 验证扩展后大小
    for (size_t i = 0; i < 5; ++i) {
        assert(v[i] == 10);  // 验证原值不变
    }
    for (size_t i = 5; i < 8; ++i) {
        assert(v[i] == 20);  // 验证新值
    }
    std::cout << "TestResizeVector passed" << std::endl;
}
输出：
TestResizeVector passed

3. 元素插入与删除

3.1 push_back函数：向vector末尾插入元素

3.1.1 需求分析
  • push_back是vector中最常用的操作之一。需要确保：
  • 当空间不足时，进行自动扩容。
  • 插入的元素位于现有元素的末尾。
实现思路
  1. 检查容量是否足够，若不足则扩容（通常容量加倍）。
  2. 将新元素插入到当前末尾。
  3. 更新_finish指针，指向新的末尾。
实现代码：
namespace W {
    template<class T>
    class vector {
    public:
        void push_back(const T& x) {
            // 如果空间不足，扩展容量为当前容量的两倍
            if (_finish == _endOfStorage) {
                size_t newCapacity = capacity() == 0 ? 1 : capacity() * 2;
                reserve(newCapacity);
            }

            // 在末尾插入新元素
            *_finish = x;
            ++_finish;
        }

    private:
        T* _start;
        T* _finish;
        T* _endOfStorage;
    };
}
测试用例：
void TestPushBackVector() {
    W::vector<int> v;
    v.push_back(1);
    v.push_back(2);
    v.push_back(3);

    assert(v.size() == 3);  // 验证插入后的大小
    assert(v.capacity() >= 3);  // 验证容量是否自动扩展
    assert(v[0] == 1 && v[1] == 2 && v[2] == 3);  // 验证插入的元素是否正确

    std::cout << "TestPushBackVector passed" << std::endl;
}
输出：
TestPushBackVector passed

【C++篇】从零实现 C++ Vector：深度剖析 STL 的核心机制与优化2:https://developer.aliyun.com/article/1617541

文章标签：
C++
测试技术
计算机视觉
安全
开发者
关键词：
C++机制
C++ vector
C++ stl
C++ vector机制
C++ vector stl
半截诗
目录
相关文章
ephemerals__
|
13天前
|
存储 安全 编译器
【c++】深入理解别名机制--引用
本文介绍了C++中的引用概念及其定义、特性、实用性和与指针的区别。引用是C++中的一种别名机制，通过引用可以实现类似于指针的功能，但更安全、简洁。文章详细解释了引用的定义方式、引用传参和返回值的应用场景，以及常引用的使用方法。最后，对比了引用和指针的异同，强调了引用在编程中的重要性和优势。
ephemerals__
29 1
Svan.
|
1月前
|
存储 程序员 C++
C++常用基础知识—STL库(2)
C++常用基础知识—STL库(2)
Svan.
69 5
白子寰
|
1月前
|
存储 C++ 索引
【C++打怪之路Lv9】-- vector
【C++打怪之路Lv9】-- vector
白子寰
20 1
Svan.
|
1月前
|
存储 自然语言处理 程序员
C++常用基础知识—STL库(1)
C++常用基础知识—STL库(1)
Svan.
52 1
努力学习的小廉
|
1月前
|
编译器 C++
【C++】—— vector模拟实现
【C++】—— vector模拟实现
努力学习的小廉
32 1
蓝易云
|
1月前
|
算法 数据处理 C++
c++ STL划分算法；partition()、partition_copy()、stable_partition()、partition_point()详解
这些算法是C++ STL中处理和组织数据的强大工具，能够高效地实现复杂的数据处理逻辑。理解它们的差异和应用场景，将有助于编写更加高效和清晰的C++代码。
蓝易云
22 0
禁默
|
1月前
|
算法 C++ 容器
C++之打造my vector篇（下）
C++之打造my vector篇（下）
禁默
27 0
禁默
|
1月前
|
存储 编译器 C++
C++之打造my vector篇（上）
C++之打造my vector篇（上）
禁默
27 0
ephemerals__
|
8天前
|
存储 编译器 C++
【c++】类和对象（中）（构造函数、析构函数、拷贝构造、赋值重载）
本文深入探讨了C++类的默认成员函数，包括构造函数、析构函数、拷贝构造函数和赋值重载。构造函数用于对象的初始化，析构函数用于对象销毁时的资源清理，拷贝构造函数用于对象的拷贝，赋值重载用于已存在对象的赋值。文章详细介绍了每个函数的特点、使用方法及注意事项，并提供了代码示例。这些默认成员函数确保了资源的正确管理和对象状态的维护。
ephemerals__
36 4
ephemerals__
|
10天前
|
存储 编译器 Linux
【c++】类和对象（上）（类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针）
本文介绍了C++中的类和对象，包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用，以及如何使用访问限定符控制成员的访问权限。此外，还讨论了对象的内存分配规则和this指针的使用场景，帮助读者深入理解面向对象编程的核心概念。
ephemerals__
33 4

热门文章

最新文章

  • 1
    2015级C++第10、11周补充实践项目 继承和派生
  • 2
    C++智能指针(auto_ptr)详解
  • 3
    C++第1周项目2——日期结构体
  • 4
    C++11中的tuple应用：让函数返回多个值
  • 5
    C++中消息自动派发之一 About JSON
  • 6
    读书笔记 effective c++ Item 53 关注编译器发出的警告
  • 7
    【C++ 常见的异步机制】探索现代异步编程：从 ASIO 到协程的底层机制解析
  • 8
    【C/C++ OCR识别】深入探索：Qt C++与OCR识别的完美结合
  • 9
    【编程练习】收集的一些c++代码片，算法排序，读文件，写日志，快速求积分等等
  • 10
    《Effective C++》item25：考虑写出一个不抛异常的swap函数
  • 1
    C++|多态性与虚函数（1）功能绑定|向上转换类型|虚函数
    48
  • 2
    C++|运算符重载（1）|为什么要进行运算符重载
    50
  • 3
    C++入门（命名空间）
    45
  • 4
    C++ delete语句
    42
  • 5
    c++ 创建对象
    39
  • 6
    C++ string类
    46
  • 7
    车辆管理系统设计（C++）
    57
  • 8
    通过C++和libcurl下载网易云音乐音频文件的5个简单步骤
    87
  • 9
    消除游戏（第十三届蓝桥杯省赛C++C组 , 第十三届蓝桥杯省赛PythonA/B/研究生组）
    65
  • 10
    三国游戏（第十四届蓝桥杯省赛C++C组）
    53

    • 相关课程

    更多
  • C++ 入门教程开发文档
  • 模型融合方法概述

    • 相关电子书

    更多
  • 使用C++11开发PHP7扩展
  • GPON Class C++ SFP O;T Transce
  • GPON Class C++ SFP OLT Transce

    • 相关实验场景

    更多
  • 高性能特性体验：ePQ 的详解与实战
    • 下一篇
    阿里云OSS设置跨域访问