stl std::forward

最新推荐文章于 2024-06-29 23:30:11 发布

原创最新推荐文章于 2024-06-29 23:30:11 发布 · 555 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#stl #forward

语言_cc++ 专栏收录该内容

121 篇文章

订阅专栏

本文深入探讨了C++中如何通过模板实现参数转发，并详细解释了std::forward的工作原理及其实现细节。通过具体示例，展示了如何利用模板使函数能够透明地处理各种类型的参数。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

作用:

用于模板的代理函数中参数转发，而能够保持参数的实际类型

例子:

#include <iostream>
#include <functional>

void add(int& a, int&& b, int c, int *d) {
    std::cout << a << std::endl;
    std::cout << b << std::endl;
    std::cout << c << std::endl;
    std::cout << *d << std::endl;
}

void add_proxy(int &a, int &&b, int c, int *d) {
    add(a, std::move(b), c, d);
}

template<typename fun, typename A, typename B, typename C, typename D>
void proxy_template(fun f, A&& a, B&& b, C&& c, D&& d) {
    f(std::forward<A>(a), std::forward<B>(b), std::forward<C>(c), std::forward<D>(d));
}

int main() {
    int a = 1;
    add_proxy(a, 2, 3, &a);
    proxy_template(add, a, 2, 3, &a);
    return 0;
}

add_proxy为明确类型的手动代理调用

proxy_template为模版类型的4参数方法代理调用,其无论你传递的参数为什么类型，均可以按照其实际的类型进行转发

std::forward源码:

  template<typename _Tp>
    constexpr _Tp&&
    forward(typename std::remove_reference<_Tp>::type& __t) noexcept
    { return static_cast<_Tp&&>(__t); }

只列了一种forward情况，另一种为::type&& __t,这种为传递给forward为右值的情况，这里暂时用不上

说明:

A&& a,传递实参int a,推导模板参数a为int& && a(引用折叠)->int& a, 所以A=int&,a=int&

std::forward<A>(a)->std::forward<int&>(int&), std::remove_reference<int&>::type->int,所以匹配上面的std::forward源码,

std::remove_reference<int&>::type&->int&

所以最终代码为:

constexpr int& &&forward(std::remove_reference<int&>::type& __t) noexcept {return static_cast<int& &&>(__t):}

constexpr int& forward(std::remove_reference<int&>::type& __t) noexcept {return static_cast<int&>(__t);}

传递给模板的是左值，那么传递下去的还是左值

B&& b,传递3,推导模版参数b为int&& b, 所以B=int,b=int&&

std::forward<B>(b)->std::forward<int>(int&)(虽然b=int&&,虽然称为右值引用，但是只是表明他是一种有能力访问临时变量的引用，后续使用的时候，其本身是作为左值使用),

std::remove_reference<int>::type->int,所以匹配上面的std::forward源码,