我们知道在C++的创建对象是一个费时,费空间的一个操作。有些固然是必不可少,但还有一些对象却在我们不知道的情况下被创建了。通常以下三种情况会产生临时对象:
#include <stdio.h> class CTemp { public: int a; int b; public: CTemp(CTemp& t){ printf("Copy function! ");a = t.a;b = t.b;}; CTemp(int m = 0,int n = 0); virtual ~CTemp(){}; public: int GetSum(CTemp ts); }; CTemp::CTemp(int m , int n) { printf("Construct function! "); a = m;b=n; printf("a = %d ",a); printf("b = %d ",b); } int CTemp::GetSum(CTemp ts) { int tmp = ts.a + ts.b; ts.a = 1000; //此时修改的是tm的一个副本 return tmp; } //--------------Main函数----------------- void main() { CTemp tm(10,20); printf("Sum = %d ",tm.GetSum(tm)); printf("tm.a = %d ",tm.a); }
a = 10
b = 20
Copy function!
Sum = 30
tm.a = 10
int CTemp::GetSum(CTemp& ts) { int tmp = ts.a + ts.b; ts.a = 1000; //此时通过ts这个引用参考(refer to)对象本身 return tmp; }
a = 10
b = 20
Sum = 30
tm.a = 1000
void main() { CTemp tm(10,20),sum; sum = 1000; //调用CTemp(int m = 0,int n = 0)构造函数 printf("Sum = %d ",tm.GetSum(sum)); }
a = 10
b = 20
Construct function!
a = 0
b = 0
Construct function!
a = 1000
b = 0
Sum = 1000
void main() { CTemp tm(10,20); CTemp sum = 1000; printf("Sum = %d ",tm.GetSum(sum)); }
a = 10
b = 20
Construct function!
a = 1000
b = 0
Sum = 1000
#include <stdio.h> class CTemp { public: int a; public: CTemp(CTemp& t) //Copy Ctor! { printf("Copy Ctor! "); a = t.a; }; CTemp& operator=(CTemp& t) //Assignment Copy Ctor! { printf("Assignment Copy Ctor! "); a = t.a; return *this; } CTemp(int m = 0); virtual ~CTemp(){}; }; CTemp::CTemp(int m) //Copy Ctor! { printf("Construct function! "); a = m; printf("a = %d ",a); } CTemp Double(CTemp& ts) { CTemp tmp; //构建一个临时对象 tmp.a = ts.a*2; return tmp; } //-------------Main函数----------------- void main() { CTemp tm(10),sum; printf(" "); sum = Double(tm); printf(" sum.a = %d ",sum.a); }
a = 10
Construct function!
a = 0
Construct function!
a = 0
Copy Ctor!
Assignment Copy Ctor!
sum.a = 20
CTemp Double(CTemp& ts) { return ts.a*2; } /*--------上面的代码相当于------- CTemp _ret void Double(CTemp& ts) { _ret.a = ts.a*2; } ---------------*/ //---------Main函数----------- void main() { CTemp tm(10); printf(" "); CTemp sum = Double(tm); printf(" sum.a = %d ",sum.a); }
a = 10
Construct function!
a = 20
sum.a = 20
************************************************************************************
C++中真正的临时对象是看不见的,它们不出现在你的源代码中,临时对象的产生在如下几个时刻:
1. 用构造函数作为隐式类型转换函数时,会创建临时对象。
例:
class Integer { public: Integer(int i) :m_val(i) {} ~Integer(){} private: int m_val; }; void Calculate(Integer itgr) { // do something }
那么语句: int i = 10;
Calculate(i);
会产生一个临时对象,作为实参传递到Calculate 函数中。
2. 建立一个没有命名的非堆(non-heap)对象,也就是无名对象时,会产生临时对象。
如:
Integer& iref = Integer(5); //用无名临时对象初始化一个引用,等价于
//Integer iref(5);
Integer itgr = Integer(5); //用一个无名临时对象拷贝构造另一个对象
按理说,C++应先构造一个无名的临时对象,再用它来拷贝构造itgr,由于
该临时对象拷贝构造 itgr 后,就失去了任何作用,所以对于这种类型(只起拷贝构造另一个对象的作用)的临时对象,c++特别将其看做: Integer itgr(5); 即直接以相同参数构造目标对象,省略了创建临时对象这一步。
Calculate( Integer(5) ); //无名临时对象作为实参传递给形参,函数调
//用表达式结束后,临时对象生命期结束,被//析构.
3. 函数返回一个对象值时,会产生临时对象,函数中的返回值会以值拷贝的形式拷贝到被调函数栈中的一个临时对象。
如:
Integer Func() { Integer itgr; return itgr; } void main() { Integer in; in = Func(); }
表达式 Func() 处创建了一个临时对象,用来存储Func() 函数中返回的对象,临时对象由 Func()中返回的 itgr 对象拷贝构造(值传递),临时对象赋值给 in后,赋值表达式结束,临时对象被析构。见下图:
看看如下语句:
Integer& iRef = Func();
该语句用一个临时对象去初始化iRef 引用,一旦该表达式执行结束,临时对象的生命周期结束,便被结束,iRef引用的尸体已经不存在,接下来任何对 iRef 的操作都是错误的。
下面,来看看实际的测试结果,代码如下:
class VECTOR3 { public: VECTOR3() :x(0.0f),y(0.0f),z(0.0f) { std::cout<<"VECTOR3 Default Constructor " <<std::setiosflags(std::ios_base::hex)<<this <<std::endl; } VECTOR3(float fx, float fy, float fz) :x(0.0f),y(0.0f),z(0.0f) { std::cout<<"VECTOR3 Parameter Constructor " <<std::setiosflags(std::ios_base::hex)<<this <<std::endl; } VECTOR3(const VECTOR3& rht) :x(rht.x), y(rht.y), z(rht.z) { std::cout<<"VECTOR3 Copy Constructor " <<std::setiosflags(std::ios_base::hex)<<this <<" from rht : " <<std::setiosflags(std::ios_base::hex)<<&rht <<std::endl; } ~VECTOR3() { std::cout<<"VECTOR3 Destructor " <<std::setiosflags(std::ios_base::hex)<<this <<std::endl; } VECTOR3& operator = (const VECTOR3& rht) { if( &rht == this ) return *this; x = rht.x; y = rht.y; z = rht.z;
std::cout<<"VECTOR3 operator = left oper : " <<std::setiosflags(std::ios_base::hex)<<this <<" right oper : " <<std::setiosflags(std::ios_base::hex)<<&rht <<std::endl; return *this; } private: float x; float y; float z; }; VECTOR3 Func1() { return VECTOR3(1.0f, 1.0f, 1.0f); } VECTOR3 Func2() { VECTOR3 ret; ret.x = 2.0f; ret.y = 2.0f; ret.z = 2.0f; return ret; } void main() { VECTOR3 v1 = Func1(); v1 = Func1(); VECTOR3 v2 = Func2(); VECTOR3 v3; v3 = Func2(); }
分析:
<1>.
VECTOR3 v1 = Func1();
该语句的执行过程本该是:
1>. 在 Func1() 中构造一个无名对象
2>. 由 Func1() 中的无名对象拷贝构造调用表达式处的临时对象
3>. 再由临时对象拷贝构造v1
4>. Func1() 返回,析构无名对象
5>. 整个语句结束,析构临时对象
但是c++ 会优化上述过程,省略了 1>. 2>. 处的临时对象创建,直接以
1.0f, 1.0f, 1.0f 为参数构造v1,这样只会有一次构造函数的调用。结果
如图:
<2>.
v1 = Func1();
该语句的执行过程本该是:
1>. 在 Func1() 中构造一个无名对象
2>. 由 Func1() 中的无名对象拷贝构造调用表达式处的临时对象
3>. 再由临时对象赋值给v1 (赋值运算符)
4>. Func1() 返回,析构无名对象
5>. 整个语句结束,析构临时对象
但是c++ 会优化上述过程,省略了 1>. 处的无名临时对象创建,直接以
1.0f, 1.0f, 1.0f 为参数构造调用表达式处的临时对象,因为是赋值,所以这个临时对象是无法被优化的,赋值完毕后,表达式结束,临时对象被析构。结果如图:
<3>.
VECTOR3 v2 = Func2();
该语句的执行过程本该是:
1>. Func2() 中的 ret 拷贝构造调用表达式处的临时对象
2>. 该临时对象拷贝构造v2
3>. 析构临时对象
但是c++ 会优化上述过程,省略了创建临时对象这一步,直接由ret拷贝
构造v2,就一次拷贝构造函数的代价。
结果如图:
<4>.
VECTOR3 v3;
v3 = Func2();
执行过程如下:
1>. 构造v3
2>. 进入Func2(),构造ret
3>. 返回ret,用ret拷贝构造到调用表达式处的临时对象
4>. Func2()结束,ret被析构
5>. 临时对象赋值给v3
6>. 赋值表达式结束,析构临时对象
结果如图:
综上所述,可得如下结论:
<1>. 在使用一个临时对象( 可能是无名对象 或者 返回对象值时 ) 创建构造另一个对象的过程的中,c++会优化掉该临时对象的产生,直接以相同参数调用相关构造函数构或者 直接调用拷贝构造函数 到 目标对象.
<2>. 若不是对象创建,而是对象赋值,则在赋值表达式的右值处的临时对象
创建不能省略,临时对象赋值给左值后,表达式结束,临时对象被析构。
补充知识点:匿名对象转正!
///********************************************** /// @file VECTOR.cc /// @author alex(AlexCthon@qq.com) /// @date 2018-06-10 20:38:41 ///**********************************************/ #include <iostream> using namespace std; class VECTOR { public: VECTOR(){ _ix=0;_iy=0; } VECTOR(int ix,int iy) :_ix(ix) ,_iy(iy) { cout << "VECTOR(int,int) " << _ix <<","<< _iy << endl; } VECTOR(const VECTOR &rhs) :_ix(rhs._ix) ,_iy(rhs._iy) { } VECTOR & operator =(const VECTOR &rhs) { _ix = rhs._ix; _iy = rhs._iy; return *this; } private: int _ix; int _iy; };
//g函数:返回一个元素
//结论1:函数的返回值是一个元素(复杂类型的),返回的是一个新的匿名对象(所以会调用匿名对象类的copy构造函数) //结论2:有关匿名对象的去和留。
// 如果用匿名兑现给初始化,另一个同类型的对象,匿名对象专程有名对象
// 如果用匿名对象赋值给另一个同类型的对象,匿名对象就马上被析构掉
//
VECTOR p() { VECTOR A(21,21); return A; };
void obj1()
{
VECTOR a=p();//用匿名对象初始化m,此时c++编译器,直接把匿名对象专程m(扶正),从匿名专程有名字了。
//匿名对象,被扶正,不会被析构掉
}
void obj2()
{
VECTOR a(1,2);
a=p();//用匿名对象赋值给另一个同类型的对象,匿名对象就马上被析构掉
}
int main() { obj1();
obj2(); return 0; }