C/C++-左值、右值及引用

C和C++中定义了引用类型(reference type),存在左值引用(lvalue reference)。而在C++11中,新增了右值引用(rvalue reference)这一概念, 虽然个人感觉右值引用用处不大,但在此一并讨论。

1.左值and右值

首先,我们讨论左值和右值两个概念。
左值(lvalue):一个标识非临时性对象的表达式。通常来说,可以将程序中所有带名字的变量看做左值。
右值(rvalue):相对的,右值标识是临时性对象的表达式,这类对象没有指定的变量名,都是临时计算生成的。
考虑以下代码:

vector<string> arr(3);
const int x = 2;
int y;
int z = x + y;
string str = "foo";
vector<string> *ptr = &arr;

在上述代码中,arr, str, y, z等都是左值,x也是一个左值,且他不是一个可修改的左值;而类似于2, x+y这类临时(没有专属变量名)的值则是右值。

2.引用

我们可以这样理解引用:一个引用是它所引用对象的同义词,是其另一个变量名。
看这样一段代码:

#inclulde <stdio.h>

int main()
{
    int x = 5;
    int & y = x;
    printf("引用y = %dn", y);
    return 0;
}

运行结果如下:
C/C++-左值、右值及引用

(1)左值引用
左值引用的声明是通过在某个类型后放置一个符号&来进行的。前文代码中的int & y = x;便是一个左值引用。
需要注意的是,在定义左值引用时,=右边的要求是一个可修改的左值。因此下面几种左值引用都是错误的:

#include <stdio.h>

int main()
{
    const int x = 5;
    int y = 1;
    int z = 1;
    int & tmp1 = x;     // ERROR:x不是一个可修改的左值
    int & tmp2 = 5;     // ERROR:5是一个右值
    int & tmp3 = y + z; // ERROR:y+z是一个右值
    return 0;
}

编译运行,报错如下:
C/C++-左值、右值及引用

(2)右值引用
类似于左值引用,右值引用便是对右值的引用,它是通过两个&&来声明的。

#include <stdio.h>

int main()
{
    int && x = 5;
    printf("x = %dn", x);
    return 0;
}

运行结果如下:
C/C++-左值、右值及引用

引用和指针的区别
我们知道,指针是在内存中存放地址的一种变量,cpu能够直接通过而变量名访问唯一对应的内存单元,且每个内存单元的地址都是唯一的。
而变量名和引用,都可以看做内存的一个标签或是标识符,计算机通过是否符合标识符判断是否为目标内存,而一个内存可以有多个标识符

3.左值引用的用途

因为目前右值引用用途不大,故此处仅列举较为常见的左值引用用途
(1)作为复杂名称变量的别名
我们可以写出类似如下的语句:

auto & whichList = theList[myHash(x, theList.size())];

可以看到,我们用简短的whichList代替了其原本复杂的名称,这能够简化我们的代码书写。
(2)用于rangeFor循环
设想我们希望通过rangeFor循环使一个vector对象所有值都增加1,下面的rangeFor循环是做不到的、

for (auto x : arr)   // x仅相当于每个元素的拷贝
    ++x;

但我们可以通过使用引用达到这一目的

for (auto & x : arr)
    ++x;

(3)避免复制大的对象
假定有一个findMax函数,它返回一个vector中最大的元素。若给定vector存储的是某些大的对象时,下述代码中的x拷贝返回的最大值到x的内存中:

auto x = finaMax(vector);

在大型的项目中这显然会增大程序的开销,这时我们可以通过引用来减小这类开销

auto & x = findMax(vector);

类似的,我们在处理函数返回值的时候也可以使用传引用返回。但是要注意,当返回的是类中私有属性时,传回的引用会导致外界能够对其修改。
(4)参与函数中的参数传递
在C和C++的函数中,addSelf(int x)这类函数对直接传入的参数进行修改并不会改变原有参数的值。而有时我们希望能够实现类似swap(int a, int b)这类能够修改原参数的函数时,我们可以通过1.传入指针2.传入引用实现
swap函数的实现是一个很好的例子

#include <stdio.h>

void swap_non(int, int);    // 直接传入参数 
void swap_p(int *, int *);  // 传入指针
void swap_r(int &, int &);  // 传入引用

int main()
{
    int a = 1;
    int b = 2;
    printf("直接传入参数时:n");
    swap_non(a, b);
    printf("a = %d, b = %dn", a, b);
    printf("传入指针时:n");
    swap_p(&a, &b);
    printf("a = %d, b = %dn", a, b);
    printf("传入引用时:n");
    swap_r(a, b);
    printf("a = %d, b = %dn", a, b);
    return 0;
}

void swap_non(int a, int b)
{
    int temp = a;
    a = b;
    b = temp;
}

void swap_p(int * a, int * b)
{
    int temp = *a;
    *a = *b;
    *b = temp;
}

void swap_r(int & a, int & b)
{
    int temp = a;
    a = b;
    b = temp;
}

运行结果如下:
C/C++-左值、右值及引用

可以看到,只有在传入指针和传入引用时变量才真正交换。

直接传入参数传入指针仍不理解的可以看这篇博客,在此不再描述。

4.std::move和std::swap

前面我们讨论3.(3)时,谈到可以使用引用来减少复制产生的内存开销。
考虑这样一种情况,在进行元素交换时,我们通常使用一个缓存变量temp来临时保存数据;而对temp直接进行=的赋值操作时,实际上temp复制了一次原有对象的内存,但我们需要只是对象之间的移动而不是复制,而C++STL中的std::move函数便可以达成这一操作。
这可能有些抽象,让我们通过例子来看看:

void swap(vector<string> & x, vector<string> & y)
{
    vector<string> temp = std::move(x);
    x = std::move(y);
    y = std::move(temo);
}

上述例子是C++STL中std::swap的源码之一,相信它很好的示范了std::move是如何使用的,而在源码中使用,也足以说明它的高效。

原文链接: https://www.cnblogs.com/Bylight/p/10530274.html

欢迎关注

微信关注下方公众号,第一时间获取干货硬货;公众号内回复【pdf】免费获取数百本计算机经典书籍

    C/C++-左值、右值及引用

原创文章受到原创版权保护。转载请注明出处:https://www.ccppcoding.com/archives/291434

非原创文章文中已经注明原地址,如有侵权,联系删除

关注公众号【高性能架构探索】,第一时间获取最新文章

转载文章受原作者版权保护。转载请注明原作者出处!

(0)
上一篇 2023年2月15日 下午1:38
下一篇 2023年2月15日 下午1:40

相关推荐