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

2025-05-27 0 60

前言

本文主要给大家介绍了关于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

总结

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

收藏 (0) 打赏

感谢您的支持,我会继续努力的!

打开微信/支付宝扫一扫,即可进行扫码打赏哦,分享从这里开始,精彩与您同在
点赞 (0)

声明:本站所有文章,如无特殊说明或标注,均为本站原创发布。任何个人或组织,在未征得本站同意时,禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益,可联系我们进行处理。

快网idc优惠网 建站教程 C++ 17转发一个函数调用的完美实现 https://www.kuaiidc.com/72485.html

相关文章

发表评论
暂无评论