std::indirect_strict_weak_order

出自cppreference.com
 
C++
 
迭代器庫
迭代器概念
迭代器原語
算法概念與工具
間接可調用概念
常用算法要求
(C++20)
(C++20)
(C++20)
工具
(C++20)
迭代器適配器
範圍訪問
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
在標頭 <iterator> 定義 
template< class F, class I1, class I2 = I1 >
concept indirect_strict_weak_order =
    std::indirectly_readable<I1> &&
    std::indirectly_readable<I2> &&
    std::copy_constructible<F> &&
    std::strict_weak_order
        <F&, /*indirect-value-t*/<I1>, /*indirect-value-t*/<I2>> &&
    std::strict_weak_order
        <F&, /*indirect-value-t*/<I1>, std::iter_reference_t<I2>> &&
    std::strict_weak_order
        <F&, std::iter_reference_t<I1>, /*indirect-value-t*/<I2>> &&
    std::strict_weak_order
        <F&, std::iter_reference_t<I1>, std::iter_reference_t<I2>>;
(C++20 起)

概念 indirect_strict_weak_order 指定對於「調用作為它的實參的嚴格弱序的算法」的要求。此概念與 std::strict_weak_order 間的關鍵區別是它被應用到 I1 與 I2 所引用的類型，而非 I1 與 I2 自身。

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告 應用於 出版時的行為 正確行為
P2609R3 C++20 一些要求是基於 std::iter_value_t<I>& 定義的，
但它未能正確處理一些投影而導致與可調用的 F& 不兼容 		基於 /*indirect-value-t*/<I>
定義以正確處理這些投影
P2997R1 C++20 對應的概念分別要求 F& 滿足 invocable 和
regular_invocable 以及 std::iter_common_reference_t<I> 		不作此要求