std::indirectly_readable
定义于头文件 <iterator> |
||
template< class In > concept __IndirectlyReadableImpl = |
(仅为阐述目的*) | |
template< class In > concept indirectly_readable = |
(自 C++20 起) | |
概念 indirectly_readable
由可通过应用 operator*
读取的类型建模,例如指针、智能指针和输入迭代器。
[编辑] 语义要求
给定类型为 I
的值 i
,I
仅当其所包含的所有概念都已建模且表达式 *i
是等式保持 (equality-preserving) 时,才对 indirectly_readable
建模。
[编辑] 等式保持 (Equality preservation)
在标准库概念的 requires
表达式中声明的表达式需要是等式保持的(除非另有说明)。