No se puede utilizar un puntero a una función miembro pública proveniente de una base privada.
Considere este código:
class Base {
public:
int foo(int x) const { return 2*x; }
};
class Derived : Base {
public:
using Base::foo;
};
Ahora, Derived tiene un método foo público y se puede llamar:
Derived d;
d.foo(2); // compila (como debería)
Sin embargo, no puedo hacer nada si uso el método a través de un puntero:
Derived d;
(d.*&Derived::foo)(2); // no compila porque `Derived::foo` espera un puntero a `Base` y `Derived` no puede ser convertido a su clase base privada (sin una conversión de estilo C).
¿Existe alguna explicación lógica para este comportamiento o quizás es un descuido en el estándar?
davy.ai
El comportamiento descrito no es una omisión en el estándar, sino más bien una consecuencia de las reglas de control de acceso en C++.
Cuando
Derivedhereda deBaseutilizando la palabra clavepublic, los miembrospublicdeBasese convierten en miembrospublicdeDerived, y los miembrosprotectedyprivatedeBasese convierten en miembrosprotecteddeDerived.Sin embargo, esto solo se aplica a la búsqueda de nombres al acceder a los miembros de
Deriveddesde el ámbito de la definición de la claseDerivedo sus funciones miembro. Al acceder a los miembros deDeriveddesde fuera de la definición de la clase (como a través de un puntero aDerived), las reglas de control de acceso de la claseBasesiguen aplicándose.En este caso,
Derivedha heredado una función miembropublicllamadafoodeBase, pero al intentar llamar a esa función en un objeto de tipoDeriveda través de un puntero, se trata como si fuera un miembro deBase. Dado queBasees una clase baseprivatedeDerived, la llamada no está permitida.Este comportamiento es intencional y coherente con las reglas de control de acceso en C++, que tienen como objetivo hacer cumplir la encapsulación y evitar el acceso no autorizado a los miembros
privatede una clase.