std::indirectly_unary_invocable, std::indirectly_regular_unary_invocable

来自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> 定义
std::indirectly_unary_invocable
 
template< class F, class I >
    concept indirectly_unary_invocable =
        std::indirectly_readable<I> &&
        std::copy_constructible<F> &&
        std::invocable<F&, /*indirect-value-t*/<I>> &&
        std::invocable<F&, std::iter_reference_t<I>> &&
        std::common_reference_with<
            std::invoke_result_t<F&, /*indirect-value-t*/<I>>,
            std::invoke_result_t<F&, std::iter_reference_t<I>>>;
(C++20 起)
std::indirectly_regular_unary_invocable
 
template< class F, class I >
    concept indirectly_regular_unary_invocable =
        std::indirectly_readable<I> &&
        std::copy_constructible<F> &&
        std::regular_invocable<F&, /*indirect-value-t*/<I>> &&
        std::regular_invocable<F&, std::iter_reference_t<I>> &&
        std::common_reference_with<
            std::invoke_result_t<F&, /*indirect-value-t*/<I>>,
            std::invoke_result_t<F&, std::iter_reference_t<I>>>;
(C++20 起)

概念 indirectly_unary_invocable 和 indirectly_regular_unary_invocable 指定对于“调用作为各自实参的（正则）一元可调用对象的算法”的要求。这些概念与 std::invocable 间的关键差异是它们应用到 I 所引用的类型，而非 I 自身。

注解

indirectly_unary_invocable 与 indirectly_regular_unary_invocable 间的区别是纯语义的。

示例

运行此代码
#include <algorithm>
#include <iterator>
#include <print>
#include <ranges>

struct IntWrapper
{
    int i;

    explicit IntWrapper(int i) : i(i) {}
    IntWrapper(IntWrapper&&) = default;
    IntWrapper& operator=(IntWrapper&&) = default;
};

int main()
{
    auto ints  = std::views::iota(1, 10);
    auto print = [] (IntWrapper w) { std::print("{} ", w.i); };
    auto wrap  = [] (int i) { return IntWrapper{i}; };

    using Proj = std::projected<decltype(ints.begin()), decltype(wrap)>;

    // P2609R3 前为错误（求值为 false）：
    // 这是因为 'std::iter_value_t<Proj> &' 与 'IntWrapper&' 相同
    // 而它不能转换为 'IntWrapper'（隐式弃置了复制构造函数）
    static_assert(std::indirectly_unary_invocable<decltype(print), Proj>);

    // 如果上面的编译时检查求值为 true，那么以下是良构的：
    std::ranges::for_each(ints, print, wrap);
}

输出： 

1 2 3 4 5 6 7 8 9

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 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> 		不作此要求