c++ - 为什么 noexcept 说明符不在声明的方法范围内？

Question

试图设计一些无异常的类，我有一个类似于此的继承结构，但我发现 noexcept 说明符在使用成员函数作为说明符时几乎没有帮助不在函数范围内。

class Base
{
protected:
    Base() noexcept {}
};

class Derived : public Base
{
public:
    // error: 'Base::Base()' is protected
    Derived() noexcept(noexcept(Base{})) : Base{} {}

    // error: 'foo' was not declared in this scope
    Derived(int) noexcept(noexcept(foo())) {}

    // error: invalid use of 'this' at top level
    Derived(float) noexcept(noexcept(this->foo())) {}

    void foo() noexcept {}
};

Demo

这可能是 C++17 中正在改进的东西吗？试图搜索这个没有产生任何相关结果。现在我已经放弃了一些非常丑陋(并且可能不正确)的尝试，例如 noexcept(noexcept(static_cast<Derived*>(nullptr)->foo())) ，但这对 protected 基类构造函数没有帮助。

现在甚至可以声明一个 noexcept 说明符，它引用这样一个 protected 基类方法吗？ noexcept(auto) 可能 相关，但当然现在还不可能。我是否忽略了允许我包含此说明符的任何其他内容，或者在这种情况下我是否只需要省略它？

Answer 1

您可以通过使用 Base 构造函数在范围内的表达式来解决它，如下所示:

struct test_base : public Base {};

Derived() noexcept(noexcept(test_base())) : Base() {}

我相信你不能直接使用 Base() 的原因是 related to this question .

The way protected access specifier works, it allows the derived class B to access the contents of an object of base class A only when that object of class A is a subobject of class B. That means that the only thing you can do in your code is to access the contents of A through B: you can access the members of A through a pointer of type B * (or a reference of type B &). But you cannot access the same members through a pointer of type A * (or reference A &).

这就像你有一个这样的成员函数一样:

void badfunc()
{
    B b;
}

您正在尝试直接使用 Base 的构造函数，而不是通过 Derived。当您在构造函数初始化列表中初始化基类时，这是一个特殊的上下文，它允许您调用构造函数，因为您正在将其作为初始化 Derived 的一部分。