C++的临时变量何时析构？

C++的临时变量何时析构？

结论

以下结论在MinGW环境下使用g++编译器，按照调用ISO C++11标准进行编译的情况下得出

• 如果无名临时变量没被移动到有名字的变量上或作为函数返回值，则在语句结束后立即调用析构函数。
• 如果无名临时变量移动到有名变量，则会调用移动构造函数或移动operator=。
• 如果无名临时变量作为函数返回值，则不会立即调用析构函数，而是继续以无名临时变量的形式出现在下层栈帧。
• 有名字的变量在函数的栈帧被弹出函数调用栈时，如果不作为返回值，则析构；如果作为返回值，则不调用析构函数，而被转化为右值返回给下层栈帧，以无名临时变量的形式出现在下层栈帧。

注：本结论仅以实验结果为参考，未参考编译器源码、文档或C++语言标准，故严谨性可能有所欠缺。

证明

我们设计一个简单的程序如下：

#include <iostream>
#include <string>

class A {
public:
    A(const std::string _name) : name(_name) {
        std::cout << "construct A object, name: " << name << "." << std::endl;
    }
    ~A() {
        std::cout << "destruct A object, name: " << name << "." << std::endl;
    }
private:
    std::string name;
};


A foo(std::string &&str) {
    return A(str);
}

A function() {
	A a0 = foo("in_function");      // 隐含移动语义，调用默认移动构造函数 
	delete (new A("NewThenDelete"));
	return a0;
}

int main()
{
    foo("in_main");
    A a0 = function();
    foo("in_main_1");
	return 0;
}

gcc编译运行后，输出如下：

construct A object, name: in_main.
destruct A object, name: in_main.
construct A object, name: in_function.
construct A object, name: NewThenDelete.
destruct A object, name: NewThenDelete.
construct A object, name: in_main_1.
destruct A object, name: in_main_1.
destruct A object, name: in_function.

根据输出的第1、2行，可知没有移动到有名变量上的临时变量，会立即被析构。
根据输出的第3、4、5、8行，可知移动到有名变量上的临时变量，不会立即被析构，而归属于有名变量。
根据输出的第3、6、7、8行，可知作为返回值的变量不会被析构，而是以临时变量的形式返回给下层栈帧。

然而，这个结论有武断的地方：这里断言，将临时值赋给有名字的变量时，要么调用移动构造函数，要么调用移动operator=。这样就有不严谨的地方，所以我们还得设计实验来验证这一断言是否正确。

观察到赋值时调用的构造函数或运算符只能是这几种的重载：

• ClassName(const ClassName &instance);
• ClassName(ClassName &&instance);
• ClassName& operator=(const ClassName &instance);
• ClassName& operator=(ClassName &&instance);

这里再假设临时变量一定是右值（水平有限，没了解过G++编译器源码或C++语言标准，这里只能做出无奈之举——假设），我们还需要设计实验，删除一个类的移动构造函数和移动operator=，观察右值拷贝构造函数和拷贝operator=能否接收右值。

此外，我们加上相关的函数fooB，然后在main函数增添几条关于类B的语句：

class B {
public:
    B(const std::string &_name) : name(_name) {
        std::cout << "construct B object, name: " << name << "." << std::endl;
    }
    ~B() {
        std::cout << "destruct B object, name: " << name << "." << std::endl;
    }
    B(const B &b) = default;
    B(B &&b) = delete;
    B& operator=(B &&b) = delete;
private:
    std::string name;
};

B fooB(std::string &&str) {
    return B(str);
}

int main()
{
	B b0 = fooB("in_main_0");   // 调用移动构造函数 
    b0 = fooB("in_main_1");     // 调用移动operator=
}

结果是编译错误，编译器的部分输出如下：

In function 'B fooB(std::__cxx11::string&&)':
[Error] use of deleted function 'B::B(B&&)'
In function 'int main()':
[Error] use of deleted function 'B::B(B&&)'
[Error] use of deleted function 'B& B::operator=(B&&)'

可以看到，我们无法调用拷贝构造函数，左值和右值引用的重载不能通用。
上面的结论得到验证。

如果需要进一步了解，可以去看g++编译器的源代码。

相关链接

g++源码