定制点对象
来自cppreference.com
解释
定制点对象
名字 ranges::cpo
代表一个定制点对象,它是字面 semiregular
类类型的 const 函数对象。为说明目的,以 __cpo_fn
表示它的类型的 cv 无限定版本。
__cpo_fn
的所有实例均相等。在相同参数上调用类型 __cpo_fn
的不同实例的效果是等价的,与指代该实例的表达式是左值还是右值,以及是否为 const 限定无关(然而不要求 volatile 限定的实例可调用)。从而能自由地复制 ranges::cpo
并且能彼此替代地使用它的副本。
给定类型集合 Args...
,如果 std::declval<Args>()... 满足上面对于 ranges::cpo
的参数要求,那么 __cpo_fn
实现
- std::invocable<__cpo_fn, Args...>、
- std::invocable<const __cpo_fn, Args...>、
- std::invocable<__cpo_fn&, Args...> 和
- std::invocable<const __cpo_fn&, Args...>。
否则,__cpo_fn
的函数调用运算符不会参与重载决议。