深入探讨Clang-Tidy与Bazel的整合
2026/1/8 1:39:01
indirectly_readable和indirectly_writable是 C++20 中引入的两个核心概念，它们为迭代器操作提供了基础的类型安全约束，是理解现代 C++ 范围库和算法库的关键。
下面这个表格能帮你快速把握它们的核心区别：
| 特性 | indirectly_readable | indirectly_writable |
|---|---|---|
| 核心功能 | 从迭代器读取数据 | 向迭代器写入数据 |
| 应用对象 | 输入迭代器 | 输出迭代器 |
| 关键操作 | *i(解引用读取) | *i = val(解引用赋值) |
| 主要约束 | 解引用后返回有意义且一致的引用类型 | 能够接受指定类型的值进行赋值操作 |
💡 核心概念详解
indirectly_readable（可间接读取）：这个概念规范的是那些能够通过解引用操作符（*）来读取值的类型，例如迭代器或智能指针。它不仅仅要求*i这个表达式是合法的，还对其返回的类型有严格约束。它要求解引用后得到的引用类型（iter_reference_t）、该类型的值类型（iter_value_t）以及可能的右值引用类型（iter_rvalue_reference_t）之间必须存在共同的引用（common_reference_with）关系。这确保了读取到的值可以被安全、一致地使用。indirectly_writable（可间接写入）：这个概念规范的是可以向其解引用结果进行赋值的类型。它的核心在于表达式*o = std::forward<T>(t)必须是良构的（well-formed），即能够正确地将类型T的值t写入到迭代器o所引用的对象中。一个关键点是，它通过const_cast等要求，防止了那些返回纯右值（prvalue）的“只读”类型意外满足写入条件，但同时允许所谓的“代理引用”（如vector<bool>的特定迭代器）正常工作，只要它们的常量性是浅层的（shallow constness）。
🧩 主要应用场景
这两个概念是C++20范围库和迭代器概念的基石，主要应用于：
- 算法约束：标准库中的算法使用这些概念来约束其迭代器参数类型。例如，
std::copy需要其源迭代器满足indirectly_readable，目标迭代器满足indirectly_writable，以确保复制操作是有效的。 - 迭代器概念构建：它们是更高级别迭代器概念（如
input_iterator,output_iterator,forward_iterator等）的构建基础。一个类型必须先满足这些基础概念，才能被归类为相应的迭代器类别。 - 代理迭代器支持：特别是在
indirectly_writable的设计中，对代理引用的明确支持使得实现那些不直接引用内存中真实对象（如zip_iterator或transform_iterator）的迭代器成为可能。
📌 实际代码示例
以下是一个简单的代码片段，帮助您直观理解这两个概念的要求：
#include<iterator>#include<vector>intmain(){std::vector<int>vec={1,2,3};// vec.begin() 是 indirectly_readable 的autoit_read=vec.begin();inta=*it_read;// 合法：通过解引用读取值// vec.begin() 也是 indirectly_writable 的（因为vector::iterator是可变的）autoit_write=vec.begin();*it_write=42;// 合法：通过解引用写入值// 一个反例：std::vector<int>::const_iterator 是 indirectly_readable，// 但不是 indirectly_writable，因为它是常量迭代器。// *it_const = 100; // 错误！不能写入。return0;}