c++中ref的作用

2023-11-30 00:10:55 浏览数 (1)

C 11 中引入 std::ref 用于取某个变量的引用,这个引入是为了解决一些传参问题。

我们知道 C 中本来就有引用的存在,为何 C 11 中还要引入一个 std::ref 了?主要是考虑函数式编程(如 std::bind)在使用时,是对参数直接拷贝,而不是引用。下面通过例子说明

示例1:

代码语言:javascript复制
#include <functional>
#include <iostream>
void f(int& n1, int& n2, const int& n3)
{
    std::cout << "In function: " << n1 << ' ' << n2 << ' ' << n3 << 'n';
      n1; // increments the copy of n1 stored in the function object
      n2; // increments the main()'s n2
    //   n3; // compile error
}

int main()
{
    int n1 = 1, n2 = 2, n3 = 3;
    std::function<void()> bound_f = std::bind(f, n1, std::ref(n2), std::cref(n3));
    n1 = 10;
    n2 = 11;
    n3 = 12;
    std::cout << "Before function: " << n1 << ' ' << n2 << ' ' << n3 << 'n';
    bound_f();
    std::cout << "After function: " << n1 << ' ' << n2 << ' ' << n3 << 'n';
}

输出:

代码语言:javascript复制
Before function: 10 11 12
In function: 1 11 12
After function: 10 12 12

上述代码在执行 std::bind 后,在函数 f() 中n1 的值仍然是 1,n2 和 n3 改成了修改的值,说明 std::bind 使用的是参数的拷贝而不是引用,因此必须显示利用 std::ref 来进行引用绑定。具体为什么 std::bind 不使用引用,可能确实有一些需求,使得 C 11 的设计者认为默认应该采用拷贝,如果使用者有需求,加上 std::ref 即可。

代码语言:javascript复制
#include <thread>
#include <iostream>
#include <string>
void threadFunc(std::string &str, int a)
{
    str = "change by threadFunc";
    a = 13;
}

int main()
{
    std::string str("main");
    int a = 9;
    std::thread th(threadFunc, std::ref(str), a);

    th.join();

    std::cout<<"str = " << str << std::endl;
    std::cout<<"a = " << a << std::endl;

    return 0;
}

该程序创建一个线程 th,调用带有两个参数的 threadFunc 函数:一个是 std::string 对象 str 的引用,另一个是整数 a。函数 threadFunc 修改字符串 str 为 "change by threadFunc",但不修改整数 a。最后在主线程中输出 stra 的值。

输出:

代码语言:txt复制
str = change by threadFunc
a = 9

可以看到,和 std::bind 类似,多线程的 std::thread 也是必须显式通过 std::ref 来绑定引用进行传参,否则,形参的引用声明是无效的。

总结

std::ref 是一个 C 标准库函数模板,它将对象的引用转换为可复制的可调用对象。

std::ref 用于将对象的引用传递给函数或线程等可调用对象的参数。如果不使用 std::ref,那么函数或线程会将对象的副本传递给可调用对象的参数,这可能会导致无法预期的结果,因为对该副本的修改不会影响原始对象。通过使用 std::ref,可以确保可调用对象引用的是原始对象,因此对该对象的修改将影响原始对象。

需要注意的是,使用 std::ref 前必须确保原始对象的生命周期至少与可调用对象相同,否则会导致悬空引用。另外,std::ref 不能用于将指向临时对象或将过时对象的引用传递给可调用对象。

总之,std::ref 的作用是将对象的引用转换为可复制的可调用对象,使得在函数或线程等可调用对象中引用原始对象,而不是其副本。

我正在参与2023腾讯技术创作特训营第三期有奖征文,组队打卡瓜分大奖!

0 人点赞