No se puede acceder miembro protegido de la clase base en la clase derivada

Question

Tengo el siguiente código:

struct A { 
protected: 
    A() {} 

    A* a; 
}; 

struct B : A { 
protected: 
    B() { b.a = &b; } 

    A b; 
}; 

extrañamente no se compilará. El culpable es la asignación b.a = &b;: tanto GCC como clang se quejan de que A() está protegido, lo que no debería ser un problema porque B hereda A. ¿En qué esquina oscura del estándar he entrado?

Answer 1

El significado de protected es que el tipo derivado tendrá acceso a ese miembro de su propia base de y no de cualquier objeto al azar ^*. En su caso, para el cuidado intentando modificar b 's miembro de que está fuera de su control (es decir, se puede establecer this->a, pero no b.a)

hay un truco para conseguir que esto funcione si está interesado, pero una una mejor solución sería refactorizar el código y no depender de los hacks. Podría, por ejemplo, proporcionar un constructor en A que toma un A* como argumento (este constructor debe ser pública) y luego inicializarlo en la lista de inicialización de B:

A::A(A* p) : a(p) {} 
B::B() : b(&b) {} 

---

^*protected subvenciones accede al miembro base en cualquier instancia de su propio tipo o derivada de su propio tipo.

Answer 2

Todos los compiladores que probé se quejaban de varias cosas, y específicamente el constructor protegido sería un problema incluso si se eliminaba la declaración de asignación.

No tiene acceso a los miembros protected de cualquier instancia de un tipo del que deriva. Este problema se aclara en los ejemplos de 11.4p1.

class B { 
protected: 
    int i; 
    static int j; 
}; 

class D1 : public B { 
}; 

class D2 : public B { 
    void mem(B*, D1*); 
}; 

void D2::mem(B* pb, D1* p1) { 
    pb->i = 1; // ill-formed 
    p1->i = 2; // ill-formed 
    // ... 
} 

Answer 3

En realidad, hay dos problemas separados aquí.

La primera es que la línea no solo hace una asignación, sino que intenta inicializar la clase base (que funciona bien) y el miembro b. Para crear el miembro b que necesita para construirlo, y como miembro necesita public acceso a un constructor, que no tiene.

A continuación, la asignación también es incapaz de acceder miembro no pública de b porque, de nuevo, no es de tipo B pero escribir los A lugar.

Recuerde que protected significa que puede acceder a partes de Aa través de un B objeto (o niño) solamente.

En este caso, cuéntenos su problema real y podemos intentar ayudar a resolverlo. Heredar y componer del mismo tipo es un olor de diseño.

Answer 4

Parece una gran limitación del lenguaje C++.¿Cómo resolvería este problema como:

class Node 
{ 
public: 
void Save(); 
protected: 
virtual void SaveState(int type) = 0; 
}; 

class BinaryNode : public Node 
{ 
protected: 
Node *left; 
Node *right; 

virtual void SaveState(int type) override 
{ 
    left->SaveState(type); 
    right->SaveState(type); 
} 
}; 

En este ejemplo no quiero hacer método SaveState visible fuera Node jerarquía. Solo el método Save debe ser public.