gpt4 book ai didi

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

转载 作者:qq735679552 更新时间:2022-09-28 22:32:09 25 4
gpt4 key购买 nike

CFSDN坚持开源创造价值,我们致力于搭建一个资源共享平台,让每一个IT人在这里找到属于你的精彩世界.

这篇CFSDN的博客文章C++ 17转发一个函数调用的完美实现由作者收集整理,如果你对这篇文章有兴趣,记得点赞哟.

前言 。

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

方法如下 。

首先你灵光一闪:

?
1
#define WARP_CALL(fun, ...) fun(__VA_ARGS__)

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

?
1
2
3
4
5
template < class R, class T1, class T2, class T3>
R warp_call(R(*fun)(T1, T2, T3), T1 a, T2 b, T3 c)
{
  return fun(a, b, c);
}

如果你写出来上面这段代码,你肯定是从C转过来的,C++还没用熟。考虑callable object和C++11 variadic template特性用上:

?
1
2
3
4
5
template < class Fun, class ... Args>
auto wrap_call(Fun f, Args... args) -> decltype(f(args...))
{
  return f(args...);
}

加上移动语义,返回值推导:

?
1
2
3
4
5
template < class Fun, class ... Args>
auto wrap_call(Fun&& f, Args&&... args)
{
  return std::forward<Fun>(f)(std::forward<Args>(args)...);
}

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

?
1
2
3
4
5
6
template < class Fun, class ... Args>
auto wrap_call(Fun&& f, Args&&... args)
  -> decltype(std::forward<Fun>(f)(std::forward<Args>(args)...))
{
  return std::forward<Fun>(f)(std::forward<Args>(args)...);
}

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

?
1
2
3
4
5
template < class Fun, class ... Args>
decltype(auto) wrap_call(Fun&& f, Args&&... args)
{
  return std::forward<Fun>(f)(std::forward<Args>(args)...);
}

别忘了noexcept 。

?
1
2
3
4
5
6
template < class Fun, class ... Args>
decltype(auto) wrap_call(Fun&& f, Args&&... args)
  noexcept(noexcept(std::forward<Fun>(f)(std::forward<Args>(args)...)))
{
  return std::forward<Fun>(f)(std::forward<Args>(args)...);
}

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

?
1
2
3
4
5
6
7
template < class Fun, class ... Args>
auto wrap_call(Fun&& f, Args&&... args)
  noexcept(noexcept(std::forward<Fun>(f)(std::forward<Args>(args)...)))
  -> decltype(std::forward<Fun>(f)(std::forward<Args>(args)...))
{
  return std::forward<Fun>(f)(std::forward<Args>(args)...);
}

我们还遗漏了啥?constexpr 。

?
1
2
3
4
5
6
7
template < class Fun, class ... Args>
constexpr auto wrap_call(Fun&& f, Args&&... args)
  noexcept(noexcept(std::forward<Fun>(f)(std::forward<Args>(args)...)))
  -> decltype(std::forward<Fun>(f)(std::forward<Args>(args)...))
{
  return std::forward<Fun>(f)(std::forward<Args>(args)...);
}

上面是完美的 。

完美吗?去看看std::invoke 。

总结 。

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

原文链接:https://zhuanlan.zhihu.com/p/28831320?

最后此篇关于C++ 17转发一个函数调用的完美实现的文章就讲到这里了,如果你想了解更多关于C++ 17转发一个函数调用的完美实现的内容请搜索CFSDN的文章或继续浏览相关文章,希望大家以后支持我的博客! 。

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com