C++20 概念 : requires expression and perfect forwarding

Question

仅供引用:C++17 std::is_invocable_v 完全符合我的预期。

想象一个概念来检查是否可以使用特定参数类型调用可调用对象:

template <typename Fn, typename... Args>
concept has_request_interface = requires (Fn request, Args&&... args)
{
    { std::invoke(request, std::forward<Args>(args)...) }-> Status;
};

相对

template <typename Fn, typename... Args>
concept has_request_interface = requires (Fn request, Args... args)
{
    { std::invoke(request, args...) }-> Status;
};

在 requires 表达式中使用完美转发有意义吗？

在我看来答案是肯定的，因为请求可调用对象可能需要某些参数的右值。

但是requires (Fn request, Args... args)表现为关于 args... 的左值性质的函数声明?

Answer 1

它的行为将与它看起来的完全一样。这就是 requires 的重点。表达:使这些东西看起来像 C++。所以它的行为就像 C++。

重要的是你如何使用这个概念。也就是说，当你requires一些基于它的模板，你应该正确地调用这个概念。例如:

template<typename Func, typename ...Args
void constrained(Func func, Args &&...args)
  requires has_request_interface<Func, Args...>
{
  Status status = func(std::forward<Args>(args)...);
}

所以是的，如果你想通过概念转发工作，你的概念需要使用 &&和转发。