临时变量,左值右值,右值引用及其作用

C++11 新增了很多功能,其中一个叫做右值引用。为了搞清楚这个东西,参考了几篇网上的博客,于是便有此文:

临时变量

  首先我们需要搞清楚左值和右值之分。而为了区分左值和右值,我们先注意到C++中的临时变量:

C++中的临时变量指的是那些由编译器根据需要在栈上产生的,没有名字的变量。
即由编译器在程序需要的时候自动生成的临时性变量,它们并不在代码中出现,但是它们又是确实存在的。临时变量主要分为两类

  1. 函数的返回值, 如:
string proc(){
    return string("abc");
}

int main(){
    proc();
    return 0;
}

中倒数第二句 proc()的返回值。但并不是所有返回值都会创建临时变量,只有当没有将返回值赋值给其它变量时,临时变量才会创建。这种临时变量的生命周期很短,当表达式完成后,它就会被销毁了。例如上面的代码,proc()产生的临时变量,在return之前就已经销毁了。

需要注意的是很多时候我们说那个string(“abc”)是临时变量,这个说法是不准确的。严格来说,这个变量叫做函数里面的局部变量(local value), 和C++定义的临时变量是两码事。我们说它是临时的只是字面”暂时的“意思,并不是指C++中的临时。

  1. 类型转换时的中间变量,如
int a = 1;
float t = 1.0f;
float d = a + t;

中a+t是int + float类型,因此a会先被转换为float再和t相加,此时就会产生一个临时变量。

  一般来说,C++ 中的临时变量在表达式结束之后 (full expression) 就被会销毁,比如前面举的两个栗子。但也有例外的时候,如果这个临时变量被用来初始化一个引用的话,那这个临时变量的生命周期就会被延长,直到引用被销毁,从而不会因此产生悬空(dangling)的引用。

string Proc(){
     return string("abc");
}

int main() {
     const string& ref = Proc();
     cout << ref << endl;
     return 0;
 }

中虽然Proc()返回的是一个临时变量,但它被引用ref所指向,故生命周期会一直延长到函数结尾(这里是main函数)。不过需要注意的是,临时变量只能通过 const 引用来指向,因此是不可修改的

  这个特性有时很有用,比如,你可以用一个基类的引用指向一个子类的临时变量,然后通过这个引用来实现多态,但又不用处理子类的销毁。例如:

Class Base(){
    public:      
         virtual Bar() { cout << "base bar()" << endl; }
};

Class DerOne: public Base{
    public:    
       virtual Bar() { cout << "DerOne Bar()" << endl; }
};

class DerTwo: public Base{
    public:       
       virtual Bar() { cout << "DerTwo Bar()" << endl; }
};


Base GetBase(){
    return Base();
}

DerOne GetDerOne(){
     return DerOne();
}

DerTwo GetDerTwo(){
     return DerTwo();
}


int main(){
    const Base& ref1 = GetBase();
    const Base& ref2 = GetDerOne();
    const Base& ref3 = GetDerTwo();

    ref1.Bar();
    ref2.Bar();
    ref3.Bar();

    return 0;
}

注意上述代码中,ref引用在初始化之后可以直接使用,而且不用考虑所指向对象的生存期,即不用考虑内存的回收。而用常见的Base* ptr的指针方式,在使用完之后还要考虑用delete回收内存。

  该小技巧在 Loki::ScopeGuard 的实现中被用到了,使得在一个域内使用多态时,可以避免使用指针,这个写法是这样的巧妙以致被 Andrei 称为:”The Most Important const”。

左值右值

首先C和C++对左值右值的定义是不同的

在上古时期,只有C的时候,人们定义了Location value 即左值(l-value),指的是被分配内存的
人们经常有一种误解,即在等号左边的叫做左值(L-value),右边的叫做右值(R-value)。这个说法其实是不准确的, 首先左值右值是针对表达式来说的。C++中左值被定义为Location Value,即可以取地址的值,或者说是指表达式结束后仍然存在的值。相反右值就是临时的值了

  • 2
    点赞
  • 14
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值