讲师中心 微信公众号
AI工具推荐 视频效率加速

c++中如何实现自定义容器的迭代器_c++迭代器模式代码实现【详解】

浅宇吖_4778

浅宇吖_4778

发布时间:2026-01-22 17:31:02

|

1016人浏览过

|

来源于php中文网

原创

不能直接用 int* 当作自定义容器的迭代器,因为标准算法和范围 for 循环依赖迭代器的类型特征(如 iterator_category、value_type),裸指针不提供这些,会导致编译失败或行为不可控。

c++中如何实现自定义容器的迭代器_c++迭代器模式代码实现【详解】

为什么不能直接用 int* 当作自定义容器的迭代器

因为标准算法(如 std::sort、std::find)和范围 for 循环依赖迭代器的类型特征(如 iterator_category、value_type),裸指针不提供这些,会导致编译失败或行为不可控。比如 std::distance(it1, it2) 对裸指针虽能工作,但 std::advance 在输入迭代器场景下可能失效。

实操建议:

立即学习“C++免费学习笔记(深入)”;

  • 必须在迭代器类中显式定义 typedef 或 using 别名: value_type、difference_type、pointer、reference、iterator_category
  • iterator_category 推荐从 std::random_access_iterator_tag(支持 +/-)、std::bidirectional_iterator_tag(仅支持 ++/--)中选,别硬写 std::input_iterator_tag 却实现随机访问操作
  • 若容器底层是连续内存(如封装 std::vector),可直接用指针作为内部存储;否则需保存节点指针或索引

如何让 begin() / end() 返回正确的迭代器类型

关键不是返回什么,而是让编译器能推导出符合标准要求的类型——尤其要区分 const 和非 const 版本。常见错误是只实现一个 iterator 类型,导致 const Container& 调用 begin() 时返回可修改的迭代器,违反常量正确性。

实操建议:

立即学习“C++免费学习笔记(深入)”;

  • 为容器定义两个嵌套类型:iterator 和 const_iterator,二者通常复用同一模板类,仅通过模板参数控制解引用返回 T& 还是 const T&
  • begin() 和 end() 的 const 重载必须返回 const_iterator;非 const 版本返回 iterator
  • 避免把 iterator 设为 const_iterator 的子类——C++ 标准不保证向下转换安全,且破坏了迭代器类型的正交性

operator++ 和 operator* 必须满足哪些语义约束

标准库算法依赖迭代器的“行为契约”。例如 operator++ 必须返回引用(前缀)或临时对象(后缀),operator* 必须返回可绑定到 T& 或 const T& 的结果,且不能有副作用。

Web Accessibility (WCAG 2 AA))
Web Accessibility (WCAG 2 AA))

将 WCAG 2 AA 无障碍标准应用于设计系统、UI 组件和网页——通过可运行的验证器进行对比度计算,采用设计 token 模式使颜色天生可访问,设定排版和焦点状态规则,并提供语义检查清单。适用于构建或审查 UI。

下载

实操建议:

立即学习“C++免费学习笔记(深入)”;

  • 前缀 ++it:返回 *this 的引用;后缀 it++:用临时对象保存旧值,再调用前缀,最后返回该临时对象
  • operator* 和 operator-> 应保持一致:若 *it 是 T&,则 it->member 等价于 (*it).member
  • 禁止在 operator* 中做越界检查(性能敏感);但可在调试版中用 assert 辅助定位问题

完整可编译的最小示例:基于数组的 FixedArray 迭代器

以下代码实现一个固定大小数组容器,含完整的 iterator / const_iterator,支持 ++、--、+、==、*,并能用于范围 for 和 std::sort:

#include <algorithm>
#include <cstddef>
<p>template <typename T, std::size<em>t N>
class FixedArray {
T data</em>[N];</p><p>public:
using value_type = T;
using size_type = std::size_t;
using difference_type = std::ptrdiff_t;
using reference = T&;
using const_reference = const T&;
using pointer = T<em>;
using const_pointer = const T</em>;</p><pre class='brush:php;toolbar:false;'>// 迭代器模板:IsConst 控制是否返回 const 引用
template <bool IsConst>
class Iterator {
    static_assert(IsConst == true || IsConst == false, "");
    using element_type = std::conditional_t<IsConst, const T, T>;
    using pointer_type = std::conditional_t<IsConst, const T*, T*>;
    using reference_type = std::conditional_t<IsConst, const T&, T&>;

    pointer_type ptr_;

public:
    using iterator_category = std::random_access_iterator_tag;
    using value_type = T;
    using difference_type = std::ptrdiff_t;
    using pointer = pointer_type;
    using reference = reference_type;

    Iterator(pointer_type p) : ptr_(p) {}

    reference operator*() const { return *ptr_; }
    pointer operator->() const { return ptr_; }

    Iterator& operator++() { ++ptr_; return *this; }
    Iterator operator++(int) { Iterator tmp = *this; ++ptr_; return tmp; }
    Iterator& operator--() { --ptr_; return *this; }
    Iterator operator--(int) { Iterator tmp = *this; --ptr_; return tmp; }

    Iterator& operator+=(difference_type n) { ptr_ += n; return *this; }
    Iterator operator+(difference_type n) const { return Iterator(ptr_ + n); }
    friend Iterator operator+(difference_type n, const Iterator& it) { return it + n; }
    Iterator& operator-=(difference_type n) { ptr_ -= n; return *this; }
    Iterator operator-(difference_type n) const { return Iterator(ptr_ - n); }
    difference_type operator-(const Iterator& other) const { return ptr_ - other.ptr_; }

    reference operator[](difference_type n) const { return *(ptr_ + n); }

    bool operator==(const Iterator& other) const { return ptr_ == other.ptr_; }
    bool operator!=(const Iterator& other) const { return ptr_ != other.ptr_; }
    bool operator<(const Iterator& other) const { return ptr_ < other.ptr_; }
    bool operator>(const Iterator& other) const { return ptr_ > other.ptr_; }
    bool operator<=(const Iterator& other) const { return ptr_ <= other.ptr_; }
    bool operator>=(const Iterator& other) const { return ptr_ >= other.ptr_; }
};

using iterator = Iterator<false>;
using const_iterator = Iterator<true>;

iterator begin() { return iterator(data_); }
iterator end() { return iterator(data_ + N); }
const_iterator begin() const { return const_iterator(data_); }
const_iterator end() const { return const_iterator(data_ + N); }
const_iterator cbegin() const { return begin(); }
const_iterator cend() const { return end(); }

};

// 使用示例 int main() { FixedArray arr; arr.begin()[0] = 1; arr.begin()[1] = 2; arr.begin()[2] = 3;

std::sort(arr.begin(), arr.end()); // OK

for (int x : arr) {} // OK

const FixedArray<int, 3> carr = arr;
for (int x : carr) {} // OK —— 调用 const_iterator

}

注意:这个实现省略了 swap、assign 等接口,也未处理异常安全,但已覆盖所有迭代器协议核心要求。最容易被忽略的是 iterator_category 的正确继承关系和 const_iterator 与 iterator 的分离设计——一旦混用,std::find_if 等泛型算法会在 const 容器上静默编译失败。

相关文章

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门AI工具

更多
Flowith
Flowith Hot

Flowith是一款基于画布和智能体工作流的 AI 协作工作空间。

Lovart
Lovart Hot

一款面向视觉设计创作的AI设计平台,可通过智能体和画布工作流辅助制作海报、Logo、网页、PPT及其他视觉内容。

二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

Atoms
Atoms Hot

Atoms是一款AI智能体工具,第一支自动构建真实业务的 AI 团队。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

创客贴AI

创客贴AI是一款AI图像与设计工具,AI辅助的智能在线设计工具。

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

相关专题

更多
java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

6264

2023.10.24

sort排序函数用法
sort排序函数用法

sort排序函数的用法:1、对列表进行排序,默认情况下,sort函数按升序排序,因此最终输出的结果是按从小到大的顺序排列的;2、对元组进行排序,默认情况下,sort函数按元素的大小进行排序,因此最终输出的结果是按从小到大的顺序排列的;3、对字典进行排序,由于字典是无序的,因此排序后的结果仍然是原来的字典,使用一个lambda表达式作为key参数的值,用于指定排序的依据。

1158

2023.09.04

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2358

2023.09.20

typedef和define区别
typedef和define区别

typedef和define区别在类型检查、作用范围、可读性、错误处理和内存占用等。本专题为大家提供typedef和define相关的文章、下载、课程内容,供大家免费下载体验。

313

2023.09.26

c语言typedef的用法
c语言typedef的用法

c语言typedef的用法有定义基本类型别名、定义结构体别名、定义指针类型别名、定义枚举类型别名、定义数组类型别名等。本专题为大家提供typedef相关的文章、下载、课程内容,供大家免费下载体验。

3172

2023.09.26

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

7059

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

3365

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

4408

2025.08.29

Docker Desktop怎么设置端口映射
Docker Desktop怎么设置端口映射

本专题聚焦Docker Desktop容器端口映射与访问配置,整理从创建容器、设置端口绑定到验证本地服务访问的操作流程。针对端口被占用、映射配置错误、容器服务无法访问等情况,也提供相应的检查方向,方便用户完成端口配置。

0

2026.11.03

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn