C++20理念:要求表达和完美转发

C++20 concept : requires expression and perfect forwarding

本文关键字：完美 转发 理念 C++20      更新时间：2023-10-16

仅供参考：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 (Fn request, Args... args)是否表现为关于args...的左值性质的函数声明？

它的行为与它的外观完全一样。这就是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)...);
}

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

相关文章：