C++STL——list类与模拟实现

简介: C++STL——list类与模拟实现

list

list是一个带头双向循环链表

list文档介绍:https://legacy.cplusplus.com/reference/list/list/

list因为是链表结构,所以没有 [] 去访问数据的方式,只有用迭代器,list当中迭代器是很重要的。

这里透彻尾插不会导致迭代器失效问题,不过删除会导致迭代器失效。

list还有一个特性,就是他的sort排序接口函数效率是低于算法库中排序的效率。

更多内容就配合模拟实现来看。

list的常用接口模拟实现

list基本结构

template<class T>
struct list_node//结点
{
  list_node* _next;
  list_node* _prev;
  T _data;
  list_node(const T& x)
    :_next(nullptr)
    ,_prev(nullptr)
    ,_data(x)
  {}
};

下面都是模拟list类中的结构

在list中其实控制整个链表的就是头节点,这样交换内容也是非常的方便。

list成员变量:

_head

因为list是带头双向循环链表,所以最重要的是创建头节点,这里因为后面结构需要大量重复这个动作我就单独写了个函数。

void initialize()//创建头节点
{
  _head = new node(T());
  _head->_next = _head;
  _head->_prev = _head;
}

构造函数:(无参)

list()
{
  initialize();
}

在pos位置之前插入:

void insert(iterator pos, const T& x)//在pos位置之前插入
{
  node* newnode = new node(x);
  node* cur = pos._pnode;//pos位置的结点
  node* p = cur->_prev;//pos位置之前的结点
  p->_next = newnode;
  newnode->_prev = p;
  newnode->_next = cur;
  cur->_prev = newnode;
}

删除pos位置的结点:(返回值是迭代器类型)

iterator erase(iterator pos)//删除pos位置的结点
{
  assert(pos != end());
  node* cur = pos._pnode;
  node* front = cur->_prev;
  node* later = cur->_next;
  front->_next = later;
  later->_prev = front;
  delete cur;
  return iterator(later);
}

其实完成这两个函数就很方便各种插入删除了。

void push_back(const T& x)//尾插
{
  insert(end(), x);
}
void push_front(const T& x)//头插
{
  insert(begin(), x);
}
void pop_back()//尾删
{
  erase(--end());
}
void pop_front()//头删
{
  erase(begin());
}

清空链表:(注意不清理头结点)

void clear()//清空链表
{
  iterator front = begin();
  while (front != end())
  {
    front = erase(front);
  }
}

拷贝构造:

template<class _iterator>//这里如果不是模板会导致不同类中的迭代器有冲突
list(_iterator front, _iterator later)
{
  initialize();
  while (front != later)
  {
    push_back(*front);
    ++front;
  }
}
list(const list<T>& it)//拷贝构造
{
  initialize();//必须创建头节点,不然交换会传过去一个空指针导致析构出现问题
  list<T>newnode(it.begin(), it.end());
  swap(newnode);
}

赋值重载:(现代写法)

list<T>& operator=(list<T> p)
{
  swap(p);
  return *this;
}

这里传参的值不是引用,也就等于p是一个拷贝构造出来的对象,也就是说和之前赋值的对象没有任何关系,只是内容相同罢了。

所以这里直接交换就好了出了这个函数的p就会自动销毁。

交换函数:

void swap(list<T>& tmp)
{
  std::swap(_head, tmp._head);//交换头结点就好
}

这里就体现出头结点的好处了,因为空间不是连续的,是随机的,所以控制整个链表就是头结点,所以交换了头结点就等于交换了两个list。

析构函数:

~list()
{
  clear();
  delete _head;//清理头结点
  _head = nullptr;
}

C++有一个特性:

我们发现参数不是完整的类型(缺一个模板参数T),也就是说在类里面类名等于类型。

begin与end:

typedef _list_iterator<T, T&> iterator;//模板函数下面实现
typedef _list_iterator<T, const T&> const_iterator;
const_iterator begin()const
{
  return const_iterator(_head->_next);
}
const_iterator end()const
{
  return const_iterator(_head);
}
iterator begin()
{
  return iterator(_head->_next);
}
iterator end()
{
  return iterator(_head);
}

迭代器(非常重要)

template<class T, class cur, class prt>
  struct _list_iterator//用struct是因为里面的内容都需要公开使用
  {
    typedef list_node<T> node;
    typedef _list_iterator<T, cur, prt> coord;
    node* _pnode;//迭代器指针的本质
    _list_iterator(node* p)
      :_pnode(p)
    {}
    cur operator*()//返回值分const与非const
    {
      return _pnode->_data;
    }
    prt operator->()
    {
      return &_pnode->_data;//注意->的优先级大于&
    }
    coord& operator++()//前置++
    {
      _pnode = _pnode->_next;
      return *this;
    }
    coord& operator++(int)//后置++
    {
      coord old(*this);
      _pnode = _pnode->_next;
      return old;
    }
    coord& operator--()//前置--
    {
      _pnode = _pnode->_prev;
      return *this;
    }
    coord& operator--(int)//后置--
    {
      coord old(*this);
      _pnode = _pnode->_prev;
      return old;
    }
    bool operator!=(const coord& it)
    {
      return _pnode != it._pnode;
    }
    bool operator==(const coord& it)
    {
      return _pnode == it._pnode;
    }
  };

list因为是个链表,所以和vector,string不一样,空间不是连续的,想进行++,- -,就等于访问下一个结点或者上一个结点。

这里要注意迭代器是需要有const的:

迭代器指向的内容不能被修改,并不代表不能++,- -

所以就需要实现一份const迭代器,其实也就是解引用的不同,解引用返回的是const,和非const,其他函数一摸一样,进行函数重载是不行的,因为参数也要加const,不然无法重载,但是参数加了const其他函数就无法进行调用了,涉及到了权限放大,如果再写一个类太麻烦,这时候就可以加一个模板参数cur来决定用的时候添加什么参数。

重点是重载的->

如果list中的类型是一个自定义类型呢?

struct test
  {
    int row;
    int col;
    test(int x = 0, int y = 0)
      :row(x)
      ,col(y)
    {}
  };
  void test4()
  {
    list<test>arr;
    arr.push_back(test(1, 2));
    arr.push_back(test(3, 4));
    arr.push_back(test(5, 6));
    arr.push_back(test(7, 8));
    list<test>::iterator cur = arr.begin();
    while (cur != arr.end())
    {
      cout << cur->row << ' ';//这里如果用解引用是不可以的,因为cout需要再次进行重载才能打印出来内容
    }
    cout << endl;
  }

这时候就要用->就方便了,首先cur要是个指针才行,很明显它不是,所以返回的时候需要返回地址,并且要注意const的类型,就和解引用一样。

还有一点很奇怪:

cur->row == cur.operator->(row)

这里返回的是地址,为什么还能进行访问row呢?这是因为编译器在这里进行了特殊处理,原本面貌是这样的:

cur->->row

这样的代码看起来非常不美观,所以就进行了处理,去掉了一个->。

完整代码

#include <iostream>
  #include <list>
  #include <assert.h>
  #include <algorithm>
  using namespace std;
  template<class T>
  struct list_node//结点
  {
    list_node* _next;
    list_node* _prev;
    T _data;
    list_node(const T& x)
      :_next(nullptr)
      ,_prev(nullptr)
      ,_data(x)
    {}
  };
  template<class T, class cur, class prt>
  struct _list_iterator
  {
    typedef list_node<T> node;
    typedef _list_iterator<T, cur, prt> coord;
    node* _pnode;//迭代器指针的本质
    _list_iterator(node* p)
      :_pnode(p)
    {}
    cur operator*()//返回值分const与非const
    {
      return _pnode->_data;
    }
    prt operator->()
    {
      return &_pnode->_data;//注意->的优先级大于&
    }
    coord& operator++()//前置++
    {
      _pnode = _pnode->_next;
      return *this;
    }
    coord& operator++(int)//后置++
    {
      coord old(*this);
      _pnode = _pnode->_next;
      return old;
    }
    coord& operator--()//前置--
    {
      _pnode = _pnode->_prev;
      return *this;
    }
    coord& operator--(int)//后置--
    {
      coord old(*this);
      _pnode = _pnode->_prev;
      return old;
    }
    bool operator!=(const coord& it)
    {
      return _pnode != it._pnode;
    }
    bool operator==(const coord& it)
    {
      return _pnode == it._pnode;
    }
  };
  template<class T>
  class list
  {
    typedef list_node<T> node;
  public:
    typedef _list_iterator<T, T&, T*> iterator;
    typedef _list_iterator<T, const T&, const T*> const_iterator;
    const_iterator begin()const
    {
      return const_iterator(_head->_next);
    }
    const_iterator end()const
    {
      return const_iterator(_head);
    }
    iterator begin()
    {
      return iterator(_head->_next);
    }
    iterator end()
    {
      return iterator(_head);
    }
    void initialize()//创建头节点
    {
      _head = new node(T());
      _head->_next = _head;
      _head->_prev = _head;
    }
    list()
    {
      initialize();
    }
    template<class _iterator>
    list(_iterator front, _iterator later)
    {
      initialize();
      while (front != later)
      {
        push_back(*front);
        ++front;
      }
    }
    list(const list<T>& it)//拷贝构造
    {
      initialize();//必须创建头节点,不然交换会传过去一个空指针导致析构出现问题
      list<T>newnode(it.begin(), it.end());
      swap(newnode);
    }
    void insert(iterator pos, const T& x)//在pos位置之前插入
    {
      node* newnode = new node(x);
      node* cur = pos._pnode;//pos位置的结点
      node* p = cur->_prev;//pos位置之前的结点
      p->_next = newnode;
      newnode->_prev = p;
      newnode->_next = cur;
      cur->_prev = newnode;
    }
    iterator erase(iterator pos)//删除pos位置的结点
    {
      assert(pos != end());
      node* cur = pos._pnode;
      node* front = cur->_prev;
      node* later = cur->_next;
      front->_next = later;
      later->_prev = front;
      delete cur;
      return iterator(later);
    }
    list<T>& operator=(list<T> p)
    {
      swap(p);
      return *this;
    }
    void push_back(const T& x)//尾插
    {
      insert(end(), x);
    }
    void push_front(const T& x)//头插
    {
      insert(begin(), x);
    }
    void pop_back()//尾删
    {
      erase(--end());
    }
    void pop_front()//头删
    {
      erase(begin());
    }
    void clear()//清空链表
    {
      iterator front = begin();
      while (front != end())
      {
        front = erase(front);
      }
    }
    void swap(list<T>& tmp)
    {
      std::swap(_head, tmp._head);
    }
    ~list()
    {
      clear();
      delete _head;
      _head = nullptr;
    }
  private:
    node* _head;
  };

list与vector的区别

list:

优点:

按照需要申请空间,不需要扩容。

任意位置插入删除。

缺点:

不支持下标随机访问。

cpu命中率低。(因为list是随机结构,vector是连续空间地址)

vector:

优点:

支持下标随机访问.

尾插尾删效率高。

cpu命中率高。

缺点:

前面插入删除效率低。

需要扩容。(可能导致浪费空间)

迭代器失效问题

vector插入删除都会失效,list只有删除会失效。

相关文章
|
2天前
|
C++ 芯片
【C++面向对象——类与对象】Computer类(头歌实践教学平台习题)【合集】
声明一个简单的Computer类,含有数据成员芯片(cpu)、内存(ram)、光驱(cdrom)等等,以及两个公有成员函数run、stop。只能在类的内部访问。这是一种数据隐藏的机制,用于保护类的数据不被外部随意修改。根据提示,在右侧编辑器补充代码,平台会对你编写的代码进行测试。成员可以在派生类(继承该类的子类)中访问。成员,在类的外部不能直接访问。可以在类的外部直接访问。为了完成本关任务,你需要掌握。
34 18
|
2天前
|
存储 编译器 数据安全/隐私保护
【C++面向对象——类与对象】CPU类(头歌实践教学平台习题)【合集】
声明一个CPU类,包含等级(rank)、频率(frequency)、电压(voltage)等属性,以及两个公有成员函数run、stop。根据提示,在右侧编辑器补充代码,平台会对你编写的代码进行测试。​ 相关知识 类的声明和使用。 类的声明和对象的声明。 构造函数和析构函数的执行。 一、类的声明和使用 1.类的声明基础 在C++中,类是创建对象的蓝图。类的声明定义了类的成员,包括数据成员(变量)和成员函数(方法)。一个简单的类声明示例如下: classMyClass{ public: int
30 13
|
2天前
|
编译器 数据安全/隐私保护 C++
【C++面向对象——继承与派生】派生类的应用(头歌实践教学平台习题)【合集】
本实验旨在学习类的继承关系、不同继承方式下的访问控制及利用虚基类解决二义性问题。主要内容包括: 1. **类的继承关系基础概念**:介绍继承的定义及声明派生类的语法。 2. **不同继承方式下对基类成员的访问控制**:详细说明`public`、`private`和`protected`继承方式对基类成员的访问权限影响。 3. **利用虚基类解决二义性问题**:解释多继承中可能出现的二义性及其解决方案——虚基类。 实验任务要求从`people`类派生出`student`、`teacher`、`graduate`和`TA`类,添加特定属性并测试这些类的功能。最终通过创建教师和助教实例,验证代码
20 5
|
2天前
|
存储 算法 搜索推荐
【C++面向对象——群体类和群体数据的组织】实现含排序功能的数组类(头歌实践教学平台习题)【合集】
1. **相关排序和查找算法的原理**:介绍直接插入排序、直接选择排序、冒泡排序和顺序查找的基本原理及其实现代码。 2. **C++ 类与成员函数的定义**:讲解如何定义`Array`类,包括类的声明和实现,以及成员函数的定义与调用。 3. **数组作为类的成员变量的处理**:探讨内存管理和正确访问数组元素的方法,确保在类中正确使用动态分配的数组。 4. **函数参数传递与返回值处理**:解释排序和查找函数的参数传递方式及返回值处理,确保函数功能正确实现。 通过掌握这些知识,可以顺利地将排序和查找算法封装到`Array`类中,并进行测试验证。编程要求是在右侧编辑器补充代码以实现三种排序算法
18 5
|
2天前
|
Serverless 编译器 C++
【C++面向对象——类的多态性与虚函数】计算图像面积(头歌实践教学平台习题)【合集】
本任务要求设计一个矩形类、圆形类和图形基类,计算并输出相应图形面积。相关知识点包括纯虚函数和抽象类的使用。 **目录:** - 任务描述 - 相关知识 - 纯虚函数 - 特点 - 使用场景 - 作用 - 注意事项 - 相关概念对比 - 抽象类的使用 - 定义与概念 - 使用场景 - 编程要求 - 测试说明 - 通关代码 - 测试结果 **任务概述:** 1. **图形基类(Shape)**:包含纯虚函数 `void PrintArea()`。 2. **矩形类(Rectangle)**:继承 Shape 类,重写 `Print
18 4
|
2天前
|
设计模式 IDE 编译器
【C++面向对象——类的多态性与虚函数】编写教学游戏:认识动物(头歌实践教学平台习题)【合集】
本项目旨在通过C++编程实现一个教学游戏,帮助小朋友认识动物。程序设计了一个动物园场景,包含Dog、Bird和Frog三种动物。每个动物都有move和shout行为,用于展示其特征。游戏随机挑选10个动物,前5个供学习,后5个用于测试。使用虚函数和多态实现不同动物的行为,确保代码灵活扩展。此外,通过typeid获取对象类型,并利用strstr辅助判断类型。相关头文件如&lt;string&gt;、&lt;cstdlib&gt;等确保程序正常运行。最终,根据小朋友的回答计算得分,提供互动学习体验。 - **任务描述**:编写教学游戏,随机挑选10个动物进行展示与测试。 - **类设计**:基类
16 3
|
2月前
|
存储 编译器 C语言
【c++丨STL】string类的使用
本文介绍了C++中`string`类的基本概念及其主要接口。`string`类在C++标准库中扮演着重要角色,它提供了比C语言中字符串处理函数更丰富、安全和便捷的功能。文章详细讲解了`string`类的构造函数、赋值运算符、容量管理接口、元素访问及遍历方法、字符串修改操作、字符串运算接口、常量成员和非成员函数等内容。通过实例演示了如何使用这些接口进行字符串的创建、修改、查找和比较等操作,帮助读者更好地理解和掌握`string`类的应用。
69 2
|
2月前
|
存储 编译器 C++
【c++】类和对象(下)(取地址运算符重载、深究构造函数、类型转换、static修饰成员、友元、内部类、匿名对象)
本文介绍了C++中类和对象的高级特性,包括取地址运算符重载、构造函数的初始化列表、类型转换、static修饰成员、友元、内部类及匿名对象等内容。文章详细解释了每个概念的使用方法和注意事项,帮助读者深入了解C++面向对象编程的核心机制。
121 5
|
2月前
|
存储 编译器 C++
【c++】类和对象(中)(构造函数、析构函数、拷贝构造、赋值重载)
本文深入探讨了C++类的默认成员函数,包括构造函数、析构函数、拷贝构造函数和赋值重载。构造函数用于对象的初始化,析构函数用于对象销毁时的资源清理,拷贝构造函数用于对象的拷贝,赋值重载用于已存在对象的赋值。文章详细介绍了每个函数的特点、使用方法及注意事项,并提供了代码示例。这些默认成员函数确保了资源的正确管理和对象状态的维护。
124 4
|
2月前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
172 4