‘base’是‘deriv’的一个不可访问的基础

Question

为什么deriv 在deriv 中无法访问base？程序使用class deriv : public base编译。

#include <cstdio>

class base
{
};

class deriv : base
{
  public:
  void f(deriv, int){printf("deriv::f(deriv, int)\n");}
  void f(base){printf("deriv::f(base)\n");}
};

int main()
{
  deriv d;
  d.f(d);
}

17: error: ‘base’ is an inaccessible base of ‘deriv’
17: error:   initializing argument 1 of ‘void deriv::f(base)’

因为已经有两个人搞错了，我就加粗问：base为什么要公开继承？它只能从deriv 内部访问。

Answer 1

如果您使用class 关键字定义类，则成员和基类默认为私有。

如果基类需要公开，则要么显式声明它public（正如你在问题中提到的那样），要么使用默认公开的struct关键字。

为什么 base 需要公开？

在这种情况下，您对f(base) 的调用需要将deriv 转换为base，并且只有在基类可访问的情况下才能进行这种转换。由于是私有的，因此在需要转换的main 中无法访问。

Answer 2

因为是私有继承的：

class deriv : base

class 的默认继承是私有的，这意味着其他类和函数无权访问派生类的基类。

---

您的示例中有一个小问题。这个：

  deriv d;
  d.f(d);

由于切片，它不会做你期望它做的事情。

如果我们通过将f 的签名更改为这样来解决上述问题：

void f(base&){printf("deriv::f(base)\n");}

访问deriv的基类还是有问题，因为它是从基类私有继承的。

Answer 3

您似乎错误地假设调用deriv::f(base) 时从deriv 到base 的转换发生在“deriv 内部”，因此必须是可访问的。不是这种情况。调用函数时，初始化函数参数所需的所有转换都发生在调用者的上下文中。它们不在“derive 内部”。它们发生在“外部世界”。在您的情况下，“外部世界”无法访问deriv-to-base 转换。

在您的特定情况下，main 正在尝试将 deriv 转换为 base。而main 无法做到这一点，因为它无法访问deriv 的私​​有基础。只是为了进行实验，您可以将 int main() 声明为 deriv 的朋友，代码将编译。