脚本之家 服务器常用软件
快捷导航
您的位置：首页 → 软件编程 → C 语言 → C++17转发一个函数调用

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

 更新时间：2017年08月28日 09:49:13   作者：孙明琦  
这篇文章主要给大家介绍了关于C++ 17如何转发一个函数调用的完美实现方法，文中通过示例代码介绍的非常详细，对大家学习或者使用C++17具有一定的参考学习价值，需要的朋友们下面跟着小编来一起学习学习吧。

前言

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

方法如下

首先你灵光一闪：

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

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

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特性用上：

template<class Fun, class... Args>
auto wrap_call(Fun f, Args... args) -> decltype(f(args...))
{
 return f(args...);
}

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

template<class Fun, class... Args>
auto wrap_call(Fun&& f, Args&&... args)
{
 return std::forward<Fun>(f)(std::forward<Args>(args)...);
}

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

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)

template<class Fun, class... Args>
decltype(auto) wrap_call(Fun&& f, Args&&... args)
{
 return std::forward<Fun>(f)(std::forward<Args>(args)...);
}

别忘了noexcept

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的。所以最好手动写返回值

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

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

总结

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

您可能感兴趣的文章:

相关文章

  • C++中四种强制转换方式的区别

    C++中四种强制转换方式的区别

    在C++中,有四种不同的强制转换方式,它们分别是静态转换、动态转换、常量转换和重新解释转换,下面通过示例代码讲解每种转换的区别,感兴趣的朋友跟随小编一起看看吧
    2023-08-08
  • 基于c中使用ftruncate()前需要fflush(),使用后需要rewind()的深入探讨

    基于c中使用ftruncate()前需要fflush(),使用后需要rewind()的深入探讨

    本篇文章是对在c中使用ftruncate()前需要fflush(),使用后需要rewind()进行了详细的分析介绍，需要的朋友参考下
    2013-05-05
  • C语言编程PAT乙级学习笔记示例分享

    C语言编程PAT乙级学习笔记示例分享

    这篇文章主要为大家介绍了C语言编程PAT乙级学习笔记实现示例，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪
    2022-05-05
  • VC++角色游戏中的人物初始化模块代码实例

    VC++角色游戏中的人物初始化模块代码实例

    这篇文章主要介绍了VC++角色游戏中的人物初始化模块,对大家学习VC++有一定的帮助,需要的朋友可以参考下
    2014-08-08
  • 使用C++实现MySQL数据库连接池

    使用C++实现MySQL数据库连接池

    这篇文章主要为大家详细介绍了如何使用C++实现MySQL数据库连接池,文中的示例代码讲解详细,具有一定的借鉴价值,有需要的小伙伴可以了解下
    2024-03-03
  • 浅谈c++中“::”和“:” 冒号的意思

    浅谈c++中“::”和“:” 冒号的意思

    这篇文章主要介绍了浅谈c++中“::”和“:” 冒号的意思，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧
    2020-06-06
  • C++ 位运算的具体实现

    C++ 位运算的具体实现

    位运算直接对内存数据进行操作,不需要转换成十进制,因此处理速度非常快,本文主要介绍了C++ 位运算的具体实现,具有一定的参考价值,感兴趣的可以了解一下
    2024-02-02
  • C语言学生成绩管理系统源代码

    C语言学生成绩管理系统源代码

    这篇文章主要为大家详细介绍了C语言学生成绩管理系统源代码，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
    2018-03-03
  • C语言版的三子棋游戏

    C语言版的三子棋游戏

    这篇文章主要为大家详细介绍了C语言版的三子棋游戏，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
    2021-08-08
  • C语言实现单链表逆序与逆序输出实例

    C语言实现单链表逆序与逆序输出实例

    这篇文章主要介绍了C语言实现单链表逆序与逆序输出,是数据结构与算法中比较基础的重要内容,有必要加以牢固掌握,需要的朋友可以参考下
    2014-08-08

最新评论