std:: indirect_unary_predicate
|
ヘッダーで定義
<iterator>
|
||
|
template
<
class
F,
class
I
>
concept indirect_unary_predicate
=
|
(C++20以降) | |
indirect_unary_predicateコンセプトは、引数として単項述語を呼び出すアルゴリズムの要件を規定します。このコンセプトと
std::predicate
の主な違いは、I自体ではなく、Iが参照する型に適用される点です。
不具合報告
以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。
| DR | 適用対象 | 公開時の動作 | 正しい動作 |
|---|---|---|---|
| P2609R3 | C++20 |
要件の1つが
std::
iter_value_t
<
I
>
&
の観点で定義されており、射影を誤って扱い、述語 F & との非互換性が生じていた |
/*indirect-value-t*/
<
I
>
の観点で定義し、 そのような射影を正しく扱うようにした |
| P2997R1 | C++20 |
indirect_unary_predicate
は
F
&
が
predicate
を満たすことを要求していた
std:: iter_common_reference_t < I > |
要求しない |