C++临时变量的生命周期

转自:http://www.cnblogs.com/catch/p/3251937.html

C++ 中的临时变量指的是那些由编译器根据需要在栈上产生的,没有名字的变量。主要的用途主要有两类:

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

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

其中第 6 行会产生一个临时变量。但并不是所有返回值都会创建临时变量,只有当没有将返回值赋值给其它变量时,临时变量才会创建。这种临时变量的生命周期很短,当表达式完成后,它就会被销毁了。例如上面的代码,第 6 行产生的临时变量,到第 7 行的时候就已经销毁了。

  • 类型转换时的中间变量。
int a = 3;

float k = 2.0;
float f = k + a;

第4行,k+a 由于是 float + int , int 会被转换成 float 再与 k 相加,这个时候就会生产一个临时变量。上面的例子是 build-in type,但对于自定义的类也是同样适用的。

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

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

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

如上,第 6 行产生的临时变量因为有 ref 指向,它的生命周期会延长至直到 main() 返回。这个特性有时很有用,比如,你可以用一个基类的引用指向一个子类的临时变量,然后通过这个引用来实现多态,但又不用处理子类的销毁。

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;
}

该小技巧在 Loki::ScopeGuard 的实现中被用到了,使得在一个域内使用多态时,可以避免使用指针,这个写法是这样的巧妙以致被 Andrei 称为:”The Most Important const”。不过需要注意的是,临时变量只能通过 const 引用来指向,因此是不可修改的。

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值