C++ 17转发一个函数调用的完美实现

2023-09-25 18:04:15 49

前言

本文主要给大家介绍了关于C++17转发一个函数调用的相关内容，分享出来供大家参考学习，下面话不多说了，来一起看看详细的介绍吧。

方法如下

首先你灵光一闪：

#defineWARP_CALL(fun,...)fun(__VA_ARGS__)

不我们并不喜欢宏，扩展性太差了

template
Rwarp_call(R(*fun)(T1,T2,T3),T1a,T2b,T3c)
{
returnfun(a,b,c);
}

如果你写出来上面这段代码，你肯定是从C转过来的，C++还没用熟。考虑callableobject和C++11variadictemplate特性用上：

template
autowrap_call(Funf,Args...args)->decltype(f(args...))
{
returnf(args...);
}

加上移动语义，返回值推导：

template
autowrap_call(Fun&&f,Args&&...args)
{
returnstd::forward(f)(std::forward(args)...);
}

auto返回值实际上会有参数被decay的问题，用decltype+尾置返回值

template
autowrap_call(Fun&&f,Args&&...args)
->decltype(std::forward(f)(std::forward(args)...))
{
returnstd::forward(f)(std::forward(args)...);
}

有了C++14，可以直接使用decltype(auto)

template
decltype(auto)wrap_call(Fun&&f,Args&&...args)
{
returnstd::forward(f)(std::forward(args)...);
}

别忘了noexcept

template
decltype(auto)wrap_call(Fun&&f,Args&&...args)
noexcept(noexcept(std::forward(f)(std::forward(args)...)))
{
returnstd::forward(f)(std::forward(args)...);
}

但是上面的函数不是SFINAE-friendly的，因为decltype(auto)返回值的函数并不能直接从函数签名获得返回值，而对这个函数进行返回值推导，是可能产生harderror打断SFINAE的。所以最好手动写返回值

template
autowrap_call(Fun&&f,Args&&...args)
noexcept(noexcept(std::forward(f)(std::forward(args)...)))
->decltype(std::forward(f)(std::forward(args)...))
{
returnstd::forward(f)(std::forward(args)...);
}

我们还遗漏了啥？constexpr

template
constexprautowrap_call(Fun&&f,Args&&...args)
noexcept(noexcept(std::forward(f)(std::forward(args)...)))
->decltype(std::forward(f)(std::forward(args)...))
{
returnstd::forward(f)(std::forward(args)...);
}

上面是完美的

完美吗？去看看std::invoke

总结

以上就是这篇文章的全部内容了，希望本文的内容对大家的学习或者工作能带来一定的帮助，如果有疑问大家可以留言交流，谢谢大家对毛票票的支持。

声明：本文内容来源于网络，版权归原作者所有，内容由互联网用户自发贡献自行上传，本网站不拥有所有权，未作人工编辑处理，也不承担相关法律责任。如果您发现有涉嫌版权的内容，欢迎发送邮件至：czq8825#qq.com（发邮件时，请将#更换为@）进行举报，并提供相关证据，一经查实，本站将立刻删除涉嫌侵权内容。

C++ 17转发一个函数调用的完美实现

热门推荐

随机推荐