c++ - 需要理解语句 "Accessability is checked statically and not dynamically in C++"

Question

我对静态或动态检查访问说明符感到困惑。 据说不会动态检查访问说明符。这是什么意思？

这个例子取自不同的 posts所以。考虑这个例子

示例 A:

class Base 
{
public:
    virtual void Message() = 0;
};

class Intermediate : public Base 
{
   //Is Message method virtual here too ? is it private or public ?
};

class Final : public Intermediate {
    void Message() {
        cout << "Hello World!" << endl;
    }
};

 Final final;

现在假设我做这样的事情

Final* finalPtr = &final;
finalPtr->Message();

上面的方法行不通，我的理解是在 Final 类中，消息方法是私有(private)的。那是对的吗 ？如果是这样，为什么这行得通？

中的方法

  Intermediate* finalPtr = &final; // or Base* finalPtr = &final;
  finalPtr->Message();

之所以上面的代码可以工作，是因为基类指针是用派生类实例化的。如果是这样，为什么对 Message() 的调用有效。 SO 上的帖子指出，由于继承是公共(public)的，因此它将作为公共(public)函数继承？另一方面，类中的函数本身具有私有(private)访问说明符(因为默认情况下它在类中是私有(private)的)。 我在这里很困惑，如果有人能澄清这一点，我将不胜感激。如果用派生类实例化基类，这样说是否正确。那么基类方法的访问说明符优先于派生类的访问说明符？

更新:

我还注意到，如果我将 Intermediate 和 Final 代码更改为以下内容

class Intermediate : public Base 
{
public: //Incase this public was absent then the following example wont work
    void Message() {
        cout << "Hello World! Intermediate" << endl;
    }
};

class Final : public Intermediate {
    void Message() {
        cout << "Hello World! final" << endl;
    }
};

并这样使用它

 Intermediate* i = new Final();
    i->Message();

然后为了得到输出 "Hello World!final" 有必要将接口(interface)方法标记为 public。这是为什么 ？ Message 方法被继承为 public 。为什么我现在需要将其标记为公开？

Answer 1

您引用中的语句意味着访问检查基于您已将 . 运算符应用于(或等效于 -> 的表达式的静态类型到 * 与 .).

如果 T 是一个类型，则:

 T *t = something....;
 t->foo();

访问检查是针对名称 T::foo，即使指针实际上指向从 foo 派生的类的对象。

换句话说，访问检查必须能够在编译时执行。不存在“运行时可访问性故障”这样的事情。

---

在您的代码示例中，您有:

Intermediate* finalPtr = something.....;
finalPtr->Message();

正在查找的名称是 Intermediate::Message。 Intermediate 类将 Message 作为 public 函数，因此此检查成功。

您的评论表明您可能不确定继承函数的可访问性。推导分为三种类型(有点容易混淆，它们也被称为private、protected、public)。 public 继承是最常见的；这意味着基类的 public 成员也是派生类的 public 成员。

由于 Base::Message 是公开的，而 Intermediate 是从 Base 公开派生的，那么 Intermediate::Message也是公开的。

需要明确的是，名称 具有访问权限。 Base::Message 和Intermediate::Message 是两个不同的名称，但它们都命名相同的函数。

在 Final 中，它在其 private 部分声明了名称 Message，这意味着 Final::Message 是私有(private)的。尽管继承是公开的，但名称 Final::Message 的新声明隐藏了从 Base 继承的名称。

---

回答“更新”。当代码为:

class Intermediate : public Base 
{
public: //Incase this public was absent then the following example wont work
    void Message() {
        cout << "Hello World! Intermediate" << endl;
    }
};

您已将 Intermediate::Message 声明为公开的。因此，您可以通过 Intermediate * 类型的指针调用该函数。这就是“公众”的意思。如果您将其设置为 private，则无法调用它。

我不太明白您所说的“Message 方法被继承为 public 。为什么我现在需要将其标记为 public”是什么意思。当您在 class Intermediate 中编写 void Message () 时，它声明了一个新函数。该函数的名称隐藏了继承的名称。