第23课.神秘的临时对象

1.下面程序输出什么？为什么？

include <stdio.h>

class Test
{
int mi;

public:
Test(int i)
{
mi = i;
}

Test()
{
Test(0); //直接调用了构造函数，会产生一个临时对象；Test(0)这个构造函数对这个临时对象进行初始化后。就被析构函数销毁了。所以对这个程序而言。这句话没有任何意义。才导致了，打印的随机值。
}

void print()
{
printf("mi = %d\n", mi);
}
};

int main()
{
Test t;

t.print();

return 0;
}

思考：

程序意图：在Test()中以0作为参数调用Test(int i)，将成员变量mi的初始值设置为0；
运行结果：mi的值为随机值

答案：

a.直接调用构造函数将会产生一个临时对象；
b.临时对象的生命周期只有一条语句的时间
c.临时对象的作用域只在一条语句中

eg：

include <stdio.h>

class Test
{
int mi;

void init(int i) //在实际工程中往往会提供一个私有的init函数来做初始设置
{
mi = i;
}

public:
Test(int i)
{
printf("Test(int i)\n");
init(i); //调用init初始函数
}

Test()
{
printf("Test()\n");
init(0); //调用init初始函数
}

void print()
{
printf("mi = %d\n", mi);
}

~Test()
{
printf("~Test()\n");
}
};

int main()
{
printf("main begin\n");

/* 通过这段代码更加的说明了上述答案中所述的三项
*/
Test(); //Test().print;
Test(0); //Test(0).print;

printf("main end\n");

return 0;
}

2.编译器的行为

现代c++编译器在不影响最终执行结果的前提下，会尽力减少临时对象的产生。

include <stdio.h>

class Test
{
int mi;

public:
Test(int i)
{
printf("Test(int i) : %d\n", i);
mi = i;
}

Test(const Test& t)
{
printf("Test(const Test& t) : %d\n", t.mi);
mi = t.mi;
}

Test()
{
printf("Test()\n");
mi = 0;
}
int print()
{
printf("mi = %d\n", mi);
}
~Test()
{
printf("~Test()\n");
}
};

Test func()
{
return Test(20);
}

int main()
{
Test t(10); //Test t(10); 等价于 Test t = Test(10);
//理论上 1.生成临时对象； 2.用临时对象初始化t对象； 3.调用拷贝函数
//实际上Test t = Test(10); ==》(编译器把这里优化为) Test t = 10; 不会产生临时对象
//实际工程中推荐使用Test t = 10这种写法，不推荐使用Test t（10）

Test tt = func(); //Test tt = func(); 》Test t = Test(20);》Test t = 20; 不会缠身临时对象

t.print();
tt.print();

return 0;
}

Test t[] = {Test(), Test(10), Test[10]}; //与上述类似

3.总结

直接的，简单的调用构造函数会生成临时对象；

Test(10);
间接的调用构造函数则会被编译器优化，不会生成临时函数；

Test t = Test(10);

Test t[] = {Test(), Test(10), Test[20]};