C++：可以继承类及其受保护的成员类型吗？

Question

以下代码是否符合 C++ 标准？

struct B
{
protected:
    struct Type {};
};

struct D : B, B::Type
{};

int main()
{
    D d;
    return 0;
}

我在Compiler Explorer 上试过。 MSVC（VS 2017 RTW）接受它。 gcc(7.3) 和 clang(6.0.0) 拒绝它。

Answer 1

如果 D 从 B 派生，它可以访问其受保护的成员，所以这应该是正确的。问题是它在编译时是否已经访问，或者它是否只有在类型完成后才能访问。

请注意，如果将两者翻转（将 B 放在逗号后面），它应该会失败。

Answer 2

代码符合标准，从 C++11 开始，但不在 C++03 中。

C++11 到 C++17 在 [class.access] 部分的介绍中这样说，成员访问控制：

子句 [class.access] 中的所有访问控制都会影响从特定实体的声明中访问类成员名称的能力，包括被声明实体名称之前的声明部分，如果该实体是类，出现在类的成员规范之外的类成员的定义。

在这些相同的标准版本中，以下示例与您的问题非常相似，但更棘手：

[示例：

  class A {
...
  protected:
      struct B { };
  };
...

  struct D: A::B, A { };

...A::B 作为 base-specifier 的使用是正确的，因为 D 派生自 A，所以检查 base-specifiers em> 必须推迟到整个 base-specifier-list 被看到。 -结束示例]

但是我看到了相同的结果：g++ 和 clang++ 都拒绝这些程序，无论我给出什么 -std= 参数。这是一对编译器错误。

C++03 有这个而不是我上面引用的第一段：

子句 [class.access] 中的所有访问控制都会影响从特定范围访问类成员名称的能力。对出现在成员类定义之外的类成员定义中使用的名称进行访问控制，就好像整个成员定义出现在成员类的范围内一样......

类定义的 base-specifier 不在该类的范围内，因此 C++03 不允许使用受保护或私有名称作为派生类的基类名称否则有权访问该名称。