3

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

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

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

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

4

0 回答 0