私的継承によるアクセスできないタイプ

Question

g++は、プライベートな祖父であるからといって、タイプへのアクセスを拒否しています。これは理にかなっていますか？

struct A {}; 

struct B : private A {}; 

struct C : B { 
    void foo(A const& a) {} 
}; 

この利回りをコンパイル：

1:10: error: ‘struct A A::A’ is inaccessible 
6:12: error: within this context 

私のポイントは次のとおりです。私は祖先としてAにアクセスしたかったことはありません。実際、AがBのプライベート祖先である場合、B（つまりC）以外の誰も完全に見えないはずですか？

もちろん、私はprotectedの継承を使用できますが、私の場合は実際には意味がありません。

Answer 1

これは、Aの内部にAのクラス名が挿入されているために、AがCの中に隠れているためです。 Aは表示されますが、アクセスできません（プライベートとしてインポートされるため）。したがって、エラーです。 Aにアクセスするには、グローバル名前空間を参照してください。

void foo(::A const& a) {} 

Answer 2

次のようにあなたがそれを宣言した場合、それは

struct A {}; 

struct B : private A {}; 

struct C : B { 
    void foo(::A const& a) {} 
}; 

を作品にエラーあなたのシーイングは、名前解決ではないアクセスを行うです。 :: Aは、継承したネストされたクラス型ではなく、グローバルな名前空間を見ています。また、私的な継承は、BがAを持っていると言っているだけで、IMOHOは避けるべき愚かな言語機能です。