【Effective Modern C++】第三章 转向现代C++:13. 优先选用const_iterator,而非iterator

STL 的const_iterator等价于 "指向常量的指针(pointer-to-const)",指向的值不可修改,符合 "能加const就加" 的通用编程准则 ------ 只要无需修改迭代器指向的值,就应优先使用const_iterator;但该迭代器的实用性随 C++ 版本迭代大幅提升,C++11 是关键转折点,同时通用代码中需优先使用非成员函数版本的begin/end/cbegin等。

各 C++ 版本对 const_iterator 的支持差异

1. C++98:支持残缺,实用性差

const_iterator理论上符合规范,但实际使用存在两大痛点:

  • 创建麻烦 :非const容器无法直接获取const_iterator,需强制类型转换(或绑定到const引用)才能得到;

  • 使用受限insert/erase等容器操作仅接受iterator,且const_iterator无法可移植转换为iterator(即使reinterpret_cast也不行);

    最终导致开发者被迫放弃使用,违背 "能constconst" 的准则。

c++ 复制代码
typedef std::vector<int>::iterator IterT; 
typedef std::vector<int>::const_iterator ConstIterT; 

std::vector<int> values; 
... 
// 非const容器需强制转换才能获取const_iterator 
ConstIterT ci = 
	std::find(static_cast<ConstIterT>(values.begin()), 
			  static_cast<ConstIterT>(values.end()), 
			  1983); 
// insert不接受const_iterator,转换iterator也无可靠方法(编译失败) 
values.insert(static_cast<IterT>(ci), 1998);

C++11:支持完善,易用性大幅提升

解决了 C++98 的核心痛点,让const_iterator真正实用:

  • 容器新增cbegin/cend成员函数,非const容器也能直接获取const_iterator

  • insert/erase等操作支持接收const_iterator,无需转换即可使用;

    示例:无需修改迭代器指向值的查找 + 插入场景,可直接用cbegin/cend获取const_iterator,代码简洁且符合规范。

c++ 复制代码
std::vector<int> values; 
... 
// 直接用cbegin/cend获取const_iterator,insert原生支持 
auto it = std::find(values.cbegin(), values.cend(), 1983); 
values.insert(it, 1998);

C++11 的小缺陷与 C++14 的补全

  • C++11 仅新增非成员函数begin/end,缺失cbegin/cend/rbegin/rend等;
  • C++14 补全了这些非成员函数,满足 "最大程度通用的库代码" 需求(适配原生数组、仅提供自由函数接口的第三方库等)。

通用代码的适配方案(C++11 兼容)

若 C++11 环境下 STL 未提供非成员cbegin等函数,可自行实现(兼容普通容器和原生数组):

  • 核心逻辑:通过const引用接收容器 / 数组,调用 C++11 提供的非成员begin------ 对const容器 / 数组,begin会自动返回const_iterator(数组场景下等价于指向const的指针);
  • 无需依赖容器的cbegin成员函数,适配性更强。

总结

  • 优先选用const_iterator,而非iterator
  • 在最通用的代码中,优先选用非成员函数版本的beginendrbegin等,而非其成员函数版本。

原著在线阅读地址

相关推荐
2401_831824962 小时前
基于C++的区块链实现
开发语言·c++·算法
汉克老师3 小时前
GESP5级C++考试语法知识(六、链表(一)单链表)
c++·链表·单链表·快慢指针·进阶·gesp5级·gesp五级
m0_518019483 小时前
C++与机器学习框架
开发语言·c++·算法
qq_417695053 小时前
C++中的代理模式高级应用
开发语言·c++·算法
学嵌入式的小杨同学3 小时前
STM32 进阶封神之路(十九):ADC 深度解析 —— 从模拟信号到数字转换(底层原理 + 寄存器配置)
c++·stm32·单片机·嵌入式硬件·mcu·架构·硬件架构
xiaoye-duck3 小时前
《算法题讲解指南:动态规划算法--路径问题》--5.不同路径,6.不同路径II
c++·算法·动态规划
ambition202423 小时前
最大子数组和算法全解析:从暴力枚举到动态规划优化
数据结构·c++·算法
qq_461489334 小时前
C++与Qt图形开发
开发语言·c++·算法
小菜鸡桃蛋狗5 小时前
C++——类和对象(上)
开发语言·c++
2401_879503415 小时前
C++中的观察者模式变体
开发语言·c++·算法