d'tor的function-try-block应该允许处理抛出成员变量的d'tor吗？

如何解决d'tor的function-try-block应该允许处理抛出成员变量的d'tor吗？

我有一个析构函数为noexcept(false)的类。我知道它仅在某些情况下会抛出，并且我想将其用作具有noexcept析构函数的类的成员变量。从https://en.cppreference.com/w/cpp/language/function-try-block中，我读到“从函数体中的任何语句引发的每个异常，或者从任何成员或基本构造函数（对于析构函数），或者从任何成员或基本析构函数（对于析构函数）引发的每个异常都将控制权转移到处理程序-顺序与在常规try块中引发异常的方式相同。”这使我认为这应该是正确的：

#include <exception>

class ConditionallyThrowingDtor {
public:
    bool willThrow = true;
    ConditionallyThrowingDtor() = default;
    ~ConditionallyThrowingDtor() noexcept(false) {
        if (willThrow) {
            throw std::exception();
        }
    }
};


class NonThrowingDtor {
public:
    ConditionallyThrowingDtor x;
    ~NonThrowingDtor() noexcept try {
        x.willThrow = false;
    } catch (...) { 
        // Ignore because we kNow it will never happen.
    }
};


int main() {
    // ConditionallyThrowingDtor y; // Throws on destruction as expected.
    NonThrowingDtor x;
}

https://godbolt.org/z/ez17fx（MSVC）

我对noexcept和~NonThrowingDtor()上的function-try-block的理解是，noexcept保证它不会抛出（并且它实际上是通过执行{{1} } https://en.cppreference.com/w/cpp/language/noexcept_spec。但是带有try { ... } catch (...) { std::terminate(); }并且没有其他抛出的function-try-block应该保证它永远不会抛出。Clang可以接受，但是正如Godbolt链接所示，MSVC说

catch (...)

解决方法

~NonThrowingDtor() noexcept try {
        x.willThrow = false;
    } catch (...) { 
        // Ignore because we know it will never happen.
    }

等同于“ prong”

~NonThrowingDtor() noexcept try {
        x.willThrow = false;
    } catch (...) {
        throw;
    }

很简单

~NonThrowingDtor() noexcept
{
    x.willThrow = false;
}

要不传播异常，必须显式使用return：

~NonThrowingDtor() noexcept try {
        x.willThrow = false;
    } catch (...) { 
        return; // Required to not propagate exception.
    }

不幸的是，msvc仍会以这种不会抛出的形式发出警告。
（另一方面，clang / gcc不会警告隐式（但是会警告）（throw）。