std:: indirectly_readable
|
定義先ヘッダ
<iterator>
|
||
|
template
<
class
In
>
concept __IndirectlyReadableImpl
=
|
( 説明専用* ) | |
|
template
<
class
In
>
concept indirectly_readable
=
|
(C++20以降) | |
indirectly_readableという概念は、
operator
*
を適用することで読み取り可能な型(ポインタ、スマートポインタ、入力イテレータなど)によってモデル化されます。
セマンティック要件
型Iの値iが与えられたとき、
Iがindirectly_readableをモデルするのは、
それが包含する全てのコンセプトがモデルされ、かつ式
*i
が
等価性保存
である場合に限ります。
等価性保存
標準ライブラリコンセプトの requires expressions で宣言される式は、 equality-preserving であることが要求されます(特に明記されている場合を除く)。