Namespaces
Variants

std:: indirectly_unary_invocable, std:: indirectly_regular_unary_invocable

From cppreference.net
C++
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
indirectly_unary_invocable indirectly_regular_unary_invocable
(C++20) (C++20)
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
Range access
(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 & 分别满足与 std:: iter_common_reference_t < I >
相关的 invocable 和 regular_invocable 要求 		不再要求