Niebloids 可以在需要 Callables 的地方传递吗？

Question

一般来说，除非明确允许，否则 C++ 程序尝试获取标准库 function 的指针的行为是未指定的。 这意味着在将它们作为Callable传递之前应格外小心。 相反，通常最好将它们包装在 lambda 中。

^{有关该主题的更多信息： 我可以获取标准库中定义的 function 的地址吗？}

---

然而，C++20 在Range-v3 库的基础上引入了Constrained algorithms或 ranged algorithms ； 其中类似函数的实体，例如std::ranges::sort和std::ranges::transform ，被引入为 Niebloids。

虽然原始库为算法库中的每个函数创建了一个仿函数 class，而每个 niebloids，例如ranges::sort ，只是对应仿函数 class 的一个名为 object 的函数； 该标准没有具体说明它们应该如何实施。

---

所以问题是，是否指定/明确允许将 Niebloid 作为Callable传递的行为，例如std::invoke(std::ranges::sort, my_vec) ？

Answer 1

所有规范都在[algorithms.requirements]中说：

依赖于参数的名称查找 ([basic.lookup.argdep]) 找不到本条款中std::ranges命名空间中定义的实体。 当通过 function 调用 ([expr.call]) 中后缀表达式的非限定 ([basic.lookup.unqual]) 名称查找找到时，它们会禁止参数相关的名称查找。

今天，实现它的唯一方法是让它们成为对象。 但是，我们没有指定这些对象的任何进一步行为。

所以这：

std::invoke(std::ranges::sort, my_vec)

会起作用，仅仅是因为在引用它之后它会简单地评估为std::ranges::sort(my_vec) ，并且没有办法真正阻止它起作用。

但其他用途可能不会。 例如， std::views::transform(r, std::ranges::distance)未指定工作，因为我们没有说明std::ranges::distance是否可复制 - std::ranges::size是自定义点 object，因此可复制，但std::ranges::distance只是一种算法。

MSVC 实现试图严格遵守有限规范，并且其std::ranges::distance实现不可复制。 另一方面，libstdc++ 只是使它们成为空对象，因此views::transform(ranges::distance)只是通过不被主动拒绝的方式工作。

所有这些要说的是：一旦你摆脱了直接编写std::ranges::meow(r) （或者在using或using namespace之后编写meow(r) ），你就有点靠自己了。