返回对象的销毁

Question

我正在阅读C++17 standard draft 中第 18 节异常处理的第 18.2 节构造函数和析构函数，其中有一个示例（第 384 页）。我试图了解在 try 块内返回的对象 A 的破坏发生在哪里，但找不到。所以我复制了这个例子，添加了一些打印结果，发现该对象的 dtor 从未被调用过。我在这里想念什么？有人请解释一下这里发生了什么。

#include <stdio.h>

struct A {
    int a_;
    explicit A(int a):a_(a) {
        printf("A(%d)'s ctor\n", a_);
    }
    ~A() {
        printf("A(%d)'s dtor\n", a_);
    }
};

struct Y { ~Y() noexcept(false) {
    printf("y's dtor\n");
    throw 0; } };

A f() {
    try {
        A a(23);
        Y y;
        A b(56);
        return A(100); // #1 who destructs this ??
    } catch (...) {
        printf("handling exception..\n");
    }
    printf("At line %d now..\n", __LINE__);
    return A(200); // #2
}

int main() {
    auto ret = f();
    printf("f returned A(%d) object\n", ret.a_);
    return 0;
}

以上代码输出如下：

A(23)'s ctor                                                                                                                                                  
A(56)'s ctor                                                                                                                                                  
A(100)'s ctor                                                                                                                                                 
A(56)'s dtor                                                                                                                                                  
y's dtor                                                                                                                                                      
A(23)'s dtor                                                                                                                                                  
handling exception..                                                                                                                                          
At line 34 now..                                                                                                                                              
A(200)'s ctor                                                                                                                                                 
f returned A(200) object                                                                                                                                      
A(200)'s dtor                                                                                                                                                 


...Program finished with exit code 0

Answer 1

通常，函数的调用者负责销毁函数的返回值，但具体细节是平台 C++ ABI 的一部分。

在大多数 ABI 上，调用一个返回非平凡值的函数（任何不能安全地放入一个或两个寄存器中的东西）是通过传递一个隐藏的额外参数来完成的，该参数指定应该在哪里构造返回值。调用者在其框架中为返回值分配空间，并传递一个指向该空间的指针。

Answer 2

根据C++17标准[except.ctor]/2：

如果在销毁 return 语句的临时变量或局部变量期间引发异常，则还会调用返回对象（如果有）的析构函数。对象按其构建完成的相反顺序被销毁。

然后有一个说明性示例（您对其稍作修改）来演示：在Y 析构函数抛出之后，接下来发生的事情是应该销毁A(100) 对象，因此您应该会看到一条销毁消息。

发布的输出表明存在编译器错误。这与报告为LLVM bug 12286 和gcc bug 33799 的问题非常相似。

后者在 GCC 10 中被标记为已修复（在 2007 年首次报告之后！）。但是，用10.0.1 20200418 (experimental)on Godbolt这个版本进行测试：即使33799 bug报告中的测试用例已经修复，这个问题中的代码仍然没有修复。我在该错误报告中添加了关于此示例的评论。