C++中的临时对象

1 C++中的临时对象

1.1 C++中的临时对象

下面的程序输出什么？为什么？

程序意图：

• 在Test()中以0作为参数调用Test(int i)。
• 将成员变量mi的初始值设置为0。

运行结果：

• 成员变量mi的值为随机值。

思考：
构造函数是一个特殊的函数：

• 是否可以直接调用？
• 是否可以在构造函数中调用构造函数？
• 直接调用构造函数的行为是什么？

答案：

• 直接调用构造函数将产生一个临时对象。
• 临时对象的声明周期只有一条语句的时间。
• 临时对象的作用域只在一条语句中。
• 临时对象是C++中值得警惕的灰色地带。

解决方案：

#include <stdio.h>

class Test {
    int mi;
    
    void init(int i)
    {
        mi = i;
    }
public:
    Test(int i) {
        init(i);
    }
    Test() {
        init(0);
    }
    void print() {
        printf("mi = %d\n", mi);
    }
};


int main()
{
    Test t;
    
    t.print();

    return 0;
}

1.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 = Test(10); // ==> Test t = 10; （不产生临时对象）
    Test tt = func();  // ==> Test tt = Test(20); ==> Test tt = 20; （不产生临时对象）
    
    t.print();
    tt.print();
    
    return 0;
}

我们必须知道直接调用构造函数将产生一个临时对象，临时对象是性能的瓶颈，也是bug的来源之一。现代C++编译器会尽力避开临时对象，在实际工程开发中需要人为的避开临时对象。

---

参考资料：

1. C++深度解析教程