std::experimental::ranges::Invocable, std::experimental::ranges::RegularInvocable
来自 cppreference.com
< cpp | experimental | ranges
| 定义在头文件 <experimental/ranges/concepts> 中 |
||
| template< class F, class... Args > concept bool Invocable = |
(范围 TS) | |
| template< class F, class... Args > concept bool RegularInvocable = Invocable<F, Args...>; |
(范围 TS) | |
Invocable 概念指定可调用类型 F 可以使用函数模板 ranges::invoke 调用一组参数类型 Args...。
RegularInvocable 概念在 Invocable 概念的基础上，要求 invoke 表达式是等价保持的，并且不修改函数对象或参数。
[编辑] 等价保持
如果表达式在给定相同输入的情况下产生相同输出，则该表达式是等价保持的。
- 表达式的输入包含其操作数。
- 表达式的输出包含其结果和表达式修改的所有操作数（如果有）。
每个需要是等价保持的表达式都需要进一步是稳定的：两次对具有相同输入对象的此类表达式的求值必须具有相等的输出，除非对这些输入对象进行了明确的干预修改。
除非另有说明，否则requires-expression 中使用的每个表达式都需要是等价保持的且稳定的，并且表达式的求值只能修改其非常量操作数。常量操作数不得修改。
[编辑] 注释
Invocable 和 RegularInvocable 之间的区别纯粹是语义上的。
