我读过 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