¿Cuándo debería restringir el acceso a una función virtual en una clase derivada?

Question

Considere el siguiente código:

class Base 
{ 
public: 
    virtual void Foo() {} 
}; 

class Derived : public Base 
{ 
private: 
    void Foo() {} 
}; 

void func() 
{ 
    Base* a = new Derived; 
    a->Foo(); //fine, calls Derived::Foo() 

    Derived* b = new Derived; 
// b->Foo(); //error 
    static_cast<Base*>(b)->Foo(); //fine, calls Derived::Foo() 
} 

He oído dos diferentes escuelas de pensamiento sobre el asunto:

1) Deja la accesibilidad al igual que la clase base, ya que los usuarios podrían utilizar para obtener acceso static_cast de todas formas.

2) Haga las funciones lo más privadas posible. Si los usuarios requieren a-> Foo() pero no b-> Foo(), entonces Derived :: Foo debe ser privado. Siempre se puede hacer público si es necesario.

¿Hay alguna razón para preferir una u otra?

Answer 1

Restringir el acceso a un miembro en un subtipo rompe el Liskov substitution principle (el L en SOLID). Recomendaría en contra de esto en general.

actualización: Se puede "trabajar", al igual que en el código se compila y se ejecuta y produce el resultado esperado, pero si usted está ocultando un miembro de su intención es, probablemente, haciendo el subtipo menos general que el original. Esto es lo que rompe el principio. Si, por el contrario, tu intención es limpiar la interfaz de subtipo dejando solo lo que es interesante para el usuario de la API, adelante y hazlo.

Answer 2

Esto depende de su diseño, si desea acceder a la función virtual con un objeto de clase derivado o no.
Si no, entonces sí, siempre es mejor hacerlos private o protected.

No hay diferencia en la ejecución del código en función del especificador de acceso, pero el código se vuelve más claro.
Una vez que haya restringido el acceso de la clase virtual función; el lector de ese class puede estar seguro de que esto no se llamará con ningún objeto o puntero de clase derivada.

Answer 3

No

una respuesta a su pregunta original, pero si estamos hablando de diseño de clases ...

Como Alexandrescu y Sutter recomiendan en su 39 ^{ta regla}, se debe preferir el uso de las funciones públicas y no virtuales privado/protegido virtual:

class Base { 
public: 
    void Foo(); // fixed API function 

private: 
    virtual void FooImpl(); // implementation details 
}; 

class Derived { 
private: 
    virtual void FooImpl(); // special implementation 
};