Si consideri il seguente codice:Perché GCC consente di ereditare da una classe nidificata privata?
class A {
class B {};
};
template <typename C>
class D : A::B {};
void f() {
D<int> d;
}
D<int> eredita da A::B che è una classe privata nidificato. Mi aspettavo che questo fosse un errore, ma GCC accetta questo codice. È un bug in GCC o mi sto perdendo qualcosa?
Ho trovato la risposta. Dal momento che potrebbe essere utile per altri, lo sto postando qui - questo è il bug GCC 47346.
+1: stavo proprio per postarlo. –
@JesseGood: Ci scusiamo per questo, di solito non rispondo alla mia domanda, ma poiché c'era poca attività e ho trovato la risposta. ;-) – vitaut
Non è stata una lamentela, hai postato prima, quindi ti meriti i voti positivi. Inoltre, rispondere alla tua domanda è una pratica accettata. –
Hai provato a creare una classe derivering non modello?
La classe del modello non viene compilata se non esiste un oggetto di quella classe. Tenta di creare un'istanza di questa classe o di creare non-template classe derivata - gcc probabilmente fallirà ;-)
Modifica Il mio male - l'oggetto viene creato e non è responsabile di eventuali errori gcc. Perdonami per quello.
Crea un'istanza. In 'f()' ... – StoryTeller
Ok, giusto. Controllo, funziona: | Non lo capisco, davvero :) – Yester
Sembra un bug, dal momento che la rimozione della dichiarazione del modello comporta l'errore previsto. – StoryTeller
MSVC genera un errore. –
Visual Studio 2012 non desidera compilare quel codice. – Yester