为什么我的编译器不允许将已删除的非抛出虚拟成员函数覆盖为已删除的抛出成员函数？

问题描述

我读过 C++ 入门第 5 版。不会抛出 (virtual) 的 noexcept 成员函数必须被重写为非抛出函数。例外情况是 virtual 成员函数被定义为“已删除”成员。

所以我试过了：

struct Foo{
    virtual void func() const noexcept = delete;
};

struct Bar : Foo{
    virtual void func() const noexcept(false) override = delete; // or let the compiler make it implicitly a throwing function  
};

• 但是当我编译代码时出现错误：

  looser exception specification on overriding virtual function ‘virtual void Bar::func() const noexcept (false)’|
  

• 我搜索了 cppreference 并发现了相同的想法：

如果一个虚函数是非抛出的，则每个重写器的所有声明，包括定义，也必须是非抛出的，除非重写器被定义为已删除。这是来自 cppreference 的代码：

    struct B {
       virtual void f() noexcept;
       virtual void g();
       virtual void h() noexcept = delete;
    };
    struct D: B {
       void f();              // ill-formed: D::f is potentially-throwing,B::f is non-throwing
       void g() noexcept;     // OK
       void h() = delete;     // OK
    };

当我从 cppreference 编译程序时，我得到与我的示例相同的错误。 （除了不应编译的 f() ）。所以考虑我在 void f(); 中注释掉 struct D。编译器对 void h() = delete; 抱怨相同。

那么我的编译器有什么问题？谢谢！

注意：我已经在他们的网站上尝试了 cppreference 中的代码，并在 struct f() 中注释掉了 D 并且代码也没有编译？！那么这也是他网站上的错误吗？

clang 和 gcc 示例：https://www.godbolt.org/z/f7hzbG

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）