C++ 临时对象

临时对象通常产生于3种情况：
1、类型转换
2、按值传递
3、按值返回

---

1. 类型转换

通常是为了让函数调用成功而产生的临时对象：传递某对象给一个函数，而其类型与它绑定的参数类型不同。
例如：

void test(const string& str);char buffer[] = "buffer";test(buffer);//此刻发生类型转换

编译器类型转换：产生一个类型为string的临时对象，该对象以buffer为参数调用string constructor，当test函数返回时，临时对象会自动销毁。
注意：对于引用（reference）参数而言，只有当对象被传递给一个reference-to-const参数时，转换才发生。如果对象参数传递给一个reference-to-non-const对象，则不会发生转换。
例如：

void upper(string& str);char buffer[] = "buffer";test(buffer);//编译出错

1. 按值传递：通常是为了让函数调用成功而产生临时对象。
   例如：

void foo(X x0);X xx;foo(xx);

此时编译器产生的伪代码：

//编译器产生的临时对象X _temp0;//编译器对拷贝构造的调用_temp0.X::X(xx);foo(_temp0);

又如例：

class CTemp{public:    int a;    int b;    CTemp(CTemp& t){cout << "copy function " << endl; a = t.a; b = t.b;};    CTemp(int m = 0, int n = 0);    virtual ~CTemp(){};    int GetSum(CTemp ts);};CTemp::CTemp(int m, int n){    cout << "construct function " << endl;    a = m;    b = n;    cout << a << endl;    cout << b << endl;}int CTemp::GetSum(CTemp ts){    int tmp = ts.a + ts.b;    ts.a = 100;    return tmp;}void main(){    CTemp tm(10, 20);    cout << tm.GetSum(tm) << endl;    cout << tm.a << endl;}

1，调用拷贝构造函数来创建一个副本为GetSum函数体内所用。
2，在GetSum函数体内对tm副本进行的修改并没有影响到tm本身。

int CTemp::GetSum(CTemp& ts){    int tmp = ts.a + ts.b;    ts.a = 1000;     //此时通过ts这个引用参考(refer to)对象本身    return tmp;}

通过引用，减少了一次临时对象的创建。

如程序改为：

void main(){    CTemp tm(10, 20),sum;    sum = 1000;      ////调用CTemp(int m = 0,int n = 0)构造函数    cout << tm.GetSum(sum) << endl; }

输出调用了3次构造函数：sum = 1000. 1000和sum类型不符，但编译器为了通过编译以1000为参数调用构造函数创建了临时对象。
解决方法：

void main(){    CTemp tm(10, 20);    CTemp sum = 1000;    cout << tm.GetSum(sum) << endl;}

只作了稍稍改动，就减少了一次临时对象的创建。
1，此时的“=”号由原本的赋值变为了构造。
2，对Sum的构造推迟了。当我们定义CTmep sum时，在main的栈中为sum对象创建了一个预留的空间。而我们用1000调用构造时，此时的构造是在为sum预留的空间中进行的。因此也减少了一次临时对象的创建。

1. 函数返回一个对象
   当函数需要返回一个对象，会在栈中创建一个临时对象，存储函数的返回值。、
   例如：

class CTemp{public:    int a;    CTemp(CTemp& t)    {        cout << "Copy ctor" << endl;        a = t.a;    }    CTemp& operator=(CTemp& t)    {        cout << "Assignment copy ctor" << endl;        a = t.a;        return *this;    }    CTemp(int m = 0);    virtual ~CTemp(){};};CTemp::CTemp(int m){    cout << "Construct function" << endl;    a = m;}CTemp Double(CTemp& ts){    CTemp tmp;    tmp.a = ts.a * 2;    return tmp;}void main(){    CTemp tm(10), sum;    sum = Double(tm);    cout << sum.a << endl;}

对于 sum = Double(tm);语句生成了两个对象：
1、创建一个tmp临时对象 CTmp tmp;
2、将tmp对象返回，返回过程中调用Copy cotr创建一个返回对象：return tmp；
3、将返回结果通过调用赋值拷贝函数，赋给sum：sum = 函数返回值；//该步没有创建对象
解决方案:

void main(){    CTemp tm(10);    CTemp sum = Double(tm);    cout << sum.a << endl;}

若修改为

CTemp Double(CTemp& ts){    return ts.a * 2;}

减少一次构造函数调用（tmp），一次拷贝构造函数（tmp拷贝给返回对象）调用和一次赋值拷贝函数调用
原因：返回对象直接使用为sum预留的空间，减少了返回临时对象的生成

参考：
http://blog.chinaunix.net/uid-10533652-id-2949402.html
http://blog.csdn.net/imyfriend/article/details/12886577