¿Cómo y por qué es posible cambiar el nivel de acceso de un miembro?

Question

terminé de codificación (Con un poco de ayuda) algo como esto ayer:

#include <iostream> 

using namespace std; 

class A 
{ 
    public: 
     virtual void foo(){cout << "A::foo\n";} 
}; 

class B : private A 
{ 
    private: 
     virtual void foo(){ cout << "B::foo\n";} 
     void DoSomething(SomeOtherClass& o){o.DoSomething(*static_cast<A*>(this));} 
}; 

He intentado cambiar el método de la herencia:

class B : public A 
{ 
    private: 
     virtual void foo(){ cout << "B::foo\n";} 
}; 

int main() 
{ 
    A* a = new B; 
    a->foo(); 
} 

Esto todavía funciona. Esperaba un error de tiempo de compilación. Por favor, dime por qué es posible y cuáles son los posibles usos. Conozco un uso debido al primer escenario: puede exponer diferentes interfaces para diferentes clases.

EDIT:

En el segundo caso, la salida se B::foo.

Answer 1

Puede que no conteste todas sus preguntas directamente, sin embargo, decidí ponerlo aquí para referencia futura. También tómenlo con un poco de sal, ya que esto se basa en mi comprensión de los eventos que han sucedido en el mundo de C++ Standard, en lugar de los reales.

Lea this. No tengo el ARM conmigo, pero el artículo proporciona los detalles necesarios.

Nota 115 en C++ 0x dice

115) declaraciones de acceso son obsoleto; las declaraciones de uso de miembros (7.3.3) proporcionan un medio mejor de haciendo las mismas cosas. En versiones anteriores de del lenguaje C++, las declaraciones de acceso eran más limitadas; ellos se generalizaron y se hicieron equivalentes a las declaraciones de uso en el interés de simplicidad. Los programadores son alentados a usar declaraciones de uso, en lugar de las nuevas capacidades de declaraciones de acceso, en el nuevo código.

En resumen:

creo que el ARM prohibido inicialmente:

Una declaración de acceso no puede utilizarse para restringir el acceso a un miembro que es accesible en la clase base, tampoco puede usarse para habilitar el acceso a un miembro al que no se puede acceder en la clase base .

Pero más tarde, supongo que cuando la norma evolucionó this was eventually allowed

Answer 2

using namespace std; 

class A 
{ 
    public: 
     virtual void foo(){cout << "A::foo\n";} 
}; 

class B : public A 
{ 
    private: 
     virtual void foo(){ cout << "B::foo\n";} 
}; 

int main() 
{ 
    A* a = new B; 
    a->foo(); 
} 

Esto funciona porque en tiempo de compilación el compilador sólo puede ver que a es un puntero a la clase base A y foo() es un método público siendo llamado en a, que es perfectamente válido. La vinculación virtual ocurre dinámicamente en el tiempo de ejecución después de la compilación, este enlace virtaul decide que la llamada real es a B::foo() y no a A::foo() que es la penalidad de rendimiento de usar virtualismo.