c++ 临时对象

临时对象

c++ 临时对象具有常量的属性，并且它的生命周期常常只存在于当前表达式中。

临时对象生命周期

struct A {
~A () {
  cout << "A" << endl;
 }
};
A Fun() {
  return A();
}

int main () {
  A a;
  a = Fun(); //此时会产生一个临时对象，并且在  该行结束后，就会被释放
}

延长临时对象生命周期

当我们使用一个 const 引用绑定一个临时对象的时候，这个临时对象的生命周期会一直延长，直到代码走出该引用的作用域，该临时对象才会被释放.

struct A {
~A () {
  cout << "A" << endl;
 }
};
A Fun() {
  return A();
}

int main () {
  const&A a = Fun(); //生命周期得到延长
  cout << "生命周期已延长" << endl;
  return 0;
}

延长生命周期的几个特殊情况

当下面这个特殊情况时，临时对象的生命周期不会被延长

1. 当const 引用是类成员的时候，当在类成员的初始化列表或构造函数中绑定一个临时对象，该临时对象生命周期不会被延长，当出了构造函数，该临时对象就会被释放。
2. 在new 表达式的初始化列表中，使用临时对象初始化const 引用的时候，临时对象生命周期不会被延长，一旦该表达式执行完毕，临时对象就会被释放

从下面代码可以看到该引用是一个悬垂引用，访问会发生未定义行为。

#include <cstdio>

struct A { 

~A() {
 printf("Atest\n");
}
};

A Fun() {
  A a;
  printf("A:%p\n", &a);
  return a;
}


struct B { 
B(const A& a)
 :a_(a)
 {}

const A& a_; 
};

int main() {
  B b ( Fun() );
  printf( "A:%p\n" , &(b.a_));
  return 0;
}
A:0x7fff3830287f
Atest
A:0x7fff3830287f

关于右值引用

其实右值引用延长了临时对象的生命周期，我在想是不是常量引用就是右值引用的一种实现，只不过c++11把这个技巧具体实现成了一个语法

参考

c++ 标准 12.2节