从 C++ 中的私有模板类继承构造函数

Question

为什么D 类可以编译，而C 类不能编译？

class A
{
    public:
        A(int) {}
};

template <class T>
class B : private T // Note: private base class
{
    public:
       using T::T;
};

class C : public B<A>
{
    public:
        C() : B<A>(123) {}  // Error: 'class A A::A' is inaccessible
};                          //         within this context

using BA = B<A>;

class D : public BA
{
    public:
        D() : BA(123) {}  // OK
};

我用 GCC、Clang 和 Visual C++ 进行了测试，它们都是一样的。 将class B : private T 更改为public T 可以解决问题。但为什么？ （注意using T::T 是public。）

Answer 1

A 类在其范围内包含注入的类名 A（即，A::A 指代 A 类，除非它恰好指代构造函数）。

类B继承了这个，所以B范围内的名称A指的是A范围内的注入类名称A。但是，由于A 是B 的私有基类，所以A 范围内的所有名称在B 内都是私有的。

类C 再次继承了这个，但它不能访问这个A，因为它在B 中是私有的。因此错误。请注意，错误实际上是在构造 B<A> 中使用名称 A。

类BA没有这个问题，因为定义B<A>不在任何类的范围内，所以名称A指的是全局名称A而不是任何注入类-姓名。当然，BA 这个名字是公开的。

您可以通过在 C 中限定名称 A 轻松解决此问题：

class C : public B<A>
{
public:
  C() : B<::A>( 123 ) {}
};

请注意，构造函数继承在那里无效。问题在于访问类名称A（注入A并继承于B和C），而不是访问构造函数。