从C #中的非常数引用捕获带有构造函数的异常类型

Question

考虑一个结构 A，其中删除了复制构造函数，而是从非 const 引用中改为使用构造函数。是否可以抛出 A 的对象，然后按值捕获它，如示例程序中所示：

struct A {
    A() {}
    A(A&) {}
    A(const A&) = delete;
};

int main() {
    try {
        throw A{};
    }
    catch( A ) {
    }
}

GCC和Clang都允许这样的使用。尽管MSVC打印了一个错误：

C2316: 'A': cannot be caught as the destructor and/or copy constructor are inaccessible or deleted

演示：https://gcc.godbolt.org/z/P4c6Ea9fz

确实A（常数A




Answer 1

这是一个 MSVC 错误：异常对象从不限定 cv，并且处理程序变量是从引用它们的左值初始化的。（该标准实际上并没有说明该左值的类型是什么，但没有理由对其进行常量限定。