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 表示式中宣告的表示式必須是等價保持的(除非另有說明)。