命名空间
变体
操作

std::indirect_strict_weak_order

来自 cppreference.cn
< cpp‎ | iterator
 
 
迭代器库
迭代器概念
迭代器原语
算法概念和工具
间接可调用概念
indirect_strict_weak_order
(C++20)
通用算法要求
(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 之间的主要区别在于,它应用于 I1I2 引用的类型,而不是 I1I2 本身。

[编辑] 缺陷报告

以下行为更改缺陷报告被追溯应用于先前发布的 C++ 标准。

DR 应用于 已发布行为 正确行为
P2609R3 C++20 一些要求根据以下项定义:
std::iter_value_t<I>&,这错误地处理了投影
导致与严格弱序 F& 不兼容
根据以下项定义:
/*indirect-value-t*/<I>
正确处理此类投影
P2997R1 C++20 indirect_strict_weak_order 要求 F& 满足
strict_weak_orderstd::iter_common_reference_t<I>
不要求