std::experimental::ranges::Invocable, std::experimental::ranges::RegularInvocable

定义于头文件 `<experimental/ranges/concepts>`
template< class F, class... Args > concept bool Invocable = requires(F&& f, Args&&... args) { ranges::invoke(std::forward<F>(f), std::forward<Args>(args)...); /* not required to be equality preserving */ };		(ranges TS)
template< class F, class... Args > concept bool RegularInvocable = Invocable<F, Args...>;		(ranges TS)

Invocable 概念规定可调用类型 F 可以使用函数模板 ranges::invoke 和一组参数类型 Args... 一起调用。

RegularInvocable 概念在 Invocable 概念的基础上，要求 invoke 表达式是相等保持的，并且不修改函数对象或参数。

如果一个表达式在给定相等输入时产生相等输出，则该表达式是相等保持的。

每个需要相等保持的表达式还必须是稳定的：在没有任何显式的对输入对象进行修改的情况下，使用相同的输入对象对该表达式进行两次求值必须具有相等的输出。

除非另有说明，否则requires-表达式中使用的每个表达式都必须是相等保持和稳定的，并且表达式的求值可能只修改其非常量操作数。常量操作数不得修改。

Invocable 和 RegularInvocable 之间的区别纯粹是语义上的。

随机数生成器可能满足 Invocable 但不能满足 RegularInvocable（滑稽的那些除外）。

技术规范
文件系统库 (filesystem TS)
库基础 (library fundamentals TS)
库基础 2 (library fundamentals TS v2)
库基础 3 (library fundamentals TS v3)
并行扩展 (parallelism TS)
并行扩展 2 (parallelism TS v2)
并发扩展 (concurrency TS)
并发扩展 2 (concurrency TS v2)
概念 (concepts TS)
范围 (ranges TS)
反射 (reflection TS)
数学特殊函数 (special functions TR)
实验性非TS
模式匹配
线性代数
std::execution
契约
2D 图形