詳解C++ 的STL迭代器原理和實現

1. 迭代器簡介

為瞭提高C++編程的效率,STL(Standard Template Library)中提供瞭許多容器,包括vector、list、map、set等。然而有些容器(vector)可以通過下標索引的方式訪問容器裡面的數據,但是大部分的容器(list、map、set)不能使用這種方式訪問容器中的元素。為瞭統一訪問不同容器時的訪問方式,STL為每種容器在實現的時候設計瞭一個內嵌的iterator類,不同的容器有自己專屬的迭代器(專屬迭代器負責實現對應容器訪問元素的具體細節),使用迭代器來訪問容器中的數據。除此之外,通過迭代器可以將容器和通用算法結合在一起,隻要給予算法不同的迭代器,就可以對不同容器執行相同的操作,例如find查找函數(因為迭代器提供瞭統一的訪問方式,這是使用迭代器帶來的好處)。迭代器對一些基本操作如*、->、++、==、!=、=進行瞭重載,使其具有瞭遍歷復雜數據結構的能力,其遍歷機制取決於所遍歷的容器,所有迭代器的使用和指針的使用非常相似。通過begin,end函數獲取容器的頭部和尾部迭代器,end迭代器不包含在容器之內,當begin和end返回的迭代器相同時表示容器為空。

STL主要由 容器、迭代器、算法、函數對象、和內存分配器 五大部分構成。

2. 迭代器的實現原理

首先,看看STL中迭代器的實現思路:

STL中迭代器的實現思路

從上圖中可以看出,STL通過類型別名的方式實現瞭對外統一;在不同的容器中類型別名的真實迭代器類型是不一樣的,而且真實迭代器類型對於++、–、*、->等基本操作的實現方式也是不同的。(PS:迭代器很好地詮釋瞭接口與實現分離的意義)

既然我們已經知道瞭迭代器的實現思路,現在如果讓我們自己設計一個list容器的簡單迭代器,應該如何實現呢?

1.list類需要有操作迭代器的方法

1.begin/end

2.insert/erase/emplace

2.list類有一個內部類list_iterator

1.有一個成員變量ptr指向list容器中的某個元素

2.iterator負責重載++、–、*、->等基本操作

3.list類定義內部類list_iterator的類型別名

以上就是實現一個list容器的簡單迭代器需要考慮的具體細節。

3. 迭代器的簡單實現

my_list.h(重要部分有註釋說明

//
// Created by wengle on 2020-03-14.
//
 
#ifndef CPP_PRIMER_MY_LIST_H
#define CPP_PRIMER_MY_LIST_H
 
#include <iostream>
 
template<typename T>
class node {
public:
    T value;
    node *next;
    node() : next(nullptr) {}
    node(T val, node *p = nullptr) : value(val), next(p) {}
};
 
template<typename T>
class my_list {
private:
    node<T> *head;
    node<T> *tail;
    int size;
 
private:
    class list_iterator {
    private:
        node<T> *ptr; //指向list容器中的某個元素的指針
 
    public:
        list_iterator(node<T> *p = nullptr) : ptr(p) {}
        
        //重載++、--、*、->等基本操作
        //返回引用,方便通過*it來修改對象
        T &operator*() const {
            return ptr->value;
        }
 
        node<T> *operator->() const {
            return ptr;
        }
 
        list_iterator &operator++() {
            ptr = ptr->next;
            return *this;
        }
 
        list_iterator operator++(int) {
            node<T> *tmp = ptr;
            // this 是指向list_iterator的常量指針,因此*this就是list_iterator對象,前置++已經被重載過
            ++(*this);
            return list_iterator(tmp);
        }
 
        bool operator==(const list_iterator &t) const {
            return t.ptr == this->ptr;
        }
 
        bool operator!=(const list_iterator &t) const {
            return t.ptr != this->ptr;
        }
    };
 
public:
    typedef list_iterator iterator; //類型別名
    my_list() {
        head = nullptr;
        tail = nullptr;
        size = 0;
    }
 
    //從鏈表尾部插入元素
    void push_back(const T &value) {
        if (head == nullptr) {
            head = new node<T>(value);
            tail = head;
        } else {
            tail->next = new node<T>(value);
            tail = tail->next;
        }
        size++;
    }
 
    //打印鏈表元素
    void print(std::ostream &os = std::cout) const {
        for (node<T> *ptr = head; ptr != tail->next; ptr = ptr->next)
            os << ptr->value << std::endl;
    }
 
public:
    //操作迭代器的方法
    //返回鏈表頭部指針
    iterator begin() const {
        return list_iterator(head);
    }
 
    //返回鏈表尾部指針
    iterator end() const {
        return list_iterator(tail->next);
    }
 
    //其它成員函數 insert/erase/emplace
};
 
#endif //CPP_PRIMER_MY_LIST_H

test.cpp

//// Created by wengle on 2020-03-14.//#include <string>#include "my_list.h"struct student {    std::string name;    int age;    student(std::string n, int a) : name(n), age(a) {}    //重載輸出操作符    friend std::ostream &operator<<(std::ostream &os, const student &stu) {        os << stu.name << " " << stu.age;        return os;    }};int main() {    my_list<student> l;    l.push_back(student("bob", 1)); //臨時量作為實參傳遞給push_back方法    l.push_back(student("allen", 2));    l.push_back(student("anna", 3));    l.print();    for (my_list<student>::iterator it = l.begin(); it != l.end(); it++) {        std::cout << *it << std::endl;        *it = student("wengle", 18);    }    return 0;}//
// Created by wengle on 2020-03-14.
//
 
#include <string>
#include "my_list.h"
 
struct student {
    std::string name;
    int age;
 
    student(std::string n, int a) : name(n), age(a) {}
 
    //重載輸出操作符
    friend std::ostream &operator<<(std::ostream &os, const student &stu) {
        os << stu.name << " " << stu.age;
        return os;
    }
};
 
int main() {
    my_list<student> l;
    l.push_back(student("bob", 1)); //臨時量作為實參傳遞給push_back方法
    l.push_back(student("allen", 2));
    l.push_back(student("anna", 3));
    l.print();
 
    for (my_list<student>::iterator it = l.begin(); it != l.end(); it++) {
        std::cout << *it << std::endl;
        *it = student("wengle", 18);
    }
    return 0;
}

4. 迭代器失效

// inserting into a vector
#include <iostream>
#include <vector>
 
int main ()
{
  std::vector<int> myvector (3,100);
  std::vector<int>::iterator it;
 
  it = myvector.begin();
  it = myvector.insert ( it , 200 );
 
  myvector.insert (it,200,300);
  //it = myvector.insert (it,200,300);
  myvector.insert (it,5,500); //當程序執行到這裡時,大概率會crash
  for (std::vector<int>::iterator it2=myvector.begin(); it2<myvector.end(); it2++)
    std::cout << ' ' << *it2;
  std::cout << '\n';
 
  return 0;
}

上面的代碼很好地展示瞭什麼是迭代器失效?迭代器失效會導致什麼樣的問題?

當執行完myvector.insert (it,200,300);這條語句後,實際上myvector已經申請瞭一塊新的內存空間來存放之前已保存的數據本次要插入的數據,由於it迭代器內部的指針還是指向舊內存空間的元素,一旦舊內存空間被釋放,當執行myvector.insert (it,5,500);時就會crash(PS:因為你通過iterator的指針正在操作一塊已經被釋放的內存,大多數情況下都會crash)。迭代器失效就是指:迭代器內部的指針沒有及時更新,依然指向舊內存空間的元素。

insert源碼

上圖展示瞭STL源碼中vector容器insert方法的實現方式。當插入的元素個數超過當前容器的剩餘容量時,就會導致迭代器失效。這也是測試代碼中myvector.insert (it,200,300);插入200個元素的原因,為瞭模擬超過當前容器剩餘容量的場景,如果你的測試環境沒有crash,可以將插入元素設置的更多一些。

5. 參考資料

迭代器失效問題?

推薦閱讀: