Question

有人可以在下面的代码示例中解释为什么bar与foo的行为不同？

#include <iostream>
using namespace std;

struct A { 
    A() { cout << "A"; }
    ~A() { cout << "B"; }
};

void foo() {
        A a{};
        cout << "X";
}

void bar() {
        A {};
        cout << "X";
}

int main() {
        foo();
        cout << endl;
        bar();
        cout << endl;
}

输出（gcc 4.8.1，Ubuntu 13.10，使用--std=c++11编译）：

AXB
ABX

Answer 1

所有变量都有名称。

在bar()中，A{}未声明变量。 A{}是构造临时A对象的表达式。像所有临时没有被扩展的临时对象一样，这个A对象在构造它的完整表达式的评估结束时被破坏（非正式地，这意味着“在;”）。

Answer 2

在f中，命名对象a的析构函数在函数末尾运行（当print语句已经运行时）。在bar中，您创建的临时文件仅在创建它的语句中存在。所以它的析构函数在print语句之前被调用。

Answer 3

在bar中，您正在创建A的临时对象，其生命周期仅限于该语句，而在foo中，a的生命周期为整个{{1}}功能

Answer 4

A {};定义的临时对象仅存在于完整表达式的末尾，即分号。 A a{};定义的命名对象存在于函数体范围的末尾。

没有名称的变量的破坏顺序

4 个答案: