当从公共接口继承时，为什么实现是公共的还是私有的并不重要？

Question

我可能只是累了或者距离 C++ 太远了，但今天这个真的让我感到惊讶：

#include <iostream>

class Interface
{
public:
    virtual int aa() const = 0;
    virtual int bb() const = 0;
};

class Usage : public Interface
{
private:
    virtual int aa() const
    {
        int a = 10 * 10;
        return a;
    }

    virtual int bb() const
    {
        int b = 20 * 20;
        return b;
    }
};

int main(int argc, char* argv[])
{
    Interface* i = new Usage();
    std::cout << i->bb() << std::endl;

    return 0;
}

我希望编译器和/或链接器会抱怨错误的函数签名或至少抱怨缺少实现。考虑到这是有效的，那么当 public/protected/private 修饰符被顶级类声明隐藏时，它的含义是什么？

这个规则在C++中是如何调用的？

Answer 1

标准第 11.6.1 段对此进行了规定：

访问规则（第 11 条）
虚函数由其决定
声明并不受
稍后函数的规则
覆盖它。 [示例 - 与您的基本相同]
在呼叫点检查访问权限
使用所用表达式的类型
来表示对象
成员函数被称为 .访问权限
类中的成员函数
它的定义通常不是
已知。

Answer 2

Interface* i = new Usage();
std::cout << i->bb() << std::endl;

这是有效的，因为函数名称是根据对象的静态类型解析的。

这里的对象是 i ，其 static 类型是 Interface* ，它有一个 public 函数名称 bb( ）。因此，编译器不会发现任何问题，因为调用成员函数的要求满足了。

另请注意，可访问性（public、private 和 protected）是编译时构造。在运行时，没有这样的事情。编译器只能在编译时检测到任何与可访问性相关的违反规则的情况。它无法知道运行时发生了什么。

因此，即使 i 指向一个类型为 Usage 的对象，该对象已在 private 部分中定义了 bb() ，编译器对此没有问题，如前所述，i 的 static 类型仍然是具有 publicInterface*代码> 函数bb()。编译器不会关心对象的动态类型以及它如何覆盖函数，因为它不能，正是因为它的动态;它是在运行时确定的。

Answer 3

private 意味着你不能继承它。您可以继承 protected 或 public，但没有什么可以阻止您将可见性限制在较低级别（即 public 到 protected< /code> 或 private; 或 protected 到 private) 在你的顶级类中。