条款13：优先选用const_iterator，而非iterator

引言

[1. const_iterator 与 iterator 的区别](#1. const_iterator 与 iterator 的区别)

[2. 为何优先选用 const_iterator](#2. 为何优先选用 const_iterator)

[2.1 表达"只读"意图](#2.1 表达“只读”意图)

[2.2 增强代码安全性](#2.2 增强代码安全性)

[2.3 更好的通用性](#2.3 更好的通用性)

[2.4 与常量容器兼容](#2.4 与常量容器兼容)

[3. 何时使用 iterator](#3. 何时使用 iterator)

[4. 实践建议与代码示例](#4. 实践建议与代码示例)

[4.1 遍历只读容器（推荐）](#4.1 遍历只读容器（推荐）)

[4.2 查找元素（不修改）](#4.2 查找元素（不修改）)

[4.3 当需要修改时再"降级"](#4.3 当需要修改时再“降级”)

[5. 总结](#5. 总结)

引言

在C++标准库容器的遍历操作中，我们通常有两种迭代器可供选择：iterator和const_iterator。本条款旨在阐明，在大多数情况下，**优先选用const_iterator**是更佳实践。这不仅有助于提升代码的清晰度和安全性，还能更好地表达设计意图。

1. const_iterator 与 iterator 的区别

const_iterator和iterator都用于遍历容器元素，但它们的核心区别在于：

iterator：允许通过它修改所指向的元素。
const_iterator ：不允许通过它修改所指向的元素（即指向const对象）。

这种区别类似于指针T*与指向常量的指针const T*之间的关系。

2. 为何优先选用 const_iterator

2.1 表达"只读"意图

使用const_iterator能明确告知代码的阅读者（包括未来的你和其他开发者），这段遍历逻辑不会修改容器内容。这降低了代码的认知负担，让意图一目了然。

2.2 增强代码安全性

通过const_iterator，编译器会在你意外尝试修改元素时报错，从而防止潜在的运行时错误。这是一种利用类型系统在编译期捕获错误的有效手段。

cpp 复制代码

std::vector<int> vec = {1, 2, 3};
// 使用 const_iterator，以下修改操作将导致编译错误
for (std::vector<int>::const_iterator it = vec.begin(); it != vec.end(); ++it) {
    // *it = 10; // 错误：不能给常量赋值
    std::cout << *it << std::endl;
}

2.3 更好的通用性

在C++11及之后的标准中，cbegin()和cend()成员函数返回const_iterator，它们可以与auto关键字完美配合，写出简洁且安全的遍历代码。

cpp 复制代码

// C++11 风格，清晰且安全
for (auto it = vec.cbegin(); it != vec.cend(); ++it) {
    // 只读访问 *it
}

2.4 与常量容器兼容

当容器本身是const时，你只能使用const_iterator进行遍历。养成优先使用const_iterator的习惯，能让你的代码在常量上下文和非常量上下文中都保持一致性。

3. 何时使用 iterator

当然，iterator并非无用武之地。在以下场景中，你仍然需要它：

需要修改容器元素：这是最直接的原因。
调用某些算法 ：例如std::sort、std::remove等会修改容器内容的算法，通常需要传入iterator。
与旧代码或特定API交互 ：某些遗留接口可能只接受iterator。

原则是：除非确有必要修改元素，否则默认使用const_iterator。

4. 实践建议与代码示例

4.1 遍历只读容器（推荐）

cpp 复制代码

const std::vector<std::string> names = {"Alice", "Bob", "Charlie"};
// 使用 cbegin()/cend() 获取 const_iterator
for (auto it = names.cbegin(); it != names.cend(); ++it) {
    std::cout << *it << std::endl;
}
// 或者使用基于范围的for循环（自动推导为const引用）
for (const auto& name : names) {
    std::cout << name << std::endl;
}

4.2 查找元素（不修改）

cpp 复制代码

std::vector<int> data = {5, 2, 8, 1, 9};
// 使用 const_iterator 接收 find 的结果
auto found = std::find(data.cbegin(), data.cend(), 8);
if (found != data.cend()) {
    std::cout << "Found: " << *found << std::endl;
}

4.3 当需要修改时再"降级"

如果你从一个const_iterator开始，但后续发现需要修改，可以通过const_cast（不推荐，有风险）或重新获取iterator来实现。更好的做法是，在设计时就明确是否需要修改。

5. 总结

**优先选用const_iterator**是C++现代编程中的一项重要准则。它通过编译期检查来强化"只读"意图，提升代码的安全性和可读性。请将这一习惯融入你的日常编码：

默认使用cbegin()/cend()或const auto&进行遍历。
仅在确需修改容器元素时，才使用begin()/end()获取iterator。
在函数参数和返回值中，尽可能使用const_iterator来表达只读语义。

遵循此条款，你的代码将更健壮、更清晰，也更能体现专业C++开发者的素养。