std::indirectly_readable
定義於標頭檔案 <iterator> |
||
template< class In > concept __IndirectlyReadableImpl = |
(僅作說明*) | |
template< class In > concept indirectly_readable = |
(C++20 起) | |
概念 indirectly_readable
由透過應用 operator* 可讀的型別建模,例如指標、智慧指標和輸入迭代器。
[編輯] 語義要求
給定型別 I
的值 i
,僅當其包含的所有概念都已建模,並且表示式 *i 是等價保持時,I
才建模 indirectly_readable
。
[編輯] 等價保持
在標準庫概念的 requires 表示式中宣告的表示式必須是等價保持的(除非另有說明)。